diff options
Diffstat (limited to 'cgi/public/main.css')
-rw-r--r-- | cgi/public/main.css | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/cgi/public/main.css b/cgi/public/main.css deleted file mode 100644 index e6139ec..0000000 --- a/cgi/public/main.css +++ /dev/null @@ -1,60 +0,0 @@ -body { - font-family: Sans-Serif; -} - -iframe { - border: none; -} - -div.about { - margin-top: 2em; - color: #666666; -} - -div.about a { - color: #000066; - text-decoration: none; -} - -div.error { - font-size: 150%; - font-weight: bold; - color: #ee0000; -} - -pre { - margin-bottom: 2em; -} - -span.optional, -span.notes { - color: #666666; -} - -div.break { - height: 1em; -} - -div.field { - width: 100%; - clear: both; -} - -div.field div.desc { - float: left; - width: 14em; - text-align: right; - padding-right: 0.5em; -} - -input, select { - border: 1px solid black; -} - -div.notes { - margin-top: 4em; -} - -div.notes ul { - margin-top: 1em; -} |