From d03e4e59c1224e31d453cfdf214cf072ded36ff0 Mon Sep 17 00:00:00 2001 From: Andrea Rossato Date: Wed, 27 Feb 2008 14:38:29 +0100 Subject: remove xmobar.css from repository darcs-hash:20080227133829-d6583-ff93622109b11a9b83350b9cc20214b9f1f4c0d1.gz --- xmobar.css | 88 -------------------------------------------------------------- 1 file changed, 88 deletions(-) delete mode 100644 xmobar.css diff --git a/xmobar.css b/xmobar.css deleted file mode 100644 index ada6b3f..0000000 --- a/xmobar.css +++ /dev/null @@ -1,88 +0,0 @@ -body { - margin: auto; - padding-right: 1em; - padding-left: 1em; - max-width: 50em; - border-left: 1px solid black; - border-right: 1px solid black; - color: black; - font-family: Verdana, sans-serif; - font-size: 100%; - line-height: 140%; - color: #333; -} -pre { - border: 1px dotted gray; - background-color: #ccffcc; - color: #111111; - padding: 0.5em; -} -code { - font-family: monospace; - font-size: 110%; -} -h1 a, h2 a, h3 a, h4 a, h5 a { - text-decoration: none; - color: #009900; -} -h1, h2, h3, h4, h5 { font-family: verdana; - font-weight: bold; - color: #009900; } -h1 { - font-size: 130%; -} - -h2 { - font-size: 110%; - border-bottom: 1px dotted black; -} - -h3 { - font-size: 95%; -} - -h4 { - font-size: 90%; - font-style: italic; -} - -h5 { - font-size: 90%; - font-style: italic; -} - -h1.title { - font-size: 150%; - font-weight: bold; - text-align: left; - border: none; -} - -dt code { - font-weight: bold; -} -dd p { - margin-top: 0; -} - -a:link { - color: #009900 - } - -a:visited { - color: #669966 - } -a:hover { - color: #669966 - } -a:active { - color: #009900 - } - -#footer { - padding-top: 1em; - font-size: 70%; - color: gray; - text-align: center; -} - -- cgit v1.2.3