comparison doc/style/edgewall.css @ 40:4525549aa6cc

Syntax highlighting for the docs.
author cmlenz
date Wed, 06 Jun 2007 11:02:48 +0000
parents 9552a500e7fd
children eb422d74d749
comparison
equal deleted inserted replaced
39:3b314a78015d 40:4525549aa6cc
1 @import(docutils.css); 1 @import url(docutils.css);
2 @import url(pygments.css);
2 3
3 html, body { height: 100%; margin: 0; padding: 0; } 4 html, body { height: 100%; margin: 0; padding: 0; }
4 html, body { background: #4b4d4d url(bkgnd_pattern.png); color: #000; } 5 html, body { background: #4b4d4d url(bkgnd_pattern.png); color: #000; }
5 body, th, td { 6 body, th, td {
6 font: normal small Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif; 7 font: normal small Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
12 font-weight: bold; letter-spacing: -0.018em; 13 font-weight: bold; letter-spacing: -0.018em;
13 } 14 }
14 h1 { font-size: 19px; margin: 2em 0 .5em; } 15 h1 { font-size: 19px; margin: 2em 0 .5em; }
15 h2 { font-size: 16px; margin: 1.5em 0 .5em; } 16 h2 { font-size: 16px; margin: 1.5em 0 .5em; }
16 h3 { font-size: 14px; margin: 1.2em 0 .5em; } 17 h3 { font-size: 14px; margin: 1.2em 0 .5em; }
17 h1 tt, h2 tt, h3 tt { color: #666; font-size: 100%; }
18 hr { border: none; border-top: 1px solid #ccb; margin: 2em 0; } 18 hr { border: none; border-top: 1px solid #ccb; margin: 2em 0; }
19 p { margin: 0 0 1em; } 19 p { margin: 0 0 1em; }
20 20
21 table { border: 1px solid #999; border-width: 0 1px 0 0; 21 table { border: 1px solid #999; border-width: 0 1px 0 0;
22 border-collapse: separate; border-spacing: 0; 22 border-collapse: separate; border-spacing: 0;
38 38
39 div.document { background: #fff url(shadow.gif) right top repeat-y; 39 div.document { background: #fff url(shadow.gif) right top repeat-y;
40 border-left: 1px solid #000; margin: 0 auto 0 40px; 40 border-left: 1px solid #000; margin: 0 auto 0 40px;
41 min-height: 100%; width: 54em; padding: 0 180px 1px 20px; 41 min-height: 100%; width: 54em; padding: 0 180px 1px 20px;
42 } 42 }
43 h1.title, div.document#babel h1 { border: none; color: #666; 43 h1.title, div.document#genshi h1 { border: none; color: #666;
44 font-size: x-large; margin: 0 -20px 1em; padding: 2em 20px 0; 44 font-size: x-large; margin: 0 -20px 1em; padding: 2em 20px 0;
45 } 45 }
46 h1.title { background: url(vertbars.png) repeat-x; } 46 h1.title { background: url(vertbars.png) repeat-x; }
47 div.document#babel h1.title { text-indent: -4000px; } 47 div.document#genshi h1.title { text-indent: -4000px; }
48 div.document#babel h1 { text-align: center; } 48 div.document#genshi h1 { text-align: center; }
49 pre.literal-block { background: #d7d7d7; border: 1px solid #e6e6e6; color: #000; 49 pre.literal-block, div.highlight pre { background: #f4f4f4;
50 margin: 1em 1em; padding: .25em; overflow: auto; 50 border: 1px solid #e6e6e6; color: #000; margin: 1em 1em; padding: .25em;
51 overflow: auto;
51 } 52 }
52 53
53 div.contents { font-size: 90%; position: absolute; position: fixed; 54 div.contents { font-size: 90%; position: absolute; position: fixed;
54 margin-left: 80px; left: 60em; top: 30px; right: 0; 55 margin-left: 80px; left: 60em; top: 30px; right: 0;
55 } 56 }
60 } 61 }
61 div.contents :link:hover, div.contents :visited:hover { background: #000; 62 div.contents :link:hover, div.contents :visited:hover { background: #000;
62 color: #fff; 63 color: #fff;
63 } 64 }
64 65
65 p.admonition-title { font-weight: bold; margin-bottom: 0; } 66 div.admonition, div.attention, div.caution, div.danger, div.error, div.hint,
66 div.note, div.warning { font-style: italic; margin-left: 2em; 67 div.important, div.note, div.tip, div.warning {
67 margin-right: 2em; 68 border: none; color: #333; font-style: italic; margin: 1em 2em;
68 } 69 }
70 div.attention p.admonition-title, div.caution p.admonition-title, div.danger
71 p.admonition-title, div.error p.admonition-title,
72 div.warning p.admonition-title {
73 color: #b00;
74 }
75 p.admonition-title { margin-bottom: 0; text-transform: uppercase; }
76 tt.docutils { background-color: transparent; }
Copyright (C) 2012-2017 Edgewall Software