@@ -323,6 +323,13 @@ h1.settitle, h1.top, h2.chapter, h3.section, h4.subsection, h4.subsubsection {
font-weight: bold;
}
+/* Use a serif font for section bodies (this overrides /gnulib/manual.css,
+ which currently applies to entire section classes, as opposed to section
+ classes for headings only). */
+div.settitle, div.top, div.chapter, div.section, div.subsection, div.subsubsection {
+ font-family: serif;
+}
+
/* Texinfo footnotes are in a "footnote" <div> but each of them is
wrapped in <h5> (go figure). Have them use a regular font instead
of bold. */