File: manual.css

package info (click to toggle)
jflex 1.7.0-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, forky, sid, trixie
  • size: 13,944 kB
  • sloc: java: 421,255; xml: 1,130; makefile: 123; lisp: 90; yacc: 65; sh: 13
file content (19 lines) | stat: -rw-r--r-- 961 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
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 }