File: styles.css

package info (click to toggle)
astyle 2.01-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 756 kB
  • sloc: cpp: 9,177; makefile: 327
file content (43 lines) | stat: -rwxr-xr-x 1,811 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

/* h1 is a title
 * h2 is a subtitle
 * h3 is a hanging text title
 * h4 is a non-hanging text title
 * p.noindent is non-hanging text (text without a title)
 * div.code is a light-blue backgroung color for preformatted code
 * pre is preformatted source code
 * p.contents entries are for the table of contents
 * a.contents are table of contents links (not underlined)
 * a.links are links (underlined)
 * .footer is the image table at the bottom of the page
 * img does not have a border
 */


body { margin-top:0.5in; margin-right:0.8in; margin-bottom:0.5in; margin-left:1.3in; }

h1 { color:#0000A0; text-align:center; font-style:italic; margin-top:18pt; margin-left:-0.5in; }
h2.large { color:#0000A0; text-align:center; font-size:x-large; margin-top:0.4in; margin-left:-0.5in; }
h2 { color:#0000A0; text-align:center; font-size:larger; margin-top:0.4in; margin-left:-0.5in; }
h3 { color:#0000A0; margin-top:0.4in; margin-left:-0.4in; }
h4 { color:#0000A0; }

p.noindent { margin-left:-0.4in; }

div.code { background:#E0E8FF; }
pre { margin-left:0.3in; }
/* pre.em { background:#FDFCFF; margin-right:0.3in;} */

p.contents1 { font-size:105%; margin-top:0in; margin-left:0in; margin-bottom:0in; margin-right:0in; }
p.contents2 { margin-top:0in; margin-left:.4in; margin-bottom:0in; margin-right:.4in; }
/* p.contents3 { margin-top:0in; margin-left:.8in; margin-bottom:0in; margin-right:.8in; } */
a.contents:link, a.contents:visited { color:#0000A0; text-decoration:none; }
a.contents:hover { color:#F00000; text-decoration:none; }
        
a:link, a:visited { color:#0000A0; text-decoration:underline; }
a:hover { color:#F00000; text-decoration:underline; }

center.footer { margin-left:-0.4in; margin-top:0.25in; }
h2.footer { font-size:x-large; margin-top:0; margin-left:0; }

img { border:none; }