Added the nice style for preformatted text that is on public pages already
[infodrom.org/service.infodrom.org] / src / infodrom.css
1 /*
2  * General settings
3  */
4 body {
5   font-family: Verdana, Helvetica, Arial, sans-serif;
6   font-size: 13px;
7   line-height: 18px;
8   background-color: #f7f7f7;
9   color: #000000;
10 }
11
12 /*
13  * No underline for links
14  */
15 a:link {
16   text-decoration: none;
17   cursor: pointer;
18 }
19 a:visited {
20   text-decoration: none;
21   cursor: pointer;
22 }
23
24 /*
25  * General layout
26  */
27 .font {
28   font-size: 13px;
29 }
30 .smallfont {
31   font-size: 11px;
32 }
33 .height {
34   line-height: 15px;
35 }
36 .none {
37   display: none;
38 }
39 .border {
40   border: 1px solid black;
41 }
42 h3.bar {
43   padding-left: 5px;
44   padding-bottom: 2px;
45   font-size: 15px;
46   background: #98c5e5;
47 }
48 img.border {
49   border: 2px solid #e5e5e5;
50 }
51 ul.webgraph li {
52   list-style: none;
53 }
54 td.leftcol {
55   padding-left: 2px;
56 }
57 td.rightcol {
58   padding-right: 2px;
59 }
60 tr.head {
61   background: #98c5e5;
62 }
63 tr.t0 {
64   background: #ffffff;
65 }
66 tr.t1 {
67   background: #d9e2ea;
68 }
69 td.in {
70   color: #00ff00;
71 }
72 td.out {
73   color: #ff0000;
74 }
75
76 pre {
77   border: 1pt solid #cfcfcf;
78   background-color: #F3F5F7;
79   padding: 2px;
80   padding-left: 2px;
81   font-family: courier, monospace;
82   white-space: pre;
83   /* begin css 3 or browser specific rules - do not remove!
84    * see: http://forums.techguy.org/archive/index.php/t-249849.html
85    */
86   white-space: pre-wrap;
87   word-wrap: break-word;
88   white-space: -moz-pre-wrap;
89   white-space: -pre-wrap;
90   white-space: -o-pre-wrap;
91   /* end css 3 or browser specific rules */
92 }
93
94 /*
95  * Menu
96  */
97 p.menurule {
98   height: 3px;
99   width: 100%;
100   background-color: #999999;
101   padding: 0;
102   margin-top: 7px;
103   margin-bottom: 7px;
104 }
105
106 /*
107  * Footer
108  */
109 div.footer {
110   clear: both;
111   border-top: 1px solid #707070;
112 }
113 div.footerleft {
114   float: left;
115   font-size: xx-small;
116 }
117 div.footerright {
118   float: right;
119   font-size: xx-small;
120 }
121
122 /*
123  * Local variables:
124  * mode: indented-text
125  * mode: auto-fill
126  * End:
127 */