changeset 393:5dc640877bb8

Added DejaVuSans to the fonts (bug #8: https://bitbucket.org/segv/hg-website/issue/8/use-dejavusans-too-instead-of-just )
author Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
date Mon, 11 Feb 2013 12:42:45 +0100
parents 4aef227e929c
children 26e528281d00
files static/css/styles.css
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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; }