diff options
Diffstat (limited to 'data/default.css')
-rw-r--r-- | data/default.css | 117 |
1 files changed, 0 insertions, 117 deletions
diff --git a/data/default.css b/data/default.css deleted file mode 100644 index a9170a92e..000000000 --- a/data/default.css +++ /dev/null @@ -1,117 +0,0 @@ -html { - min-height: 100%; - background: #fff; -} - -a { - text-decoration: none; - color: #048; -} - -a:hover { - color: #06C; -} -img { - border:0; -} -body { - color: #444; - font-family: "Bitstream Vera Sans", "DejaVu Sans", Arial; - margin: 0; - padding: 0; -} - -p, li { - max-width: 800px; -} - -.center { - text-align: center; - margin-top: 100px; -} -.center p { - max-width: 100%; -} - -.clearer { - clear: both; - font-size: 0; -} - -.small { - font-size:70%; -} - -.top { - background: #444; - color: #fff; - padding-left: 5px; - padding-top: 5px; - padding-bottom: 5px; - border-bottom: 3px double gray; -} - -.top .right { - float: right; - padding-right: 10px; -} - -.top a { - color: lightblue; -} - -.content { - padding-left:13px; - padding-top:13px; -} - -.error h1 { - font-size: 18px; -} - -table { - border-collapse: collapse; -} - -.results { - font-size: 0.75em; -} - -.results th { - padding: 0.5em 1em 0.25em 0.25em; - background: #fff; - border-bottom: 1px solid #999; - text-align: left; -} - -.results td { - padding: 0.3em 1em 0.3em 0.25em; -} - -.results tr:hover { - background: #ddf; -} - -tr.even { - background: #eef; -} - -tr.odd { - background: #fff; -} - -.example { - font-weight: bold; -} - -td.title { - text-align: right; - color: #999; - font-size: 90%; - padding: 3px; -} - -td.text { - text-align: left; - padding: 3px; -} |