X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=web%2Fpara.css;h=e8c43489f4681bcbd8bb859db80582b5fa83c068;hp=98c47344eb47b39c3556865876e2b35f4f44ef9d;hb=6ba4caacaeb4ac2d8e5fc15699bf89f496d59901;hpb=22fb31a1325891b0b274d4f8dd9d563136d7bdd8

diff --git a/web/para.css b/web/para.css
index 98c47344..e8c43489 100644
--- a/web/para.css
+++ b/web/para.css
@@ -1,13 +1,50 @@
-BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
+body,h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
 	font-family: sans-serif;
 }
 
-CAPTION { font-weight: bold }
+body {
+	background-color: black;
+	color: #bbbbbb;
+	margin: 0px;
+}
+
+table {
+	padding: 8px 4px;
+}
+
+th {
+	padding: 2px 5px;
+	font-size: 100%;
+	text-align: left;
+}
+
+td {
+	padding: 2px 5px;
+	font-size: 100%;
+	vertical-align: top;
+}
+
+a {
+	color: #cc3322;
+}
+
+hr {
+	height: 1px;
+	border: none;
+	border-top: 1px solid yellow;
+}
+
+img {
+	float: right;
+	border-width: 0px;
+}
+
+caption { font-weight: bold }
 
 /* doxgen */
 
 /* Data structure index. Box with clickable letters */
-DIV.qindex {
+div.qindex {
 	width: 100%;
 	background-color: #000055;
 	border: 1px solid #ffff00;
@@ -18,64 +55,59 @@ DIV.qindex {
 }
 
 /* Data structure index, clickable letters */
-A.qindex {
+a.qindex {
        text-decoration: none;
        font-weight: bold;
        color: #cc3322;
 }
 
-A.qindex:visited {
+a.qindex:visited {
        text-decoration: none;
        font-weight: bold;
        color: #cc3322
 }
 
-A.qindex:hover {
+a.qindex:hover {
 	text-decoration: none;
 	background-color: #ffff00;
 }
 
-A.el {
+a.el {
 	text-decoration: none;
 	font-weight: bold
 }
 
-A.elRef { font-weight: bold }
+a.elRef { font-weight: bold }
 
-A.code:link {
+a.code:link {
 	text-decoration: none;
 	font-weight: normal;
 	color: #BA3708
 }
 
-A.code:visited {
+a.code:visited {
 	text-decoration: none;
 	font-weight: normal;
 	color: #BA3708
 }
 
-A.codeRef:link {
+a.codeRef:link {
 	font-weight: normal;
 	color: #BA3708
 }
 
-A.codeRef:visited {
+a.codeRef:visited {
 	font-weight: normal;
 	color: #BA3708
 }
 
-A:hover {
-	text-decoration: none;
-	background-color: #ffff00
-}
-
-DL.el { margin-left: -1cm }
+dl.el { margin-left: -1cm }
 .fragment {
        font-family: Fixed, monospace;
        font-size: 95%;
 }
 
-PRE.fragment {
+pre.fragment {
 	border: 1px solid #CCCCCC;
 	background-color: #351505;
 	margin-top: 4px;
@@ -89,7 +121,7 @@ PRE.fragment {
 }
 
 /* data structures non-clickable letters */
-DIV.ah {
+div.ah {
 	background-color: black;
 	font-weight: bold;
 	color: #cccccc;
@@ -97,28 +129,21 @@ DIV.ah {
 	margin-top: 3px
 }
 
-DIV.groupHeader {
+div.groupHeader {
        margin-left: 16px;
        margin-top: 12px;
        margin-bottom: 6px;
        font-weight: bold;
 }
 
-DIV.groupText {
+div.groupText {
 	margin-left: 16px;
 	font-style: italic;
 	font-size: 90%
 }
 
-BODY {
-	background: black;
-	color: #bbbbbb;
-	margin-right: 20px;
-	margin-left: 20px;
-}
-
 /* File list */
-TD.indexkey {
+td.indexkey {
 	background-color: #000055;
 	font-weight: bold;
 	padding-right  : 10px;
@@ -132,7 +157,7 @@ TD.indexkey {
 	border: 1px solid #ffff00;
 }
 
-TD.indexvalue {
+td.indexvalue {
 	background-color: #000055;
 	font-style: italic;
 	padding-right  : 10px;
@@ -146,12 +171,12 @@ TD.indexvalue {
 	border: 1px solid #ffff00;
 }
 
-TR.memlist {
+tr.memlist {
    background-color: #112244;
 }
-P.formulaDsp { text-align: center; }
-IMG.formulaDsp { }
-IMG.formulaInl { vertical-align: middle; }
+p.formulaDsp { text-align: center; }
+img.formulaDsp { }
+img.formulaInl { vertical-align: middle; }
 
 /* Overwiew on top of page for *.c file */
 
@@ -198,47 +223,32 @@ IMG.formulaInl { vertical-align: middle; }
 	font-weight: bold;
 }
 
-FORM.search {
+form.search {
 	margin-bottom: 0px;
 	margin-top: 0px;
 }
 
-INPUT.search {
+input.search {
 	font-size: 75%;
 	color: #800000;
 	font-weight: normal;
 	background-color: #000000;
 }
 
-TD.tiny {
+td.tiny {
 	font-size: 75%;
 }
 
-/* links */
-a {
-	color: #cc3322;
-}
-
-a:visited {
-	color: #cc3322;
-}
-
 .dirtab { padding: 4px;
           border-collapse: collapse;
           border: 1px solid #84b007;
 }
 
-TH.dirtab {
+th.dirtab {
 	background: #080e02;
 	font-weight: bold;
 }
 
-HR {
-	height: 1px;
-	border: none;
-	border-top: 1px solid yellow;
-}
-
 /* Style for detailed member documentation */
 .memtemplate {
 	font-size: 100%;
@@ -288,3 +298,148 @@ HR {
 	color: #ffff00;
 	font-style: italic;
 }
+
+span.cntrl {
+	border: dashed #aaaaaa;
+	border-width: 1px;
+	padding: 0px 2px 0px 2px;
+	margin:  0px 2px 0px 2px;
+}
+
+div.page_header {
+	padding: 8px;
+	font-size: 120%;
+	font-weight: bold;
+	background-color: #151515;
+}
+
+div.page_header a:visited, a.header {
+	color: #cc3322;
+}
+
+div.page_header a:hover {
+	color: #880000;
+}
+
+div.page_nav {
+	padding: 8px;
+}
+
+div.page_nav a:visited {
+	color: #cc3322;
+}
+
+div.page_path {
+	padding: 8px;
+	font-weight: bold;
+	border: solid #d9d8d1;
+	border-width: 0px 0px 1px;
+}
+
+div.page_footer {
+	height: 17px;
+	padding: 4px 8px;
+	background-color: #d9d8d1;
+}
+
+div.page_footer_text {
+	float: left;
+	color: #555555;
+	font-style: italic;
+}
+
+div.page_body {
+	padding: 8px;
+	font-family: monospace;
+	font-size: 120%;
+}
+
+a.title:hover {
+	background-color: #AA3100;
+}
+
+div.title_text {
+	padding: 6px 0px;
+	border: solid #d9d8d1;
+	border-width: 0px 0px 1px;
+	font-family: monospace;
+}
+
+div.log_body {
+	padding: 8px 8px 8px 150px;
+	font-family: monospace;
+	font-size: 120%;
+}
+
+div.log {
+	font-family: monospace;
+	font-size: 120%;
+}
+
+span.age {
+	position: relative;
+	float: left;
+	width: 142px;
+	font-style: italic;
+}
+
+span.signoff {
+	color: #888888;
+}
+
+div.log_link {
+	padding: 0px 8px;
+	font-size: 70%;
+	font-family: sans-serif;
+	font-style: normal;
+	position: relative;
+	float: left;
+	width: 136px;
+}
+
+div.list_head {
+	padding: 6px 8px 4px;
+	border: solid #d9d8d1;
+	border-width: 1px 0px 0px;
+	font-style: italic;
+}
+
+div.author_date {
+	padding: 8px;
+	border: solid #d9d8d1;
+	border-width: 0px 0px 1px 0px;
+	font-style: italic;
+}
+
+a.list {
+	text-decoration: none;
+	color: #cc3322;
+}
+
+a.subject, a.name {
+	font-weight: bold;
+}
+
+table.tags a.subject {
+	font-weight: normal;
+}
+
+a.list:hover {
+	text-decoration: underline;
+	color: #880000;
+}
+
+a.text {
+	text-decoration: none;
+	color: #0000cc;
+}
+
+a.text:visited {
+	text-decoration: none;
+	color: #880000;
+}
+
+a.text:hover {
+	text-decoration: underline;
+	color: #880000;
+}