diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-08-18 16:16:11 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-08-18 16:16:11 +0000 |
| commit | 974084c37962224d2d01f51160cecbba647713bf (patch) | |
| tree | 16d0e61f456728d48b0496a7968cafa1489c6d4c /html/haddock-util.js | |
| parent | ae0847c70a56822afe6efb866bc9ad43ebda82d0 (diff) | |
layout tweeks - mini page font size, toc color, etc.
Diffstat (limited to 'html/haddock-util.js')
| -rw-r--r-- | html/haddock-util.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/haddock-util.js b/html/haddock-util.js index 92974417..cd18aa81 100644 --- a/html/haddock-util.js +++ b/html/haddock-util.js @@ -282,7 +282,7 @@ function resetStyle() { function styleMenu(show) { var m = document.getElementById('style-menu'); - if (m) toggleClassShow(m, show); + if (m) toggleShow(m, show); } |