1
0
Fork 0

Adjusted CSS for manual for browser like FF

closure/master
Mike Gerwitz 2011-03-14 18:44:27 -04:00
parent cb99ec256c
commit 27655c847d
1 changed files with 7 additions and 4 deletions

View File

@ -11,10 +11,10 @@ html {
body { body {
background-color: white; background-color: white;
border-color: #babdb6; border-color: #babdb6;
border-width: 0px 1px; border-width: 0px 1px 1px 1px;
border-style: solid; border-style: solid;
margin: 0px 5em; margin: 0px 5em;
padding: 1em; padding: 1em;
font-family: arial, serif; font-family: arial, serif;
@ -25,13 +25,16 @@ dfn {
font-weight: bold; font-weight: bold;
} }
var {
font-family: monospace;
}
.float { .float {
border: 1px solid #babdb6; border: 1px solid #babdb6;
padding: 0.5em; padding: 0.5em;
} }
.float-caption, .float-caption {
.float-caption em {
font-size: 0.9em; font-size: 0.9em;
} }