annotate css/common.css @ 3:cd6f8b576013

basic python.org look and feel
author RadomirDopieralski
date Wed, 25 Feb 2009 12:55:32 +0000
parents 437f786181c5
children c647d4ba6dcc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
1 /* common.css - MoinMoin Default Styles
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
3 Copyright (c) 2001, 2002, 2003 by Juergen Hermann
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
4 */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
5
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
6 /* content styles */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
7
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
8 html {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
9 background-color: white;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
10 color: black;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
11 font-family: sans-serif;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
12 font-size: 1em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
13 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
14
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
15 body {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
16 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
17 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
18
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
19 /* Links */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
20
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
21
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
22 a:link {color: #00E;}
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
23 a:visited {color: #551A8B;}
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
24 a {color: #00E;}
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
25
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
26 a.nonexistent:visited, a.nonexistent,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
27 a.badinterwiki:visited, a.badinterwiki {color: gray;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
28
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
29 a.www:before {content: url(../img/moin-www.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
30 a.http:before {content: url(../img/moin-www.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
31 a.https:before {content: url(../img/moin-www.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
32 a.file:before {content: url(../img/moin-ftp.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
33 a.ftp:before {content: url(../img/moin-ftp.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
34 a.nntp:before {content: url(../img/moin-news.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
35 a.news:before {content: url(../img/moin-news.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
36 a.telnet:before, a.ssh:before {content: url(../img/moin-telnet.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
37 a.irc:before, a.ircs:before {content: url(../img/moin-telnet.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
38 a.mailto:before {content: url(../img/moin-email.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
39 a.attachment:before {content: url(../img/moin-attach.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
40 a.badinterwiki:before {content: url(../img/moin-inter.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
41 a.interwiki:before {content: url(../img/moin-inter.png); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
42
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
43 li p {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
44 margin: .25em 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
45 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
46
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
47 li.gap {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
48 margin-top: 0.5em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
49 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
50
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
51 dt {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
52 margin-top: 0.5em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
53 font-weight: bold;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
54 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
55
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
56 dd {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
57 margin-top: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
58 margin-bottom: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
59 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
60
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
61 dd p {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
62 margin: 0.25em 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
63 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
64
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
65 a, img, img.drawing {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
66 border: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
67 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
68
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
69 pre {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
70 border: 1pt solid #AEBDCC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
71 background-color: #F3F5F7;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
72 padding: 5pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
73 font-family: courier, monospace;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
74 white-space: pre;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
75 /* begin css 3 or browser specific rules - do not remove!
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
76 see: http://forums.techguy.org/archive/index.php/t-249849.html */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
77 white-space: pre-wrap;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
78 word-wrap: break-word;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
79 white-space: -moz-pre-wrap;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
80 white-space: -pre-wrap;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
81 white-space: -o-pre-wrap;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
82 /* end css 3 or browser specific rules */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
83 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
84
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
85 pre.comment {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
86 background-color: #CCCCCC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
87 color: red;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
88 padding: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
89 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
90 border: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
91 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
92
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
93 pre.comment:before {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
94 content: url(../img/attention.png);
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
95 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
96
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
97
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
98 /* .comment css definition must be top of .red/.green/.blue or it won't work */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
99 .comment { color: #555555; background-color: #DDDDFF; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
100
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
101 .red { background-color: #FFCCCC; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
102 .green { background-color: #CCFFCC; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
103 .blue { background-color: #CCCCFF; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
104 .yellow { background-color: #FFF29F; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
105 .orange { background-color: #FFD59B; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
106
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
107 .solid { border: 2px solid #000000; padding: 2px; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
108 .dashed { border: 2px dashed #000000; padding: 2px; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
109 .dotted { border: 2px dotted #000000; padding: 2px; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
110
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
111 .left { text-align: left; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
112 .center { text-align: center; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
113 .right { text-align: right; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
114 .justify { text-align: justify; }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
115
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
116 table
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
117 {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
118 margin: 0.5em 0 0 0.5em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
119 border-collapse: collapse;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
120 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
121
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
122 th, td
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
123 {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
124 padding: 0.25em 0.5em 0.25em 0.5em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
125 border: 1pt solid #ADB9CC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
126 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
127
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
128 td p {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
129 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
130 padding: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
131 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
132 /* TableOfContents macro */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
133 div.table-of-contents {
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
134 border: 1px solid #b7becc;
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
135 color: black;
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
136 background-color: #f7f6f0;
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
137 font-size: 80%;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
138 text-align: left;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
139 margin: 0.5em 0 0.5em 1em;
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
140 padding: 0.5em 0.75em 1em 0.5em;
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
141 max-width: 50%;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
142 display: inline-table;
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
143 -moz-border-radius: 8px 0 8px 0;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
144 overflow: hidden;
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
145 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
146 div.table-of-contents ol {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
147 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
148 padding: 0 0 0 2em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
149 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
150 div.table-of-contents ul {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
151 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
152 list-style:none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
153 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
154 div.table-of-contents li {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
155 margin:0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
156 padding: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
157 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
158 p.table-of-contents-heading {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
159 font-weight:bold;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
160 padding:0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
161 margin: 0 0 0.5em 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
162 letter-spacing: 0.075em;
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
163 color: #fff;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
164 background: #376a94;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
165 border-bottom: 3px solid #ffbc29;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
166 padding: 0.25em 0.25em 0.25em 1em;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
167 margin: -0.5em -0.75em 1em -0.5em;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
168 -moz-border-radius: 7px 0 0px 0;
2
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
169 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
170
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
171 /* Navigation macro */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
172 table.navigation {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
173 background: #fff;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
174 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
175 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
176
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
177 .footnotes div {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
178 width: 5em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
179 border-top: 1pt solid gray;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
180 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
181
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
182 .footnotes ol {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
183 padding: 0 2em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
184 margin: 0 0 1em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
185 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
186
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
187 .footnotes li {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
188 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
189
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
190 .info {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
191 float: right;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
192 font-size: 0.7em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
193 color: gray;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
194 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
195
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
196 #pageinfo {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
197 margin-top: 2em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
198 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
199
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
200 .seperator {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
201 color: gray;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
202 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
203
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
204 #pagebottom {clear: both;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
205
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
206 /* standard rule ---- */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
207 hr {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
208 height: 1pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
209 background-color: #9C9C9C;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
210 border: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
211 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
212
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
213 /* custom rules ----- to ---------- */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
214 .hr1 {height: 2pt;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
215 .hr2 {height: 3pt;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
216 .hr3 {height: 4pt;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
217 .hr4 {height: 5pt;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
218 .hr5 {height: 6pt;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
219 .hr6 {height: 7pt;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
220
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
221 /* Replacement for deprecated html 3 <u> element and html 4 <strike> */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
222 .u {text-decoration: underline;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
223 .strike {text-decoration: line-through;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
224
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
225 /* eye catchers */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
226 .warning
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
227 {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
228 color: red;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
229 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
230
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
231 .error
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
232 {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
233 color: red;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
234 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
235
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
236 strong.highlight
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
237 {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
238 background-color: #CCE0FF;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
239 padding: 1pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
240 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
241
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
242
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
243 /* Recent changes */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
244
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
245 .rcrss {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
246 float: right;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
247 margin: 0 7px 0 14px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
248 height: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
249 position: relative;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
250 top: 9px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
251 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
252 *[div="rtl"] .rcrss {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
253 float: left;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
254 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
255 .recentchanges[dir="rtl"] .rcrss {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
256 float: left;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
257 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
258
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
259 .recentchanges table {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
260 clear: both;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
261 border-collapse: collapse;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
262
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
263 border: 1px solid #4d7da9;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
264 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
265
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
266 .recentchanges td {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
267 vertical-align: top;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
268 border: none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
269 background: #e6eaf0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
270 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
271
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
272
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
273 .recentchanges .rcdaybreak td {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
274 background: #81BBF2;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
275 border: none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
276 border: 1px solid #4d7da9;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
277 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
278
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
279 .rcdaybreak td a {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
280 font-size: 0.88em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
281 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
282
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
283 .rcicon1, .rcicon2 {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
284 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
285 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
286
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
287 .rcpagelink {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
288 width: 33%;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
289 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
290
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
291 .rctime {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
292 font-size: 0.88em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
293 white-space: nowrap;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
294 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
295
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
296 .rceditor {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
297 white-space: nowrap;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
298 font-size: 0.88em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
299 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
300
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
301 .rccomment {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
302 width: 50%;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
303 color: gray;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
304 font-size: 0.88em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
305 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
306
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
307
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
308 /* User Preferences */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
309
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
310 .userpref table, .userpref td {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
311 border: none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
312 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
313
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
314 /* CSS for new code_area markup used by Colorizer and ParserBase */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
315
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
316 div.codearea { /* the div makes the border */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
317 margin: 0.5em 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
318 padding: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
319 border: 1pt solid #AEBDCC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
320 background-color: #F3F5F7;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
321 color: black;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
322 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
323
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
324 div.codearea pre { /* the pre has no border and is inside the div */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
325 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
326 padding: 10pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
327 border: none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
328 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
329
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
330 a.codenumbers { /* format of the line numbering link */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
331 margin: 0 10pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
332 font-size: 0.85em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
333 color: gray;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
334 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
335
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
336 /* format of certain syntax spans */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
337 div.codearea pre span.LineNumber {color: gray;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
338 div.codearea pre span.ID {color: #000000;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
339 div.codearea pre span.Operator {color: #0000C0;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
340 div.codearea pre span.Char {color: #004080;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
341 div.codearea pre span.Comment {color: #008000;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
342 div.codearea pre span.Number {color: #0080C0;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
343 div.codearea pre span.String {color: #004080;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
344 div.codearea pre span.SPChar {color: #0000C0;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
345 div.codearea pre span.ResWord {color: #A00000;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
346 div.codearea pre span.ConsWord {color: #008080; font-weight: bold;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
347 div.codearea pre span.Error {color: #FF8080; border: solid 1.5pt #FF0000;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
348 div.codearea pre span.ResWord2 {color: #0080ff; font-weight: bold;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
349 div.codearea pre span.Special {color: #0000ff;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
350 div.codearea pre span.Preprc {color: #803999;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
351
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
352 /* for diff parser */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
353 div.codearea pre span.DiffAdded {color: #4876FF;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
354 div.codearea pre span.DiffRemoved {color: #FF0000;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
355 div.codearea pre span.DiffChanged {color: #FF7F50;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
356 div.codearea pre span.DiffSeparator {color: #228B22; font-weight: bold}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
357
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
358 /* Search results */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
359 .advancedsearch {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
360 border: 1pt solid #ADB9CC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
361 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
362
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
363 .advancedsearch td {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
364 vertical-align: top;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
365 background-color: #E7E7E7;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
366 border: 0px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
367 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
368
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
369 .advancedsearch td.searchfor {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
370 font-weight: bold;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
371 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
372
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
373 .advancedsearch input {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
374 border: 1px solid #ADB9CC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
375 background-color: #fff;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
376 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
377
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
378 .advancedsearch input[disabled] {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
379 background-color: #eee;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
380 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
381
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
382 .advancedsearch td.submit {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
383 border-top: 1px solid #ADB9CC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
384 background-color: #fff;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
385 text-align: right;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
386 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
387
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
388 .advancedsearch optioni,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
389 .advancedsearch select {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
390 border: 1px solid #ADB9CC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
391 background-color: #fff;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
392 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
393
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
394
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
395 .searchresults dt {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
396 margin-top: 1em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
397 font-weight: normal;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
398 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
399
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
400 .searchresults dd, .searchresults p {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
401 font-size: 0.85em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
402 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
403
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
404 .searchresults .searchhitinfobar {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
405 color: #008000;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
406 margin-left: 15px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
407 margin-top: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
408 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
409
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
410 p.searchstats {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
411 font-size: 0.8em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
412 text-align: right;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
413 width: 100%;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
414 background-color: #E6EAF0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
415 border-top: 1px solid #9088DC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
416 padding: 2px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
417 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
418
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
419 p.searchhint {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
420 background-color: #E6EAF0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
421 border: 1px solid #9088DC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
422 padding: 2px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
423 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
424
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
425 .searchpages {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
426 margin-left: auto;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
427 margin-right: auto;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
428 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
429
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
430 .searchpages tr, .searchpages td {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
431 border: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
432 padding: 5px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
433 margin: 0;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
434 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
435 vertical-align: middle;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
436 color: #b93a58;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
437 font-weight: bold;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
438 font-size: 1.05em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
439 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
440
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
441 .searchpages td a, .searchpages td a:link {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
442 text-decoration: underline;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
443 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
444
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
445 /* MonthCalendar css */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
446
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
447 /* days without and with pages linked to them */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
448 a.cal-emptyday {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
449 color: #777777;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
450 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
451 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
452 a.cal-usedday {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
453 color: #000000;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
454 font-weight: bold;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
455 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
456 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
457 /* general stuff: workdays, weekend, today */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
458 td.cal-workday {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
459 background-color: #DDDDFF;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
460 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
461 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
462 td.cal-weekend {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
463 background-color: #FFDDDD;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
464 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
465 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
466 td.cal-today {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
467 background-color: #CCFFCC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
468 border-style: solid;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
469 border-width: 2pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
470 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
471 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
472 /* invalid places on the monthly calendar sheet */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
473 td.cal-invalidday {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
474 background-color: #CCCCCC;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
475 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
476 /* links to prev/next month/year */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
477 a.cal-link {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
478 color: #000000;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
479 text-decoration: none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
480 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
481 th.cal-header {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
482 background-color: #DDBBFF;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
483 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
484 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
485
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
486 /* for MonthCalendar mouseover info boxes */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
487 TABLE.tip {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
488 color: black;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
489 background-color: #FF8888;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
490 font-size: small;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
491 font-weight: normal;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
492 border-style: solid;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
493 border-width: 1px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
494 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
495
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
496 TH.tip {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
497 background-color: #FF4444;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
498 font-weight: bold;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
499 text-align: center;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
500 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
501
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
502 TD.tip {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
503 text-align: left;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
504 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
505 *[dir="rtl"] TD.tip {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
506 text-align: right;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
507 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
508
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
509 /* end MonthCalendar stuff */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
510
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
511 #message .hint {font-style: italic;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
512 #message .info {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
513 float: none;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
514 font-size: 1em;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
515 color: black;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
516 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
517 #message .info:before {content: url('../img/icon-info.png'); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
518 #message .warning:before {content: url('../img/alert.png'); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
519 #message .error:before {content: url('../img/icon-error.png'); margin: 0 0.2em;}
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
520
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
521
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
522 /* admonition start */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
523 #content div.caution,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
524 #content div.important,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
525 #content div.note,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
526 #content div.tip,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
527 #content div.warning {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
528 border: 1pt solid #E5E5E5;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
529 background-color: #F9F9FF;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
530 color: black;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
531
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
532 margin: 10pt 30pt 10pt 30pt;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
533 background-repeat: no-repeat;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
534 background-position: 8px 8px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
535 min-height: 64px; /*64=48+8+8 but doesn't work with IE*/
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
536 padding-left: 64px;
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
537 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
538
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
539 #content div.caution p,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
540 #content div.important p,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
541 #content div.note p,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
542 #content div.tip p,
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
543 #content div.warning p {
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
544 margin-top: 8px; /*to align text with bg graphic*/
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
545 }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
546
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
547 #content div.tip { background-image: url("../img/admon-tip.png"); }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
548 #content div.note { background-image: url("../img/admon-note.png"); }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
549 #content div.important { background-image: url("../img/admon-important.png"); }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
550 #content div.caution { background-image: url("../img/admon-caution.png"); }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
551 #content div.warning { background-image: url("../img/admon-warning.png"); }
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
552
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
553 /* admonition end */
437f786181c5 common.css from modernized theme
RadomirDopieralski
parents: 0
diff changeset
554
3
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
555 h1, h2, h3, h4, h5 {
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
556 font-family: serif;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
557 font-weight: normal;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
558 letter-spacing: 0.05em;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
559 }
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
560 h1 {
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
561 color: #234764;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
562 font-size: 150%;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
563 }
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
564 h2 {
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
565 color: #366d9c;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
566 font-size: 125%;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
567 }
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
568
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
569 ul li {
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
570 list-style: url(../img/bullet.gif);
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
571 }
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
572 ol li {
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
573 list-style: decimal;
cd6f8b576013 basic python.org look and feel
RadomirDopieralski
parents: 2
diff changeset
574 }