diff options
-rw-r--r-- | styles/doc.css | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/styles/doc.css b/styles/doc.css deleted file mode 100644 index 97d2025..0000000 --- a/styles/doc.css +++ /dev/null @@ -1,19 +0,0 @@ -body { - font-family: verdana; - font-size: 80%; -} - -ul#changelog li { - font-weight: bold; - list-style-type: none; - margin-bottom: 1em; -} - -ul#changelog li li { - font-weight: normal; - margin-bottom: 0em; -} - -code { - font-size: 120%; -} |