From 49177ebe4de37758d903ab6f6ba361c81750bb2d Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Fri, 27 May 2011 10:31:32 -0300 Subject: [PATCH] prod/doc/style.inc: interleave the navigation bar and shrink font --- prod/doc/style.inc | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/prod/doc/style.inc b/prod/doc/style.inc index 05805d8..d310835 100644 --- a/prod/doc/style.inc +++ b/prod/doc/style.inc @@ -3,10 +3,10 @@ - - + + -
+
@@ -20,7 +20,8 @@ - <__PI bgcolor="#d080ff"></B></A></__PI> + <__PI bgcolor="#d080ff" size="+3" rowspan="2"><A + href="index.html"><B><TITLE></B></A></__PI> <TD align="left" width="99%"> <TABLE border=0 cellspacing=0 cellpadding=0> <TR> @@ -41,7 +42,7 @@ </MACRO> <MACRO name="SECTION_BAR" title> - <TR><TD align="left" bgcolor="#ffffff"> + <TR><!-- <TD align="left" bgcolor="#ffffff"> --> <TD align="left"> <TABLE border=0 cellspacing=0 cellpadding=0> <TR> @@ -56,7 +57,7 @@ <__PI_SEP> <TD align="center"> <TABLE border=0 cellspacing=3 cellpadding=2 bgcolor="#ffff00"> - <TR><TD nowrap="nowrap"><A href="<HREF>"<FONT size="+2"><B><BODY></B></A> + <TR><TD nowrap="nowrap"><A href="<HREF>"<FONT size="+1"><B><BODY></B></A> </TABLE> </MACRO>