tor-webwml.git

1) body {

2)     background-color: #FFFFFF;
3)     margin-top: 0px;
4)     font-family: Arial, Helvetica, sans-serif;

5)     font-size: 1em;

6)     font-style: normal;
7)     color: #000000;
8)     padding-top: 0px;

9) }
10) 

11) /* images */

12) 
13) img {

14)     border: 0;

15) }

16) 

17) 
18) li { 
19)    margin: .2em .2em .2em 1em;
20)   
21) }
22) 

23) /* this centers the page */

24) 

25) .center {

26)     text-align: center;
27)     background-color: white;

28)     margin: 0px auto 0 auto;

29)     width: 85%;

30) }
31) 

32) .center table {

33)     margin-left: auto;
34)     margin-right: auto;
35)     text-align: left;

36) }
37) 

38) /* for the shadow box */

39) 

40) table.shadowbox {
41)     width: 788px;

42)     border-collapse: collapse;

43)     padding: 0;
44)     margin-bottom: 2em;

45) }
46) 

47) table.shadowbox td {
48)     margin: 0;
49)     padding: 0;

50) }
51) 

52) /* spacer */

53) 

54) td.spacer {
55)     width: 110px;

56) }
57) 

58) 

59) 

60) div.banner {
61)     text-align: center;
62)     height: 79px;
63)     margin-bottom: 10px;
64)     width:100%;

65) }
66) 

67) table.table-banner {
68)     margin: 0 auto 0 auto;
69)     background-image: url("images/tor_mast.gif");
70)     background-repeat: no-repeat;

71) }
72) 

73) 
74) 
75) 

76) div.bottom {

77)     font-size: 0.8em;

78)     margin-top: 2cm;
79)     margin-left: 1em;
80)     margin-right: 1em;
81)     text-align: right;

82) }
83) 

84) /* the sidebar */

85) 

86) div.sidebar {
87)     float: right;

88)     padding-top: 10px;

89)     padding-right: 10px;
90)     padding-bottom: 15px;
91)     padding-left: 10px;
92)     width: 260px;
93)     text-align: center;

94) }
95) 

96) 

97) /* The main column (left text) */

98) 

99) div.main-column {

100)     padding: 15px 0 10px 10px;

101)     text-indent: 0pt;

102)     font-size: 1em;

103)     text-align: left;

104) }
105) 

106) /* formatting styles */

107) 

108) h1 {

109)     font-size: 1.6em;

110)     margin-bottom: 0.5em;

111) }
112) 

113) h2 {

114)     font-size: 1.4em;
115)     margin-bottom: 0em;
116)     font-weight: bold;
117)     margin-top: 0;
118) }
119) 
120) h3 {

121)     font-size: 1.2em;

122)     margin-bottom: 0em;
123)     font-weight: bold;
124)     margin-top: 0;

125) }

126) 

127) h4 {
128)     font-size: 1.1em;
129)     margin-bottom: 0em;
130)     font-weight: bold;
131)     margin-top: 0;
132) }
133) 
134) h5 {
135)     font-size: 1.0em;
136)     margin-bottom: 0em;
137)     font-weight: bold;
138)     margin-top: 0;
139) }
140) 

141) p {
142)     margin-top: 0;
143)     margin-bottom: 1em;

144) }
145) 

146) a:link {
147)     color: blue;

148)     font-size: 1em;

149) }
150) 

151) a:visited {

152)     color: purple;

153)     font-size: 1em;

154) }

155) 

156) 
157) a.anchor:link {

158)     font-size: 1em;

159)     color: black;
160)     font-weight: bold;
161)     text-decoration: none;
162) }
163) 
164) a.anchor:visited {

165)     font-size: 1em;

166)     color: black;
167)     font-weight: bold;
168)     text-decoration: none;
169) }
170) 
171) a.anchor {

172)     font-size: 1em;

173)     color: black;
174)     font-weight: bold;
175)     text-decoration: none;
176) }
177) 

178) td {
179)     vertical-align: top;

180) }
181) 

182) a.smalllink {

183)     font-size: 0.8em;

184) }
185) 

186) /* the banner */
187) 

188) table.banner {

189)     width: 100%;

190)     height: 79px;
191)     margin-left: auto;
192)     margin-right: auto;

193) }
194) 

195) td.banner-left {

196) 	/* This is done with an <img> in the HTML so it can be clickable

197)     background-image: url("images/top-left.png");

198)     background-repeat: no-repeat; */

199)     width: 193px;

200) }
201) 

202) td.banner-middle {

203)     background-color: #00802B;

204)     background-image: url("images/top-middle.png");

205)     background-repeat: repeat-x;

206)     vertical-align: bottom;

207)     padding-bottom: 10px;
208)     color: white;
209)     font-weight: bold;

210)     font-size: 1em;

211) }
212) 

213) td.banner-middle a, td.banner-middle a:visited {

214)     margin-right: 5px;

215)     color: white;
216)     font-weight: bold;

217)     font-size: 1em;

218) }
219) 

220) td.banner-middle a:hover {
221)     color: #FF7F00;
222)     font-weight: bold;

223)     font-size: 1em;

224) }
225) 

226) td.banner-right {

227)     background-image: url("images/top-right.png");

228)     background-repeat: no-repeat;

229)     width: 150px;

230)     background-position: right;
231)     padding-top: 8px;
232) }
233) 
234) .banner-middle a.current {
235)     text-decoration: none;	       
236)     color: #FF7F00;
237)     font-weight: bold;
238)     font-size: 1em;

239)     width: auto;
240)     text-align: auto;

241)     left: -50px;

242) }
243) 

244) .donatebutton {
245)         width: auto;
246)         text-align: center;
247) }
248) 
249) .donatebutton a {
250)         margin: 10px 0 0 0;
251)         font-weight: bold;
252)         display: block;
253)         padding: 6px;
254)         background-color: #00802B;
255)         border-top: 1px solid #00A838;
256)         border-left: 1px solid #00A838;
257)         border-bottom: 1px solid #00591E;
258)         border-right: 1px solid #00591E;
259)         color: #FFFFFF;
260) }
261) 
262) .donatebutton a:hover {
263)         color: orange;
264) }
265) 
266) .donatebutton a:active {
267)         color: orange;
268) }
269) 

270) /* these styles are for the menu on the gui contest pages */
271) 
272) .guileft {
273) 	 width: 25%;
274) 	 float: left;
275) 	 padding: 0;
276) 	 margin: 0;
277) }
278) 
279) .guimenu {
280) 	 border: 1px solid #AAA6AB;
281) 	 background-color: #E2DFE3;
282) 	 margin: 0 15px 15px 0;
283) 	 padding: 0;
284) }
285) 
286) .guimenuinner a {
287) 	      display: block;
288) 	      text-decoration: none;
289) 	      padding: 2px 0px 0px 12px;
290) 	      margin: 0 0 0 0px;
291) 	      color: #333333;
292) }
293) 
294) .guimenuinner a:visited {
295) 	      color: #333333;
296) }
297) 
298) .guimenuinner a:hover {
299) 	      background-image: url(gui/img/arrow.png);
300) 	      background-repeat: no-repeat;
301) 	      background-position: left;
302) 	      color: #EF8012;
303) }
304) 
305) .guimenuinner a.on {
306) 	      background-image: url(gui/img/arrow.png);
307) 	      background-repeat: no-repeat;
308) 	      background-position: left;
309) 	      color: #EF8012;
310) }
311) 
312) 
313) .guimenu h1 {
314)          width: 85%;
315) 	 font-size: 16px;
316) 	 margin: 0 0 8px 0;
317) 	 padding: 0;
318) 	 border-bottom: 1px solid #AAA6AB;
319) }
320) 
321) .curveleft {
322) 	   background-image: url(gui/img/corner-topleft.png);
323) 	   background-repeat: no-repeat;
324) 	   background-position: top left;
325) 	   margin: -1px;
326) }
327) 
328) .curveright {
329) 	    background-image: url(gui/img/corner-topright.png);
330) 	    background-repeat: no-repeat;
331) 	    background-position: top right;
332) }
333) 
334) .guimenuinner {
335) 	      
336) 	      padding: 0 10px 0 10px;
337) }
338) 
339) //.wiki {
340)       padding: 5px 40px 0 0;
341)       display: block;
342)       text-align: right;
343) }
344) 
345) 
346) .curvebottomleft {
347) 		 background-image: url(gui/img/corner-bottomleft.png);
348) 		 background-repeat: no-repeat;
349) 		 background-position: bottom left;
350) 		 margin: -1px;
351) }
352) 
353) .curvebottomright {
354) 		  background-image: url(gui/img/corner-bottomright.png);
355) 		  background-repeat: no-repeat;
356) 		  background-position: bottom right;
357) }
358) 
359) 

360) table.mirrors {
361) 	margin: 0 auto;
362) 	border-width: 3px;
363) 	border-color: gray;
364) 	border-style: ridge;
365) 	border-collapse: collapse;
366) }
367) table.mirrors th {
368) 	border: 1px solid gray;
369) 	background-color: #DDDDDD;
370) }
371) table.mirrors td {
372) 	border: 1px solid gray;
373) 	padding: 4px;
374) }
375) 

376) acronym {

377)   border-bottom: none;

378) }

379) 
380) dt {

381)   font-weight: bolder;
382)   font-style: italic;