diff options
Diffstat (limited to 'docs/docstyle.css')
-rw-r--r-- | docs/docstyle.css | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/docs/docstyle.css b/docs/docstyle.css deleted file mode 100644 index ad2a0a9..0000000 --- a/docs/docstyle.css +++ /dev/null @@ -1,37 +0,0 @@ -html, body { - font-size: 1em; - text-align: left; - text-decoration: none; -} -html { background-color: #e7e7e7; } - -body { - max-width: 74.92em; - margin: 0 auto; - padding: .5em 1em 1em 1em; - background-color: white; - border: .1em solid #c0c0c0; -} - -h1, h2, h3, h4 { color: #333; } -h5, h6, dt { color: #222; } - - -a h3 { - color: #005090; -} - -a[href] { color: #005090; } -a[href]:visited { color: #100070; } -a[href]:active, a[href]:hover { - color: #100070; - text-decoration: none; -} - -.linkrow { - margin: 3em 0; -} - -.linkrow { - text-align: center; -} |