comparison doc/style/edgewall.css @ 235:b3cabd49de75

Beautified the HTML docs a bit.
author cmlenz
date Tue, 12 Sep 2006 15:35:42 +0000
parents
children 66e702ab4ae4
comparison
equal deleted inserted replaced
234:4501f2fef82f 235:b3cabd49de75
1 @import(docutils.css);
2
3 html, body { height: 100%; margin: 0; padding: 0; }
4 html, body { background: #4b4d4d url(bkgnd_pattern.png); color: #000; }
5 body, th, td {
6 font: normal small Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
7 }
8 pre, code, tt { font-size: medium; }
9 h1, h2, h3, h4 {
10 font-family: Arial,Verdana,'Bitstream Vera Sans',Helvetica,sans-serif;
11 font-weight: bold; letter-spacing: -0.018em;
12 }
13 h1 { font-size: 19px; margin: 2em 1em 0 0; }
14 h2 { font-size: 16px; }
15 h3 { font-size: 14px; }
16 hr { border: none; border-top: 1px solid #ccb; margin: 2em 0; }
17
18 :link, :visited { text-decoration: none; border-bottom: 1px dotted #bbb;
19 color: #b00;
20 }
21 :link:hover, :visited:hover { background-color: #eee; color: #555; }
22 :link img, :visited img { border: none }
23 h1 :link, h1 :visited ,h2 :link, h2 :visited, h3 :link, h3 :visited,
24 h4 :link, h4 :visited, h5 :link, h5 :visited, h6 :link, h6 :visited {
25 color: #000;
26 }
27
28 div.document { background: #fff url(shadow.gif) right top repeat-y;
29 border-left: 1px solid #000; margin: 0 auto 0 80px;
30 min-height: 100%; width: 54em; padding: 0 180px 1px 20px;
31 }
32 h1.title { background: url(vertbars.png) repeat-x; color: #666;
33 font-size: x-large; margin: 0 -20px 1em; padding: 2em 20px 0;
34 }
35 pre.literal-block { background: #f7f7f7; border: 1px solid #d7d7d7;
36 margin: 1em 0; padding: .25em; overflow: auto;
37 }
38
39 div.contents { position: absolute; position: fixed; margin-left: 80px;
40 left: 57.3em; top: 30px; right: 0;
41 }
42 div.contents .topic-title { display: none; }
43 div.contents ul { list-style: none; padding-left: 0; }
44 div.contents :link, div.contents :visited { color: #c6c6c6; border: none;
45 display: block; padding: 3px 5px 3px 10px;
46 }
47 div.contents :link:hover, div.contents :visited:hover { background: #000;
48 color: #fff;
49 }
50
51 img.logo { margin-top: 4.5em; }
Copyright (C) 2012-2017 Edgewall Software