diff --git a/default.css b/default.css new file mode 100644 index 00000000..737db22d --- /dev/null +++ b/default.css @@ -0,0 +1,13 @@ +BODY { color: Black; background-color: White; } +A { color: Blue; } +A:visited { color: Navy; } +H1 { font-size: 150%; margin: 0; } +H2 { font-size: 150%; margin: 0; } +H3 { margin: 0; } +FIELDSET { float: left; padding: .5em; margin: 0; } +PRE { margin: .12em 0; } +TABLE { margin-top: 1em; } +.error { color: Red; } +.message { color: Green; } +#menu { position: absolute; top: 8px; left: 8px; width: 15em; overflow: auto; white-space: nowrap; } +#content { margin-left: 16em; }