From f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07 Mon Sep 17 00:00:00 2001 From: jao Date: Sun, 25 Nov 2018 15:26:44 +0000 Subject: doc, examples --- web/xmobar.css | 88 ---------------------------------------------------------- 1 file changed, 88 deletions(-) delete mode 100644 web/xmobar.css (limited to 'web/xmobar.css') diff --git a/web/xmobar.css b/web/xmobar.css deleted file mode 100644 index 54a44c6..0000000 --- a/web/xmobar.css +++ /dev/null @@ -1,88 +0,0 @@ -body { - margin: auto; - padding-right: 1em; - padding-left: 1em; - max-width: 75%; - 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: #efebe7; - 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: #000000; } -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: #000036 -} - -a:visited { - color: #000000 -} -a:hover { - color: #000046 -} -a:active { - color: #000046 -} - -#footer { - padding-top: 1em; - font-size: 70%; - color: gray; - text-align: center; -} - -- cgit v1.2.3