diff --git a/frontend/common.js b/frontend/common.js index 295b1dd390f1d1ae4f8db1a36eafb4e348017d1b..6b6e6798ed1b4894351d4d5d8adce04c44e04447 100644 --- a/frontend/common.js +++ b/frontend/common.js @@ -36,9 +36,9 @@ function toggle(toggler, open) { continue; if (typeof open == 'undefined') - icons[i].innerHTML = icons[i].innerHTML == '\u229e' ? '⊟' : '⊞'; + icons[i].innerHTML = icons[i].innerHTML == '\u229e' ? '⊟' : '⊞'; else - icons[i].innerHTML = open ? '⊟' : '⊞'; + icons[i].innerHTML = open ? '⊟' : '⊞'; } } diff --git a/frontend/doc/contents.php b/frontend/doc/contents.php index 0752a2b09a0c07ef3dfa80a132ede7f348fb5d70..e9faae0bd0534e6ec3365806e253b77e166c5c08 100644 --- a/frontend/doc/contents.php +++ b/frontend/doc/contents.php @@ -65,11 +65,11 @@ class Toc { if ($child->isLeaf()) { echo ''; + $child->title . ''; } else { echo ''; diff --git a/frontend/doc/index.php b/frontend/doc/index.php index a8dc9e2b026c2eb46c9100df109994fad69328c4..b213dfe91fc0436fb0ea34c02d66b4c0a88b50a5 100644 --- a/frontend/doc/index.php +++ b/frontend/doc/index.php @@ -1,16 +1,16 @@ - + Documentation browser - + - - - + + + -