2
/* $Id: //people/fredrik/xmltoys/pythondoc.py#6 $ */
3
/* quick pythondoc.css, based on the standard effbot.org style */
6
font: 10pt Georgia, Times, serif;
7
background: white; color: black;
8
margin-left: 100px; margin-right: 100px;
12
font: 10pt "Courier New", Courier, Monaco, monospace;
17
font-family: Georgia, Times, serif;
18
color: #008040; margin-left: -80px; margin-right: -80px;
22
font-family: Georgia, Times, serif;
27
font: 10pt/18pt Georgia, Times, serif;
30
A:link, A:hover { color: #008040; }
31
A:visited { color: #404040; }
33
.title { margin-bottom: 2px; color: #008040;
34
margin-left: -80px; margin-right: -80px
36
.info { font-size: 80%; margin: 0; color: #008040; margin-left: -80px; }
37
.highlight { background: #ccffcc; }
39
.navigate { color: #008040; background: #e0e0e0;
40
margin-left: -80px; margin-right: -80px; }
42
.bluebox { color: #008040; margin-top: 10px; }
44
.mark { color: #008040; }
45
.small { font-size: 80%; }
46
.display { background: #e0e0e0; padding: 20px; }