X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=web%2Fpara.css;h=422f454eefebdbcdfc301c8cf2fed6f098b549d5;hb=96c1687a52b775b6786841d586239e071ef139c1;hp=27e7519753b038b5d2e1bc1474e8b81a7237c024;hpb=f3f97881985cc0757787fbd89b9dca89c96a8bef;p=paraslash.git

diff --git a/web/para.css b/web/para.css
index 27e75197..422f454e 100644
--- a/web/para.css
+++ b/web/para.css
@@ -34,6 +34,11 @@ hr {
 	border-top: 1px solid yellow;
 }
 
+img {
+	float: right;
+	border-width: 0px;
+}
+
 caption { font-weight: bold }
 
 /* doxgen */
@@ -301,14 +306,9 @@ span.cntrl {
 	margin:  0px 2px 0px 2px;
 }
 
-img.logo {
-	float: right;
-	border-width: 0px;
-}
-
 div.page_header {
 	padding: 8px;
-	font-size: 150%;
+	font-size: 120%;
 	font-weight: bold;
 	background-color: #151515;
 }
@@ -351,16 +351,7 @@ div.page_footer_text {
 div.page_body {
 	padding: 8px;
 	font-family: monospace;
-	font-size: 150%;
-}
-
-div.title {
-	display: block;
-	padding: 6px 8px;
-	font-weight: bold;
-	background-color: #555555;
-	text-decoration: none;
-	color: white;
+	font-size: 120%;
 }
 
 a.title:hover {
@@ -376,6 +367,13 @@ div.title_text {
 
 div.log_body {
 	padding: 8px 8px 8px 150px;
+	font-family: monospace;
+	font-size: 120%;
+}
+
+div.log {
+	font-family: monospace;
+	font-size: 120%;
 }
 
 span.age {