minor face-lift for web pages
diff --git a/docs/index.html b/docs/index.html
index 0fe3a6f..f5a56bb 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -3,7 +3,7 @@
<title>Mesa Home Page</title></head>
-<frameset rows="50,100% " border="1" framespacing="1" frameborder="yes">
+<frameset rows="80,100% " border="1" framespacing="1" frameborder="yes">
<frame src="banner.html" name="BannerFrame" scrolling="no" marginwidth="1" marginheight="1" resize="">
<frameset cols="28%,72% " border="1" framespacing="1" frameborder="yes">
<frame src="contents.html" name="ContentsFrame" marginwidth="2" marginheight="1" resize="">