# HG changeset patch
# User Jordi Gutiérrez Hermoso <jordigh@gmail.com>
# Date 1277591847 18000
# Node ID c2043cd474cd939fa1952a2f90fdb9569a9733f4
# Parent  3058a25a7c7c4bc6561b5967bce87093ae795fe4
Restore Fotios's fonts

diff -r 3058a25a7c7c -r c2043cd474cd static/djangodocs.css
--- a/static/djangodocs.css	Sat Jun 26 17:33:09 2010 -0500
+++ b/static/djangodocs.css	Sat Jun 26 17:37:27 2010 -0500
@@ -39,8 +39,9 @@
 #nav-bot {height: 0.85em; background:#FCAF3E; width: 100%; position: absolute;}
 #nav-main{position: relative; z-index: 1; height: 0.85em;}
 #nav{ 
-    margin: 0; font-size: 14px; text-align: right; 
+    margin: 0; font-size: 12px; text-align: right;
     font-weight: bold; width: 100%;
+    font-family: "Lucida Sans Unicode", "Bitstream Vera Sans", "Trebuchet Unicode MS", "Lucida Grande", Verdana, Helvetica, sans-serif;
     float: left; }
 
 #nav ul {
@@ -75,7 +76,7 @@
 /*** basic styles ***/
 
 dd { margin-left:15px; }
-h1,h2,h3,h4 { margin-top:1em; font-family:"Trebuchet MS",sans-serif; font-weight:normal; }
+h1,h2,h3,h4 { margin-top:1em; font-family:"Lucida Sans Unicode", "Bitstream Vera Sans", "Trebuchet Unicode MS", "Lucida Grande", Verdana, Helvetica, sans-serif; font-weight:normal; }
 h1 { font-size:218%; margin-bottom:.4em; line-height:1.1em; }
 h2 { font-size:175%; margin-bottom:.6em; line-height:1.2em;}
 h3 { font-size:150%; font-weight:bold; margin-bottom:.2em;}