Date:2011-05-27 15:36:31 (8 years 5 months ago)
Author:Werner Almesberger
Commit:c0ec3f7a9ed3287d22d4b0008354998deb16aba1
Message:prod/doc/style.inc: use sans serif font in the navigation bar

Files: prod/doc/style.inc (3 diffs)

Change Details

prod/doc/style.inc
66<MACRO name="__PI" bgcolor size="+2" rowspan="1">
77  <TD align="center" valign="top" rowspan="<ROWSPAN>">
88  <TABLE border=0 cellspacing=3 cellpadding=2 bgcolor="<BGCOLOR>">
9    <TR><TD nowrap="nowrap"><FONT size="<SIZE>"><B><BODY></B>
9    <TR><TD nowrap="nowrap"><FONT size="<SIZE>" face="sans"><B><BODY></B>
1010  </TABLE>
1111</MACRO>
1212
...... 
5757  <__PI_SEP>
5858  <TD align="center">
5959  <TABLE border=0 cellspacing=3 cellpadding=2 bgcolor="#ffff00">
60    <TR><TD nowrap="nowrap"><A href="<HREF>"<FONT size="+1"><B><BODY></B></A>
60    <TR><TD nowrap="nowrap"><A href="<HREF>"<FONT size="+1"
61      face="sans"><B><BODY></B></A>
6162  </TABLE>
6263</MACRO>
6364
...... 
6566  <P>
6667  <TABLE width="99%" border=0 cellspacing=0 cellpadding=2 bgcolor="#f0f0a0">
6768    <TR><TD>&nbsp;<A name="<REF>"><FONT
68    size="+2"><B><TITLE></B></FONT></A></TD>
69      size="+2"><B><TITLE></B></FONT></A></TD>
6970  </TABLE></TD>
7071  <P>
7172</MACRO>

Archive Download the corresponding diff file



interactive