8
<src-style-file|generic|1.0>
14
<\src-copyright|1998--2004>
19
This software falls under the <hlink|GNU general public
20
license, version 3 or later|$TEXMACS_PATH/LICENSE>.
21
It comes WITHOUT ANY WARRANTY WHATSOEVER.
22
You should have received a copy of the license which the software.
23
If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
28
<use-package|std|env|title-generic|header-generic|section-generic>
32
<assign|par-first|0fn>
34
<assign|par-par-sep|0.6666fn>
38
<assign|code|<\macro|body>
39
<\padded-normal|0.5fn|1fn>
40
<with|font-family|tt|language|verbatim|par-par-sep|0fn|<arg|body>>
49
<associate|preamble|true>
b'\\ No newline at end of file'