Fixes whitespace in docs/effbot.css

This commit is contained in:
Phil Elson 2013-03-07 11:38:36 +00:00
parent 525de9b14a
commit ef19ec8039

View File

@ -1,118 +1,118 @@
/* effbot.css */ /* effbot.css */
BODY { BODY {
font: 100% Georgia, Times, serif; font: 100% Georgia, Times, serif;
color: black; color: black;
margin: 0px 20px 0px 20px; margin: 0px 20px 0px 20px;
} }
#effbot-body { #effbot-body {
background: white; background: white;
padding: 10px 40px 10px 40px; padding: 10px 40px 10px 40px;
max-width: 50em; max-width: 50em;
} }
#effbot-menu { #effbot-menu {
display: none; display: none;
} }
.adsense { .adsense {
background: #f8fff8; background: #f8fff8;
border: 1px solid #084; border: 1px solid #084;
padding: 10px 4px 4px 4px; padding: 10px 4px 4px 4px;
} }
.sidebar { .sidebar {
border: 1px solid #000; border: 1px solid #000;
float: right; clear: right; float: right; clear: right;
width: 200px; width: 200px;
background: white; background: white;
padding: 10px; padding: 10px;
margin: 0px -25px 10px 0px; margin: 0px -25px 10px 0px;
} }
/* visual style */ /* visual style */
P { P {
line-height: 1.3em; line-height: 1.3em;
} }
CODE, PRE { CODE, PRE {
font: 100% "Courier New", Courier, Monaco, monospace; font: 100% "Courier New", Courier, Monaco, monospace;
color: #042; margin-left: 20px; color: #042; margin-left: 20px;
} }
H1, H2, H3 { H1, H2, H3 {
font-family: Georgia, Times, serif; font-family: Georgia, Times, serif;
color: #084; margin-top: 30px; color: #084; margin-top: 30px;
} }
H1, H2, { border-top: 1px solid #084; } H1, H2, { border-top: 1px solid #084; }
H4, H5, H6 { H4, H5, H6 {
font-family: Georgia, Times, serif; font-family: Georgia, Times, serif;
color: #084; margin-top: 15px; color: #084; margin-top: 15px;
} }
A:link, A:hover { color: #084; } A:link, A:hover { color: #084; }
A:visited { color: #404040; } A:visited { color: #404040; }
UL LI { list-style-type: square; } UL LI { list-style-type: square; }
.title { margin-bottom: 2px; color: #084; } .title { margin-bottom: 2px; color: #084; }
.info { font-size: 80%; color: #084; margin-top: 0px; } .info { font-size: 80%; color: #084; margin-top: 0px; }
.bluebox { color: #084; margin-top: 10px; } .bluebox { color: #084; margin-top: 10px; }
.highlight { background: #cfc; } .highlight { background: #cfc; }
.mark { color: #084; } .mark { color: #084; }
.small { font-size: 80%; } .small { font-size: 80%; }
.display { background: #eee; padding: 20px; } .display { background: #eee; padding: 20px; }
.note { .note {
background: #efe; background: #efe;
border-top: 1px solid #084; border-top: 1px solid #084;
border-bottom: 1px solid #084; border-bottom: 1px solid #084;
padding: 2px 20px; padding: 2px 20px;
} }
.example { .example {
border-top: medium solid #084; border-top: medium solid #084;
border-bottom: medium solid #084; border-bottom: medium solid #084;
padding: 5px; padding: 5px;
} }
.figure { .figure {
border-top: medium solid #084; border-top: medium solid #084;
border-bottom: medium solid #084; border-bottom: medium solid #084;
padding: 5px; padding: 5px;
} }
.fixme { .fixme {
background: #eee; background: #eee;
border: 1px solid #084; border: 1px solid #084;
padding: 2x 20px; padding: 2x 20px;
} }
.simpletable { .simpletable {
border: 1px solid #084; border: 1px solid #084;
border-collapse: collapse; border-collapse: collapse;
} }
.simpletable TH { .simpletable TH {
text-align: left; text-align: left;
background: #cfc; background: #cfc;
border: 1px solid #084; border: 1px solid #084;
margin: 0px; margin: 0px;
padding: 1px 5px; padding: 1px 5px;
} }
.simpletable TD { .simpletable TD {
border: 1px solid #084; border: 1px solid #084;
margin: 0px; margin: 0px;
padding: 5px; padding: 5px;
} }
/* xmldiff markup */ /* xmldiff markup */
.new { text-decoration: underline; color: red; background: #fff0f0; } .new { text-decoration: underline; color: red; background: #fff0f0; }
.old { text-decoration: line-through; color: blue; background: #f0f0ff; } .old { text-decoration: line-through; color: blue; background: #f0f0ff; }