/usr/share/doc/jflex/manual.css is in jflex 1.4.3-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | body { background-color:#FFFFFF; }
table { background-color:#F0F0F0; }
h1 { font-size:16pt; font-style:italic; font-weight:bold; font-family:arial,helvetica;
border-top-width:medium; border-top-style:solid; padding-top:5mm; margin-top:1cm; }
h2 { font-size:14pt; font-style:italic; font-weight:bold; font-family:arial,helvetica;
border-top-width:medium; border-top-style:solid; padding-top:5mm; margin-top:1cm; }
h3 { font-size:14pt; font-weight:bold; font-family:arial,helvetica; margin-top:1cm; }
h4 { font-size:12pt; font-family:arial,helvetica; }
SMALL.TINY { font-size:xx-small }
SMALL.SCRIPTSIZE { font-size:xx-small }
SMALL.FOOTNOTESIZE { font-size:x-small }
SMALL.SMALL { font-size:small }
BIG.LARGE { font-size:large }
BIG.XLARGE { font-size:x-large }
BIG.XXLARGE { font-size:xx-large }
BIG.HUGE { font-size:xx-large }
BIG.XHUGE { font-size:xx-large }
|