Here are the CSS rules for block-level elements in the HTML
rendering. First are the three types of pre
(preformatted, monospaced) element.
Section 9.4.1, “pre.executable”. This is for blocks
of code that use the literate programming features.
Rules for div elements are enumerated in
alphabetical order by the value of the class
attribute.
/*================================================================ * Block elements, sorted by class. */
This is a special block for displaying literate code
fragments; see Section 7.6.1, “The programlisting element”. We
use a pale green background and enclose the block in a
hairline black border, and put five pixels of padding around
the contents. The margin-top is reduced to
one point so that the preceding div.codeblocklabel, which names the output file, is
very close to the code block.
pre.executable
{ margin-top: 1px;
background-color: #ddeecc;
border: 1px solid;
padding: 5px;
}