From dd41bb12727efc0d9951bb8ffd10d30f949e4b85 Mon Sep 17 00:00:00 2001 From: Tom Willemse Date: Sun, 26 May 2013 14:39:45 +0200 Subject: Update README and other files, add site/ --- site/stylesheet.css | 68 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) create mode 100644 site/stylesheet.css (limited to 'site/stylesheet.css') diff --git a/site/stylesheet.css b/site/stylesheet.css new file mode 100644 index 0000000..b661f7f --- /dev/null +++ b/site/stylesheet.css @@ -0,0 +1,68 @@ +a +{ + color: #6d97bf; +} + +a:visited +{ + color: #b27dbf; +} + +body +{ + font-family: "DejaVu Sans", sans-serif; + background-color: #222224; + color: #eeeeec; +} + +code, +pre +{ + font-family: "Envy Code R", monospace; +} + +h3, h4, +.outline-text-2, +.outline-text-3, +.outline-text-4 +{ + margin-left: 20px; +} + +pre +{ + background-color: #111113; + color: #eeeeec; + border: 1px solid #a5a5a4; + border-radius: 2px; +} + +ul +{ + margin-left: -20px; +} + +#content +{ + width: 700px; +} + +#org-div-home-and-up +{ + width: 750px; +} + +#postamble +{ + font-size: 12px; + padding: 3px 5px; + border: 1px solid #a5a5a4; + width: 690px; +} + +#postamble p +{ + margin: 0; + padding: 0; + line-height: 1.3em; +} -- cgit v1.2.3-54-g00ecf