===================================================================
RCS file: /cvs/prex-old/doc/html/default.css,v
retrieving revision 1.1.1.1
retrieving revision 1.1.1.1.2.1
diff -u -r1.1.1.1 -r1.1.1.1.2.1
--- prex-old/doc/html/default.css	2008/06/03 10:38:42	1.1.1.1
+++ prex-old/doc/html/default.css	2008/08/13 17:12:25	1.1.1.1.2.1
@@ -1,42 +1,143 @@
+html {
+	height:100%;
+}
+
 body {
 	font-family: Verdana, Arial, Sans-Serif;
-	width: 958px;
+	font-size: 100.01%;
+	height: 100%;
+	width: 882px;
 	margin: 0 auto 0 auto;
-	padding: 0 0 10px 0;
+	padding: 0;
 	text-align: center;
-	color: black;
-	background-color: #cccccc;
+	color: #333;
 }
 
+#middle {
+	background: url(img/background.gif) repeat-y center top;
+	width: 870px;
+	padding: 0 6px 0 6px;
+	margin: 0;
+}
+
+#content {
+	font-size: 82%;
+	width: 870px;
+}
+
+#header {
+	height: 80px;
+	overflow: hidden;
+}
+
+#logo {
+	padding: 20px 30px 10px 30px;
+}
+
+#brief {
+	font-size: 13px;
+	padding: 15px 15px 10px 0px;
+	color: #666;
+	line-height: 1.4;
+}
+
+#info {
+	height: 20px;
+	text-align: right;
+	padding: 3px 20px;
+	background-color: #e4edf3;
+	color: #006699;
+	font-size: 11px;
+}
+
+#info a {
+	color: #336699;
+	text-decoration: none;
+}
+
+#directory {
+	height: 20px;
+	padding: 3px 20px;
+	background-color: #e4edf3;
+	color: #006699;
+	font-size: 12px;
+}
+
+#side_menu {
+	font-size: 90%;
+	width: 170px;
+	margin: 30px;
+	padding: 5px;
+	border-right: 1px solid #e1e1e1;
+	line-height: 1.3;
+}
+
+#main {
+	font-size: inherit;
+	line-height: 1.5;
+	margin: 0;
+	padding: 0 15px 30px 20px;
+	list-style-image: url(img/bullet.gif);
+}
+
+#doc {
+	font-size: inherit;
+	line-height: 1.5;
+	margin: 0;
+	padding: 0 40px 30px 40px;
+	list-style-image: url(img/bullet.gif);
+}
+
+#footer {
+	border-top: 1px solid #e1e1e1;
+	padding: 10px;
+	margin: 0;
+	font-size: 85%;
+	line-height: 2;
+	text-align: center;
+	color: #333;
+}
+
+#banner {
+	padding: 5px 0 5px 0;
+	margin: 0;
+}
+
+
 h1, h2 {
 	font-family: 'Trebuchet ms', Arial, Tahoma;
 }
 
 h1 {
-	padding: 0.3em 0 0.2em 0;
+	padding: 0.4em 0 0.2em 0;
 	margin: 0;
-	font-size: 2.4em;
+	font-size: 280%;
 	color: #6699cc;
 }
 
 h2 {
 	padding:  0.4em 0 0 0;
 	margin: 0 0 0.5em 0;
-	font-size: 1.9em;
+	font-size: 200%;
 	border-bottom: 2px solid #fc9;
 	color: #e60;
 }
 
 h2 span {
-	font-size: 0.7em;
+	font-size: 77%;
 }
 
 h3 {
-	font-size: 1.2em;
-	color: #333;
-	margin: 1em 0 0.7em 0;
+	font-size: 131%;
+	color: #666;
+	margin: 1em 0 0.3em 0;
 }
 
+h4 {
+	font-size: 124%;
+	margin: 1em 0 0.3em 0;
+}
+
 a {
 	color: #006699;
 }
@@ -54,71 +155,25 @@
 	text-align: right;
 }
 
+div.date {
+	font-size: 90%;
+	font-style: italic;
+	color: #666666;
+}
+
 td.pad {
-	height: 15px;
+	height: 10px;
 	padding: 0;
 }
 
-#header {
-	background-color: #0e90d0;
-	background: url(img/header.gif) top repeat-x;
-	height: 100px;
-	overflow: hidden;
-}
 
-#top {
-	background: url(img/top.gif) no-repeat center bottom;
-	width: 958px;
-	padding: 30px 0 0 0;
-	margin: 0;
-}
-
-#middle {
-	background: url(img/background.gif) repeat-y center top;
-	width: 900px;
-	padding: 0 30px 0 30px;
-	margin: 0;
-}
-
-#banner {
-	padding: 0 0 20px 0;
-	margin: 0;
-}
-
-#content {
-	width: 900px;
-	background-color: white;
-	font-size: 0.8em;
-}
-
-#logo {
-	padding: 30px 30px 10px 40px;
-}
-
-#brief {
-	font-family: Verdana, Tahoma, Sans-serif;
-	font-weight: bold;
-	font-size: 0.75em;
-	padding: 45px 15px 10px 0px;
-	color: white;
-	line-height: 1.4em;
-}
-
-#side_menu {
-	width: 180px;
-	margin: 30px;
-	padding: 0 10px 10px 10px;
-	border-right: 1px solid #e1e1e1;
-	line-height: 1.3em;
-}
-
 div.menu_title {
 	width: 160px;
 	padding: 0px;
-	margin: 0 0 0 10px;
+	margin: 0 0 0 5px;
 	text-align: center;
-	background: #dedfe0 url(img/menu_top.gif) no-repeat top left;
-	color: black;
+	background: #b3b4b5 url(img/menu_top.gif) no-repeat top left;
+	color: white;
 }
 
 div.menu_title span {
@@ -131,31 +186,35 @@
 
 div.menu_navi {
 	margin: 0;
-	padding: 10px 5px 25px 5px;
+	padding: 10px 2px 20px 2px;
 }
 
 div.menu_navi ul {
-	margin: 0;
+	margin: 0 5px;
 	padding: 0;
 	list-style: none;
 }
 
 div.menu_navi li {
+	padding: 0;
 	display: block;
+	border-bottom: 1px solid #eeeeee;
+	vertical-align: middle;
 }
 
 div.menu_navi li a {
 	padding: 0 0 0 10px;
-	color: #006699;
 	display: block;
 	height: 100%;
+	line-height: 1.8;
+	color: #006699;
 	text-decoration: none;
 }
 
 div.menu_navi li a:hover {
 	padding: 0 0 0 10px;
 	color: black;
-	background-color: #ADFF2F;
+	background-color: #D0F7FF;
 	text-decoration: none;
 }
 
@@ -185,42 +244,19 @@
 }
 
 div.menu_date {
-	font-size: 0.85em;
+	font-style: italic;
+	font-size: 90%;
 	text-align: right;
+	color: #666666;
 }
 
-#directory {
-	background: url(img/dir.png) top repeat-x;
-	height: 39px;
-	padding: 5px 20px;
-	color: #006699;
-	font-size: 0.9em;
+div.doc {
+	padding: 40px;
 }
 
-#info {
-	background: url(img/dir.png) top repeat-x;
-	height: 39px;
-	text-align: right;
-	padding: 5px 20px;
-	color: #006699;
-	font-size: 0.85em;
-}
-
-#info a {
-	color: #336699;
-	text-decoration: none;
-}
-
-#main {
-	height: 400px;
-	margin: 0;
-	padding: 0 30px 50px 30px;
+pre {
 	line-height: 1.3;
-	list-style-image: url(img/bullet.gif);
-}
-
-#main pre {
-	font-size: 1.2em;
+	font-size: inherit;
 	margin: 1em 1em 1em 2em;
 	border: 1px solid #c1b496;
 	padding: 1em;
@@ -228,36 +264,55 @@
 	color: black;
 }
 
-#main pre.terminal {
+pre.terminal {
+	font-size: inherit;
 	margin-left: 1em;
 	padding: 0.6em;
+	line-height: 1.5;
 	color: white;
 	background-color: #333;
 	border: 3px inset #999;
 }
 
+pre.raw {
+	font-size: 110%;
+	line-height: 1.3;
+	background-color: white;
+	border: none;
+}
+
 #main table {
-	font-size: 1em;
+	font-size: 100%;
 	empty-cells: show;
 }
 
 #main table tr th {
+	padding: 4px 6px;
 	background-color: #eee;
 }
 
-#footer {
-	background: #eafaff url(img/footer.gif) repeat-x 50% 0%;
-	padding: 10px;
-	margin: 0;
-	font-size: 0.8em;
-	line-height: 2em;
-	text-align: center;
-	color: #333;
+#main table td {
+	padding: 4px 6px;
 }
 
-#bottom {
-	background: url(img/bottom.gif) no-repeat center top;
-	width: 958px;
-	padding: 20px 0 0 0;
-	margin: 0 0 20px 0;
+#main table.box td {
+	padding: 15px;
+}
+
+#doc table {
+	font-size: 100%;
+	empty-cells: show;
+}
+
+#doc table tr th {
+	padding: 4px 6px;
+	background-color: #eee;
+}
+
+#doc table td {
+	padding: 4px 6px;
+}
+
+#doc table.box td {
+	padding: 15px;
 }