Initial release of Maemo 5 port of gnuplot
[gnuplot] / demo / html / gnuplot_demo.css
1 <STYLE TYPE="type/css">
2 <!--
3
4  H1, H2, H3, H4, H5, H6, P, UL, OL, DIR, MENU, DIV, 
5  DT, DD, ADDRESS, BLOCKQUOTE, PRE, HR, FORM, DL, 
6  LISTING 
7       { 
8         margin-left: 2%;
9         display: block ;
10       }
11
12  BODY { 
13         background-color:white; 
14         margin-left: 3%; margin-right: 3%; 
15         border-left: 3%; border-right: 3%; 
16       }
17
18  P    { 
19         margin-top:  0%; margin-bot:   0%;
20         margin-left:  0%; 
21         border-left:  0%; 
22       }
23
24  H1   { text-align: center; text-decoration: underline; }
25  H3   { color:#009900; margin-left: 0%; }
26  H4   { color:#009900; margin-left: 0%; 
27         margin-top: 1em; margin-bottom: 0;
28         border-top: 0; border-bottom: 0;
29       }
30  H5   { color:#006600; margin-left: 3%; font-size=+1; }
31
32  DT   { 
33         color:#006600;
34         font-weight: bold; 
35         margin-left: 4%; margin-right: 4%; 
36         border-left: 4%; border-right: 4%; 
37         margin-top: 3;
38       }
39  DD   {
40         margin-left: 8%; margin-right: 8%; 
41         border-left: 8%; border-right: 8%; 
42         margin-top: 3;
43       }
44
45  LISTING, PRE 
46         {
47         margin-left: 2%   ;
48         line-height: 1.00 ;
49         font-size: 0.5em ;
50         }
51
52  UL     {
53         margin-left:  0.1em ;
54         padding-left: 0.1em ;
55         margin-top:  0;
56         padding-top: 0;
57         }
58
59  LI     {
60         font-size: 0.9em ;
61         text-indent: 1em ;
62         list-style-type: none;
63         }
64
65  div.box        { border: none; border-width: thin; 
66                   margin-top: 5; margin-bottom: 5; 
67                   border-right: 3em;  border-left: -3em;
68                   background: #AADDFF;
69                 }
70  div.color1     { border: none;  background: #AADDFF; padding: 0.5em; }
71  div.footer     { border: solid; border-width: thin; 
72                   margin-top: 20; 
73                   margin-left: 0%; margin-right: 0%;
74                   padding: 10;
75                 }
76  -->
77 </STYLE>