# HG changeset patch
# User Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
# Date 1360582965 -3600
# Node ID 5dc640877bb8d79ae3d7a46f91917eb6aa29d7a8
# Parent  4aef227e929cd83d79e9677f718032ce4a4e95ce
Added DejaVuSans to the fonts (bug #8: https://bitbucket.org/segv/hg-website/issue/8/use-dejavusans-too-instead-of-just )

diff -r 4aef227e929c -r 5dc640877bb8 static/css/styles.css
--- a/static/css/styles.css	Mon Feb 11 12:14:14 2013 +0100
+++ b/static/css/styles.css	Mon Feb 11 12:42:45 2013 +0100
@@ -19,12 +19,12 @@
 /*
  * General Document Settings
  */
-body { font: .975em/1.4285em "Helvetica Neue", Helvetica, Verdana, Arial, sans-serif; color: #111; background-color: #fff; width: 900px; margin: 0 auto; position: relative; }
+body { font: .975em/1.4285em "Helvetica Neue", DejaVuSans, Helvetica, Verdana, Arial, sans-serif; color: #111; background-color: #fff; width: 900px; margin: 0 auto; position: relative; }
 
 /*
  * Headings
  */
-h1, h2, h3 { font-size: 1em; font-family: Optimer, Helvetica, Arial, sans-serif; margin: 0 0 .5em 0; font-weight: normal; }
+h1, h2, h3 { font-size: 1em; font-family: Optimer, DejaVuSans, Helvetica, Arial, sans-serif; margin: 0 0 .5em 0; font-weight: normal; }
 h4, h5, h6 { font-size: 1em; margin: 0 0 .5em 0; }
 h1 { font-size: 2em; }
 h2 { font-size: 1.6em; }