← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/jflex/gutsy

« back to all changes in this revision

Viewing changes to doc/manual.css

  • Committer: Bazaar Package Importer
  • Author(s): Takashi Okamoto
  • Date: 2002-02-16 13:38:21 UTC
  • Revision ID: james.westby@ubuntu.com-20020216133821-5wsdprpt9xl7ondr
Tags: upstream-1.3.5
Import upstream version 1.3.5

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/manual.css
 
1
body  { background-color:#FFFFFF; }
 
2
table { background-color:#F0F0F0; }
 
3
h1    { font-size:16pt; font-style:italic; font-weight:bold; font-family:arial,helvetica; 
 
4
        border-top-width:medium; border-top-style:solid; padding-top:5mm; margin-top:1cm; }
 
5
h2    { font-size:14pt; font-style:italic; font-weight:bold; font-family:arial,helvetica; 
 
6
        border-top-width:medium; border-top-style:solid; padding-top:5mm; margin-top:1cm; }
 
7
h3    { font-size:14pt; font-weight:bold; font-family:arial,helvetica; margin-top:1cm; }  
 
8
h4    { font-size:12pt; font-family:arial,helvetica; }
 
9
 
 
10
SMALL.TINY                    { font-size:xx-small }
 
11
SMALL.SCRIPTSIZE          { font-size:xx-small }
 
12
SMALL.FOOTNOTESIZE      { font-size:x-small  }
 
13
SMALL.SMALL                     { font-size:small    }
 
14
BIG.LARGE                       { font-size:large    }
 
15
BIG.XLARGE              { font-size:x-large  }
 
16
BIG.XXLARGE                   { font-size:xx-large }
 
17
BIG.HUGE                        { font-size:xx-large }
 
18
BIG.XHUGE                       { font-size:xx-large }
 
19