annotate css/common.css @ 5:5c7c21aaa3cd

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