diff options
| -rw-r--r-- | index.css | 9 | ||||
| -rw-r--r-- | index.sgml | 14 |
2 files changed, 14 insertions, 9 deletions
@@ -11,7 +11,9 @@ body { text-align: justify; p,ul,table { margin-left: 3em; } -p.head, p.foot { margin-left: 0.0em; margin-right: 0.0em; } +p.head, +p.subhead, +p.foot { margin-left: 0.0em; margin-right: 0.0em; } p.news { margin-left: 2.0em; } @@ -20,10 +22,13 @@ li { margin: 0.25em; } h1 { font-size: 110%; } h2 { font-size: 105%; margin-left: 1.5em } -p.head { margin-bottom: 1.75em; +p.head { margin-bottom: 0.5em; border-bottom: 1px solid #dddddd; padding-bottom: 0.2em; } +p.subhead { margin-top: 0em; + margin-bottom: 1.75em; } + p.foot { border-top: 1px solid #dddddd; color: #666666; padding-top: 0.2em; @@ -46,9 +46,9 @@ <P> <I>Disambiguation</I>: <SPAN CLASS="nm">mdocml</SPAN> is often referred to by its installed binary, <Q>mandoc</Q>. </P> - <H1> + <H2> <A NAME="sources">Sources</A> - </H1> + </H2> <P> <SPAN CLASS="nm">mdocml</SPAN> is in plain-old ANSI C and should build and run on any modern system. To build and install into <I>/usr/local/</I>, just run <CODE>make install</CODE>. @@ -56,18 +56,18 @@ The <A HREF="mandocdb.8.html">mandocdb</A> utility is not yet linked to the build; please <A HREF="#contact">contact us</A> if you plan to use it. </P> - <H1> + <H2> <A NAME="binaries">Binaries</A> - </H1> + </H2> <P> Binary archives consist of pre-compiled binaries, manuals, and other necessary files. Universal (Mac OS X) binaries are compiled for the PCC, i386, and x86_64 architectures. Windows binaries are compiled with <A CLASS="external" HREF="http://www.mingw.org">MingW</A> for the 32-bit (i686) and 64-bit (x86_64) architectures. </P> - <H1> + <H2> Downstream - </H1> + </H2> <P> Several systems come bundled with <SPAN CLASS="nm">mdocml</SPAN> utilities. If your system does not appear below, the maintainers have not contacted me and it should not be considered @@ -312,7 +312,7 @@ <SMALL> Copyright © 2008–2011 <A CLASS="external" HREF="http://kristaps.bsd.lv">Kristaps Dzonsons</A>, - $Date: 2011/08/17 19:35:58 $ + $Date: 2011/08/18 09:02:57 $ </SMALL> </P> </BODY> |