22 |
h1, h2, h3, h4 { background: #b0e0e0; border-style: solid; border-color: black; |
h1, h2, h3, h4 { background: #b0e0e0; border-style: solid; border-color: black; |
23 |
border-width: thin; |
border-width: thin; |
24 |
clear: both; } |
clear: both; } |
25 |
|
/* .docinfo { background: lightgrey; border-style: solid; border-color: black; |
26 |
|
border-width: thin; clear: both; |
27 |
|
margin-top: 2.0em; margin-bottom: 0.5em; } */ |
28 |
h1.title { font-size: 300% } |
h1.title { font-size: 300% } |
29 |
h1 { font-size: 220%; } |
h1 { font-size: 220%; } |
30 |
h2 { font-size: 160%; } |
h2 { font-size: 160%; } |