diff --git a/lib/doc/browse/index.html b/lib/doc/browse/index.html index 4d4eaa832..2fdae6d4b 100644 --- a/lib/doc/browse/index.html +++ b/lib/doc/browse/index.html @@ -12,7 +12,8 @@
-

RGL Source Browser

+ +

GF Resource Grammar Library Source Browser

Help Synopsis...
@@ -97,7 +98,7 @@
diff --git a/lib/doc/browse/script.js b/lib/doc/browse/script.js index edc49fc95..6dc1f39c1 100644 --- a/lib/doc/browse/script.js +++ b/lib/doc/browse/script.js @@ -397,7 +397,7 @@ $(document).ready(function() { }); var recalculateHeights = function() { - var x = 40; // just found empirically + var x = 55; // just found empirically $('body').height( $(window).height()-x); $('.maxheight').each(function(){ var obj = $(this); diff --git a/lib/doc/browse/style.css b/lib/doc/browse/style.css index 41a6e9433..b69e45cbb 100644 --- a/lib/doc/browse/style.css +++ b/lib/doc/browse/style.css @@ -22,6 +22,10 @@ header { background:#f2f2f2; padding:10px; } +header img { + height:2em; + vertical-align:bottom; +} header h1 { margin:0 1em 0 0; font-size:1em;