annotate css/common.css @ 4:c647d4ba6dcc

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