--- a/src/Pure/Thy/present.scala Thu Jun 01 12:27:20 2017 +0200
+++ b/src/Pure/Thy/present.scala Thu Jun 01 15:19:50 2017 +0200
@@ -52,12 +52,12 @@
HTML.chapter(title) ::
(if (sessions.isEmpty) Nil
else
- List(HTML.css_class("sessions")(HTML.div(List(
- HTML.description(
+ List(HTML.div("sessions",
+ List(HTML.description(
sessions.map({ case (name, description) =>
(List(HTML.link(name + "/index.html", HTML.text(name))),
if (description == "") Nil
- else List(HTML.pre(HTML.text(description)))) }))))))))
+ else List(HTML.pre(HTML.text(description)))) })))))))
}
def make_global_index(browser_info: Path)