path: root/website/manual/Builders.html
diff options
Diffstat (limited to 'website/manual/Builders.html')
1 files changed, 2 insertions, 3 deletions
diff --git a/website/manual/Builders.html b/website/manual/Builders.html
index 734ad74..bcba9c1 100644
--- a/website/manual/Builders.html
+++ b/website/manual/Builders.html
@@ -9,7 +9,7 @@ any later version published by the Free Software Foundation; with no
Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
copy of the license is included in the section entitled "GNU Free
Documentation License". -->
-<!-- Created by GNU Texinfo 6.0, -->
+<!-- Created by GNU Texinfo 6.3, -->
<title>Haunt Reference Manual: Builders</title>
@@ -46,9 +46,8 @@ pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
-span.nocodebreak {white-space: nowrap}
span.nolinebreak {white-space: nowrap}
-span.roman {font-family: serif; font-weight: normal}
+span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal} {list-style: none}