body { padding:0px; margin: 0px; }
/* renamed from "div.top" */
#header {
margin:0px; padding:10px; margin-bottom:20px;
background-color:#efefef;
border-bottom:1px solid black;
}
/* renamed from "span.title" */
h1 {
display: inline;
font-size: xx-large;
font-weight: bold;
}
/* renamed from "span.subtitle" */
h2 {
display: inline;
font-size: large;
font-weight: normal;
padding-left:30px;
}
#help {
position: absolute;
top: 0em;
right: 1em;
}
#content > div {
border:1px dotted black;
padding:10px; margin:10px;
}
/* renamed from "div.submain" */
#footer { padding:10px; margin:11px; }
p.subtitle { font-size:large; font-weight:bold; }
input.type { font-family:monospace; }
input[type="submit"] { font-family:monospace; background-color:#efefef; }
span.mono { font-family:monospace; }
pre {
margin:10px; margin-left:20px; padding:10px;
border:1px solid black;
}
p { text-align:justify; }
/* Added later */
.error { background: #fcc; }
textarea { height: 20em; width: 30em; }
/* These classes can be used to align elements side by side.
* Mark the parent as .float-container and some element at the end
* as .clear. The .clear element will end the float.
* If there is no such element in your markup already,
* add something like a <br/> for this.
*/
.float-container > * {
float: left;
margin-right: 3em;
}
.clear { float: none; clear: both; }