Reduce memory and time consumption on certain malformed input files

[mandoc.git] / style.css

diff --git a/style.css b/style.css
index 576cfee176c05133fac356b74b06a2a7856e6a51..83c5acc820dad73e3f091de670d59f6a5b8a6549 100644 (file)
--- a/style.css
+++ b/style.css
@@ -1,4 +1,4 @@
-/* $Id: style.css,v 1.24 2011/08/18 09:16:01 kristaps Exp $ */
+/* $Id: style.css,v 1.30 2014/09/27 11:16:24 kristaps Exp $ */

 
 /*
  * This is an example style-sheet provided for mandoc(1) and the -Thtml
 
 /*
  * This is an example style-sheet provided for mandoc(1) and the -Thtml


@@ -20,16 +20,17 @@ blockquote  { margin-left: 5ex; margin-top: 0ex; margin-bottom: 0ex; } /* D1. */
 div.section    { margin-bottom: 2ex; margin-left: 5ex; } /* Sections (Sh, SH). */
 div.subsection { } /* Sub-sections (Ss, SS). */
 table.synopsis { } /* SYNOPSIS section table. */
 div.section    { margin-bottom: 2ex; margin-left: 5ex; } /* Sections (Sh, SH). */
 div.subsection { } /* Sub-sections (Ss, SS). */
 table.synopsis { } /* SYNOPSIS section table. */

+div.spacer     { margin: 1em 0; }

 
 /* Preamble structure. */
 
 table.foot     { font-size: smaller; margin-top: 1em; border-top: 1px dotted #dddddd; } /* Document footer. */
 td.foot-date   { width: 50%; } /* Document footer: date. */
 
 /* Preamble structure. */
 
 table.foot     { font-size: smaller; margin-top: 1em; border-top: 1px dotted #dddddd; } /* Document footer. */
 td.foot-date   { width: 50%; } /* Document footer: date. */

-td.foot-os     { width: 50%; text-align: right; } /* Document footer: OS/source. */
+td.foot-os     { width: 50%; } /* Document footer: OS/source. */

 table.head     { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */
 td.head-ltitle { width: 10%; } /* Document header: left-title. */
 table.head     { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */
 td.head-ltitle { width: 10%; } /* Document header: left-title. */

-td.head-vol    { width: 80%; text-align: center; } /* Document header: volume. */
-td.head-rtitle { width: 10%; text-align: right; } /* Document header: right-title. */
+td.head-vol    { width: 80%; } /* Document header: volume. */
+td.head-rtitle { width: 10%; } /* Document header: right-title. */

 
 /* General font modes. */
 
 
 /* General font modes. */
 


@@ -38,7 +39,7 @@ i             { } /* Italic: BI, IB, I, (implicit). */
 b              { } /* Bold: SB, BI, IB, BR, RB, B, (implicit). */
 .symb          { font-style: normal; font-weight: bold; } /* Symbolic: Sy, Ms, Bf -symbolic. */
 small          { } /* Small: SB, SM. */
 b              { } /* Bold: SB, BI, IB, BR, RB, B, (implicit). */
 .symb          { font-style: normal; font-weight: bold; } /* Symbolic: Sy, Ms, Bf -symbolic. */
 small          { } /* Small: SB, SM. */

-.lit           { font-style: normal; font-weight: normal; font-family: monospace; } /* Literal: Dl, Li, Bf -literal, Bl -literal, Bl -unfilled. */
+.lit           { font-style: normal; font-weight: normal; font-family: monospace; } /* Literal: Dl, Li, Ql, Bf -literal, Bl -literal, Bl -unfilled. */

 
 /* Block modes. */
 
 
 /* Block modes. */