* Always add the hostname in wfDebugLog(), whatever $wgShowHostnames is, since that...
[mediawiki.git] / skins / common / wikistandard.css
blobe47dc42d9c0374e4bb93c70439448bc3eb0dd715
1 #article {
2 padding: 4px;
5 #content {
6 margin: 0;
7 padding: 0;
10 #footer {
11 padding: 4px;
12 font-size: 95%;
13 clear: both;
16 #pagestats {
17 font-size: 9pt;
20 #powersearch {
21 background: #DDEEFF;
22 border-style: solid;
23 border-width: 1px;
24 padding: 2px;
27 #quickbar {
28 width: 140px;
29 height: 100%;
30 padding: 4px;
31 visibility: visible;
32 z-index: 99;
33 font-size: 95%;
36 #topbar {
37 padding: 4px;
38 font-size: 95%;
41 /* Table of contents */
42 .toctoggle,
43 .editsection {
44 font-size: smaller;
47 /* ... */
48 #toolbar {
49 padding: 0;
52 #infobox {
53 background: #eeeeff;
54 color: black;
57 #editform {
58 margin-top: 1px;
61 a.interwiki,
62 a.external {
63 color: #3366BB;
66 a.printable {
67 text-decoration: underline;
70 a.stub {
71 color: #772233;
72 text-decoration: none;
75 a:visited {
76 color: #5A3696;
79 body {
80 margin: 0;
81 padding: 4px;
82 color: black;
85 form.inline {
86 display: inline;
89 textarea {
90 overflow: auto;
93 h1.pagetitle {
94 padding-top: 0;
95 margin-top: 0;
96 padding-bottom: 0;
97 margin-bottom: 0;
98 font-size: 150%;
101 h1.pagetitle .editsection {
102 font-size: 66.7%;
105 h2 {
106 font-size: 120%;
109 h2 .editsection {
110 font-size: 83.3%;
113 h2, h3, h4, h5, h6 {
114 margin-bottom: 0;
117 h3 {
118 font-size: 106.25%;
121 h3 .editsection {
122 font-size: 94.1%;
125 h4 {
126 font-size: 103.125%;
129 h4 .editsection {
130 font-size: 97.0%;
133 h5 {
134 font-size: 100%;
137 h5 .editsection {
138 font-size: 100%;
141 h6 {
142 font-size: 95%;
145 h6 .editsection {
146 font-size: 105.3%;
149 hr.sep {
150 color: gray;
151 height: 1px;
152 background-color: gray;
155 p.subpages {
156 font-size: small;
159 p.subtitle {
160 padding-top: 0;
161 margin-top: 0;
164 .catlinks {
165 font-size: small;
166 margin-top: 0;
167 text-align:right;
170 td {
171 empty-cells: show;
174 td.bottom {
175 border-top: 1px solid gray;
178 td.top {
179 border-bottom: 1px solid gray;