Import old website, converted to MarkDown format.
[wiki] / web.css
1 body {
2         background: white;
3         color: black;
4         font-family: sans-serif;
5         font-size: 14px;
6         max-width: 1000px;
7         margin-left: auto;
8         margin-right: auto;
9         text-align: justify;
10 }
11
12 .header {
13         margin: 0;
14         padding: 0;
15 }
16
17 .actions {
18         margin: 0;
19         padding: 0;
20 }
21
22 .actions ul {
23         margin: 0;
24         padding-left: 0;
25         padding-bottom: .5em;
26         list-style-type: none;
27         text-align: right;
28 }
29
30 .pageheader .actions ul {
31         color: gray;
32         border-bottom: 1px solid black;
33 }
34
35
36 .header {
37         display: none;
38 }
39
40 .actions li {
41         display: inline;
42         padding: .2em .4em;
43 }
44
45 .searchform {
46         display: inline;
47 }
48
49 .searchform form {
50         display: inline;
51 }
52
53 input#searchbox {
54         background: url(wikiicons/search-bg.gif) no-repeat;
55         background-position: 100% 50%;
56         padding: 0;
57         padding-right: 1.2em;
58         width: 10em;
59 }
60
61 .pagefooter {
62         color: gray;
63         border-top: 1px solid black;
64         clear: both;
65         padding-top: .5em;
66         text-align: right;
67 }
68
69 #poweredby {
70         float: left;
71         width: 40%;
72         text-align: left;
73 }
74
75 table {
76         border: 1px solid;
77         border-collapse: collapse;
78 }
79
80 td {
81         border: 1px solid;
82         padding: 4px;
83 }
84
85 th {
86         border: 1px solid;
87         padding: 4px;
88 }
89
90 .inlinefooter {
91         clear: both;
92 }
93
94 #content {
95         padding-top: 1em;
96         padding-bottom: 1em;
97         padding-right: 1em;
98 }
99
100 #content > :first-child {
101         margin-top: 0;
102 }
103
104 #backlinks {
105         display: none;
106 }
107
108 #feedlink {
109         float: right;
110         width: 9em;
111         text-align: right;
112 }
113
114 .feedbutton {
115         background: #ff6600;
116         color: white !important;
117         border-left: 1px solid #cc9966;
118         border-top: 1px solid #ccaa99;
119         border-right: 1px solid #993300;
120         border-bottom: 1px solid #331100;
121         padding: 0px 0.5em 0px 0.5em;
122         font-family: sans-serif;
123         font-weight: bold;
124         font-size: small;
125         text-decoration: none;
126         margin-top: 1em;
127 }
128
129 .feedbutton:hover {
130         color: white !important;
131         background: #ff9900;
132 }
133
134 img {
135         border: 0;
136 }