X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=web%2Fpara.css;h=422f454eefebdbcdfc301c8cf2fed6f098b549d5;hp=62925efbeb84bb991b280b160a77a5f67bc103b9;hb=d1e6b28f66e243516d01916f9125baee75dd98d6;hpb=65572373b52dad3f2ff3b8302a6f7491553f07b1

diff --git a/web/para.css b/web/para.css
index 62925efb..422f454e 100644
--- a/web/para.css
+++ b/web/para.css
@@ -1,89 +1,113 @@
-BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
-	font-family: Geneva, Arial, Helvetica, sans-serif;
+body,h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
+	font-family: sans-serif;
 }
-BODY,TD {
-       font-size: 90%;
+
+body {
+	background-color: black;
+	color: #bbbbbb;
+	margin: 0px;
 }
-H1 {
-	text-align: center;
-       font-size: 160%;
+
+table {
+	padding: 8px 4px;
 }
-H2 {
-       font-size: 120%;
+
+th {
+	padding: 2px 5px;
+	font-size: 100%;
+	text-align: left;
 }
-H3 {
-       font-size: 100%;
+
+td {
+	padding: 2px 5px;
+	font-size: 100%;
+	vertical-align: top;
 }
-CAPTION { font-weight: bold }
-DIV.qindex {
-	width: 100%;
-	background-color: #482e02;
-	border: 1px solid #84b007;
-	text-align: center;
-	margin: 2px;
-	padding: 2px;
-	line-height: 140%;
+
+a {
+	color: #cc3322;
 }
-DIV.nav {
+
+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 {
 	width: 100%;
-	background-color: #48ee02;
-	border: 1px solid #84b007;
+	background-color: #000055;
+	border: 1px solid #ffff00;
 	text-align: center;
 	margin: 2px;
 	padding: 2px;
 	line-height: 140%;
 }
-DIV.navtab {
-       background-color: #48ee02;
-       border: 1px solid #84b007;
-       text-align: center;
-       margin: 2px;
-       margin-right: 15px;
-       padding: 2px;
-}
-TD.navtab {
-       font-size: 70%;
-}
-A.qindex {
+
+/* Data structure index, clickable letters */
+a.qindex {
        text-decoration: none;
        font-weight: bold;
-       color: #1A419D;
+       color: #cc3322;
 }
-A.qindex:visited {
+
+a.qindex:visited {
        text-decoration: none;
        font-weight: bold;
-       color: #1A419D
+       color: #cc3322
 }
-A.qindex:hover {
+
+a.qindex:hover {
 	text-decoration: none;
 	background-color: #ffff00;
 }
-A.qindexHL {
+
+a.el {
 	text-decoration: none;
-	font-weight: bold;
-	background-color: #cccc00;
-	color: #000000;
-	border: 1px double #929502;
+	font-weight: bold
 }
-A.qindexHL:hover {
+
+a.elRef { font-weight: bold }
+
+a.code:link {
 	text-decoration: none;
-	background-color: #ffff00;
-	color: #000000;
-}
-A.qindexHL:visited { text-decoration: none; background-color: #e6c60c; color: #000000 }
-A.el { text-decoration: none; font-weight: bold }
-A.elRef { font-weight: bold }
-A.code:link { text-decoration: none; font-weight: normal; color: ##BA3708}
-A.code:visited { text-decoration: none; font-weight: normal; color: ##BA3708}
-A.codeRef:link { font-weight: normal; color: #BA3708}
-A.codeRef:visited { font-weight: normal; color: #BA3708}
-A:hover { text-decoration: none; background-color: #ffff00 }
-DL.el { margin-left: -1cm }
+	font-weight: normal;
+	color: #BA3708
+}
+
+a.code:visited {
+	text-decoration: none;
+	font-weight: normal;
+	color: #BA3708
+}
+
+a.codeRef:link {
+	font-weight: normal;
+	color: #BA3708
+}
+
+a.codeRef:visited {
+	font-weight: normal;
+	color: #BA3708
+}
+
+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;
@@ -95,30 +119,32 @@ PRE.fragment {
 	padding-top: 4px;
 	padding-bottom: 4px;
 }
-DIV.ah { background-color: black; font-weight: bold; color: #000000; margin-bottom: 3px; margin-top: 3px }
-TD.md { background-color: #112244; font-weight: bold; }
-TD.mdPrefix {
-       background-color: #112244;
-       color: #606060;
-	font-size: 80%;
+
+/* data structures non-clickable letters */
+div.ah {
+	background-color: black;
+	font-weight: bold;
+	color: #cccccc;
+	margin-bottom: 3px;
+	margin-top: 3px
 }
-TD.mdname1 { background-color: #112244; font-weight: bold; color: #00CC00; }
-TD.mdname { background-color: #112244; font-weight: bold; color: #00CC00; width: 600px; }
-DIV.groupHeader {
+
+div.groupHeader {
        margin-left: 16px;
        margin-top: 12px;
        margin-bottom: 6px;
        font-weight: bold;
 }
-DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }
-BODY {
-	background: black;
-	color: #bbbbbb;
-	margin-right: 20px;
-	margin-left: 20px;
+
+div.groupText {
+	margin-left: 16px;
+	font-style: italic;
+	font-size: 90%
 }
-TD.indexkey {
-	background-color: #383e12;
+
+/* File list */
+td.indexkey {
+	background-color: #000055;
 	font-weight: bold;
 	padding-right  : 10px;
 	padding-top    : 2px;
@@ -128,10 +154,11 @@ TD.indexkey {
 	margin-right   : 0px;
 	margin-top     : 2px;
 	margin-bottom  : 2px;
-	border: 1px solid #CCCCCC;
+	border: 1px solid #ffff00;
 }
-TD.indexvalue {
-	background-color: #383e12;
+
+td.indexvalue {
+	background-color: #000055;
 	font-style: italic;
 	padding-right  : 10px;
 	padding-top    : 2px;
@@ -141,170 +168,595 @@ TD.indexvalue {
 	margin-right   : 0px;
 	margin-top     : 2px;
 	margin-bottom  : 2px;
-	border: 1px solid #CCCCCC;
+	border: 1px solid #ffff00;
 }
-TR.memlist {
-   background-color: #112244; 
-}
-P.formulaDsp { text-align: center; }
-IMG.formulaDsp { }
-IMG.formulaInl { vertical-align: middle; }
-SPAN.keyword       { color: #008000 }
-SPAN.keywordtype   { color: #00CCCC }
-SPAN.keywordflow   { color: #108000 }
-SPAN.comment       { color: #00CCCC }
-SPAN.preprocessor  { color: #CC00CC }
-SPAN.stringliteral { color: #e0e020 }
-SPAN.charliteral   { color: #0000ff }
-.mdTable {
-	border: 1px solid #868686;
-	background-color: #112244;
-}
-.mdRow {
-	padding: 8px 10px;
-}
-.mdescLeft {
-       padding: 0px 8px 4px 8px;
-	font-size: 80%;
-	font-style: italic;
-	background-color: #000000;
-	border-top: 1px none #10E010;
-	border-right: 1px none #202010;
-	border-bottom: 1px none #202010;
-	border-left: 1px none #202010;
-	margin: 0px;
+
+tr.memlist {
+   background-color: #112244;
 }
-.mdescRight {
-       padding: 0px 8px 4px 8px;
-	font-size: 80%;
-	font-style: italic;
-	background-color: #000000;
-	border-top: 1px none #20E210;
-	border-right: 1px none #202010;
-	border-bottom: 1px none #202010;
-	border-left: 1px none #202010;
-	margin: 0px;
+p.formulaDsp { text-align: center; }
+img.formulaDsp { }
+img.formulaInl { vertical-align: middle; }
+
+/* Overwiew on top of page for *.c file */
+
+.mdescLeft { /* empty box on the left besides short description */
+	padding: 0px 8px 4px 8px;
+        margin: 0px;
 }
-.memItemLeft {
-	padding: 1px 0px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #FFFF10;
-	border-right-color: #FFFF10;
-	border-bottom-color: #FFFF10;
-	border-left-color: #FFFF10;
-	border-top-style: solid;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #000000;
-	font-size: 80%;
-}
-.memItemRight {
-	padding: 1px 8px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E000;
-	border-right-color: #E0E000;
-	border-bottom-color: #E0E000;
-	border-left-color: #E0E000;
-	border-top-style: solid;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #000000;
-	font-size: 80%;
-}
-.memTemplItemLeft {
-	padding: 1px 0px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E000;
-	border-right-color: #E0E000;
-	border-bottom-color: #E0E000;
-	border-left-color: #E0E000;
-	border-top-style: none;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #000000;
-	font-size: 80%;
-}
-.memTemplItemRight {
-	padding: 1px 8px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E000;
-	border-right-color: #E0E000;
-	border-bottom-color: #E0E000;
-	border-left-color: #E0E000;
-	border-top-style: none;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	background-color: #000000;
-	font-size: 80%;
-}
-.memTemplParams {
-	padding: 1px 0px 0px 8px;
-	margin: 4px;
-	border-top-width: 1px;
-	border-right-width: 1px;
-	border-bottom-width: 1px;
-	border-left-width: 1px;
-	border-top-color: #E0E000;
-	border-right-color: #E0E000;
-	border-bottom-color: #E0E000;
-	border-left-color: #E0E000;
-	border-top-style: solid;
-	border-right-style: none;
-	border-bottom-style: none;
-	border-left-style: none;
-	color: #606060;
-	background-color: #3A3A1A;
-	font-size: 80%;
-}
-.search     { color: #f03309;
-              font-weight: bold;
-}
-FORM.search {
-              margin-bottom: 0px;
-              margin-top: 0px;
-}
-INPUT.search { font-size: 75%;
-               color: #800000;
-               font-weight: normal;
-               background-color: #000000;
-}
-TD.tiny      { font-size: 75%;
+
+.mdescRight { /* Short description */
+	padding: 0px 8px 4px 8px;
+        font-size: 100%;
+        font-style: italic;
+        margin: 0px;
 }
-a {
-	color: #BA4108;
+
+.memItemLeft { /* return value */
+	color: #ffffff;
+        border-top-color: #ffff00;
+        padding: 1px 0px 0px 8px;
+        margin: 4px;
+        border-top-width: 2px;
+        border-top-style: solid;
+        border-right-style: none;
+        border-bottom-style: none;
+        border-left-style: none;
+        font-size: 100%;
+}
+
+.memItemRight { /* function declaration */
+	color: #ffffff;
+        border-top-color: #ffff00;
+        padding: 1px 8px 0px 8px;
+        margin: 4px;
+        border-top-width: 2px;
+        border-top-style: solid;
+        border-right-style: none;
+        border-bottom-style: none;
+        border-left-style: none;
+        font-size: 100%;
+}
+
+.search {
+	color: #f03309;
+	font-weight: bold;
+}
+
+form.search {
+	margin-bottom: 0px;
+	margin-top: 0px;
+}
+
+input.search {
+	font-size: 75%;
+	color: #800000;
+	font-weight: normal;
+	background-color: #000000;
 }
-a:visited {
-	color: #BA3708;
+
+td.tiny {
+	font-size: 75%;
 }
+
 .dirtab { padding: 4px;
           border-collapse: collapse;
           border: 1px solid #84b007;
 }
-TH.dirtab { background: #080e02;
-            font-weight: bold;
+
+th.dirtab {
+	background: #080e02;
+	font-weight: bold;
+}
+
+/* Style for detailed member documentation */
+.memtemplate {
+	font-size: 100%;
+	color: #cccccc;
+	font-weight: normal;
+}
+
+.memitem { /* outer border around function */
+	padding: 6px;
+	background-color: #000000;
+	border-width: 2px;
+	border-style: solid;
+	border-color: #ffff00;
+}
+
+.memname {
+	color: #ffffff; /* name of the function */
+	white-space: nowrap;
+	font-weight: bold;
+}
+
+.memdoc{
+	padding-left: 10px;
+}
+
+/* inner box containing function definition */
+.memproto {
+	background-color: #000055;
+	width: 100%;
+	border-width: 2px;
+	border-style: solid;
+	border-color: #ffff00;
+	font-weight: bold;
+}
+
+.paramkey {
+	color: #ff0000;
+	text-align: right;
+}
+
+.paramtype { /* type of function parameter, e.g. "int" */
+	color: #00ff00;
+	white-space: nowrap;
+}
+
+.paramname { /* name of function parameter */
+	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%;
 }
-HR { height: 1px;
-     border: none;
-     border-top: 1px solid yellow;
+
+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;
+}
+
+table.project_list {
+	border-spacing: 0;
+}
+
+table.diff_tree {
+	border-spacing: 0;
+	font-family: monospace;
+}
+
+table.combined.diff_tree th {
+	text-align: center;
+}
+
+table.combined.diff_tree td {
+	padding-right: 24px;
+}
+
+table.combined.diff_tree th.link,
+table.combined.diff_tree td.link {
+	padding: 0px 2px;
+}
+
+table.combined.diff_tree td.nochange a {
+	color: #6666ff;
+}
+
+table.combined.diff_tree td.nochange a:hover,
+table.combined.diff_tree td.nochange a:visited {
+	color: #d06666;
+}
+
+table.blame {
+	border-collapse: collapse;
+}
+
+table.blame td {
+	padding: 0px 5px;
+	font-size: 100%;
+	vertical-align: top;
+}
+
+tr.light:hover {
+	background-color: yellow;
+	color: #cc3322;
+}
+
+tr.dark {
+	background-color: #333333;
+}
+
+tr.dark2 {
+	background-color: #333333;
+}
+
+tr.dark:hover {
+	background-color: yellow;
+	color: #cc3322;
+}
+
+td.link, td.selflink {
+	padding: 2px 5px;
+	font-family: sans-serif;
+	font-size: 70%;
+}
+
+td.selflink {
+	padding-right: 0px;
+}
+
+td.sha1 {
+	font-family: monospace;
+}
+
+td.error {
+	color: red;
+	background-color: yellow;
+}
+
+td.current_head {
+	text-decoration: underline;
+}
+
+table.diff_tree span.file_status.new {
+	color: #008000;
+}
+
+table.diff_tree span.file_status.deleted {
+	color: #c00000;
+}
+
+table.diff_tree span.file_status.moved,
+table.diff_tree span.file_status.mode_chnge {
+	color: #777777;
+}
+
+table.diff_tree span.file_status.copied {
+	color: #70a070;
+}
+
+/* noage: "No commits" */
+table.project_list td.noage {
+	color: #808080;
+	font-style: italic;
+}
+
+/* age2: 60*60*24*2 <= age */
+table.project_list td.age2, table.blame td.age2 {
+	font-style: italic;
+}
+
+/* age1: 60*60*2 <= age < 60*60*24*2 */
+table.project_list td.age1 {
+	color: #009900;
+	font-style: italic;
+}
+
+table.blame td.age1 {
+	color: #009900;
+	background: transparent;
+}
+
+/* age0: age < 60*60*2 */
+table.project_list td.age0 {
+	color: #009900;
+	font-style: italic;
+	font-weight: bold;
+}
+
+table.blame td.age0 {
+	color: #009900;
+	background: transparent;
+	font-weight: bold;
+}
+
+td.pre, div.pre, div.diff {
+	white-space: pre;
+}
+
+td.mode {
+	font-family: monospace;
+}
+
+/* styling of diffs (patchsets): commitdiff and blobdiff views */
+
+div.diff.header,
+div.diff.extended_header {
+	white-space: normal;
+}
+
+div.diff.header {
+	font-weight: bold;
+
+	background-color: #333333;
+
+	margin-top: 4px;
+	padding: 4px 0px 2px 0px;
+	border: solid #d9d8d1;
+	border-width: 1px 0px 1px 0px;
+}
+
+div.diff.header a.path {
+	text-decoration: underline;
+}
+
+div.diff.extended_header,
+div.diff.extended_header a.path,
+div.diff.extended_header a.hash {
+	color: #cccccc;
+}
+
+div.diff.extended_header .info {
+	color: #b0b0b0;
+}
+
+div.diff.extended_header {
+	background-color: #333333;
+	padding: 2px 0px 2px 0px;
+}
+
+div.diff a.list,
+div.diff a.path,
+div.diff a.hash {
+	text-decoration: none;
+}
+
+div.diff a.list:hover,
+div.diff a.path:hover,
+div.diff a.hash:hover {
+	text-decoration: underline;
+}
+
+div.diff.to_file a.path,
+div.diff.to_file {
+	color: #007000;
+}
+
+div.diff.add {
+	color: #008800;
+}
+
+div.diff.from_file a.path,
+div.diff.from_file {
+	color: #ff0000;
+}
+
+div.diff.rem {
+	color: #cc0000;
+}
+
+div.diff.chunk_header a,
+div.diff.chunk_header {
+	color: #990099;
+}
+
+div.diff.chunk_header {
+	border: dotted #ffe0ff;
+	border-width: 1px 0px 0px 0px;
+	margin-top: 2px;
+}
+
+div.diff.chunk_header span.chunk_info {
+	background-color: #000000;
+}
+
+div.diff.chunk_header span.section {
+	color: #aa22aa;
+}
+
+div.diff.incomplete {
+	color: #cccccc;
+}
+
+div.diff.nodifferences {
+	font-weight: bold;
+	color: #600000;
+}
+
+div.index_include {
+	border: solid #d9d8d1;
+	border-width: 0px 0px 1px;
+	padding: 12px 8px;
+}
+
+div.search {
+	font-size: 100%;
+	font-weight: normal;
+	margin: 4px 8px;
+	float: right;
+	top: 56px;
+	right: 12px
+}
+
+td.linenr {
+	text-align: right;
+}
+
+a.linenr {
+	color: #999999;
+	text-decoration: none
+}
+
+a.rss_logo {
+	float: right;
+	padding: 3px 0px;
+	width: 35px;
+	line-height: 10px;
+	border: 1px solid;
+	border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
+	color: #ffffff;
+	background-color: #ff6600;
+	font-weight: bold;
+	font-family: sans-serif;
+	font-size: 70%;
+	text-align: center;
+	text-decoration: none;
+}
+
+a.rss_logo:hover {
+	background-color: #ee5500;
+}
+
+span.refs span {
+	padding: 0px 4px;
+	font-size: 70%;
+	font-weight: normal;
+	border: 1px solid;
+	background-color: #222222;
+	border-color: #ffccff #ff00ee #ff00ee #ffccff;
+}
+
+span.refs span.ref {
+	background-color: #aaaaff;
+	border-color: #ccccff #0033cc #0033cc #ccccff;
+}
+
+span.refs span.tag {
+	background-color: #ffffaa;
+	border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
+}
+
+span.refs span.head {
+	background-color: #222222;
+	border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
+}
+
+span.atnight {
+	color: #cc0000;
+}
+
+span.match {
+	color: #e00000;
+}
+
+div.binary {
+	font-style: italic;
+}