From c0ec3f7a9ed3287d22d4b0008354998deb16aba1 Mon Sep 17 00:00:00 2001
From: Werner Almesberger <werner@almesberger.net>
Date: Fri, 27 May 2011 10:36:31 -0300
Subject: [PATCH] prod/doc/style.inc: use sans serif font in the navigation bar

---
 prod/doc/style.inc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/prod/doc/style.inc b/prod/doc/style.inc
index d310835..113f88b 100644
--- a/prod/doc/style.inc
+++ b/prod/doc/style.inc
@@ -6,7 +6,7 @@
 <MACRO name="__PI" bgcolor size="+2" rowspan="1">
   <TD align="center" valign="top" rowspan="<ROWSPAN>">
   <TABLE border=0 cellspacing=3 cellpadding=2 bgcolor="<BGCOLOR>">
-    <TR><TD nowrap="nowrap"><FONT size="<SIZE>"><B><BODY></B>
+    <TR><TD nowrap="nowrap"><FONT size="<SIZE>" face="sans"><B><BODY></B>
   </TABLE>
 </MACRO>
 
@@ -57,7 +57,8 @@
   <__PI_SEP>
   <TD align="center">
   <TABLE border=0 cellspacing=3 cellpadding=2 bgcolor="#ffff00">
-    <TR><TD nowrap="nowrap"><A href="<HREF>"<FONT size="+1"><B><BODY></B></A>
+    <TR><TD nowrap="nowrap"><A href="<HREF>"<FONT size="+1"
+      face="sans"><B><BODY></B></A>
   </TABLE>
 </MACRO>
 
@@ -65,7 +66,7 @@
   <P>
   <TABLE width="99%" border=0 cellspacing=0 cellpadding=2 bgcolor="#f0f0a0">
     <TR><TD>&nbsp;<A name="<REF>"><FONT
-    size="+2"><B><TITLE></B></FONT></A></TD>
+      size="+2"><B><TITLE></B></FONT></A></TD>
   </TABLE></TD>
   <P>
 </MACRO>
