10 |
font-size: medium; |
font-size: medium; |
11 |
font-family: sans-serif; |
font-family: sans-serif; |
12 |
} |
} |
13 |
h1 { margin-left: -15%;} |
h1, .footer { margin-left: -15%;} |
14 |
h2 { margin-left: -15%; margin-top: 2.0em; margin-bottom: 0.5em; } |
h2 { margin-left: -15%; margin-top: 2.0em; margin-bottom: 0.5em; } |
15 |
h3 { margin-left: -7%; margin-top: 0.75em; margin-bottom: 0.5em; } |
h3 { margin-left: -7%; margin-top: 0.75em; margin-bottom: 0.5em; } |
16 |
h4 { margin-left: -0%; margin-top: 0.5em; } |
h4 { margin-left: -0%; margin-top: 0.5em; } |
17 |
h4 { margin-bottom: 0.25em; } |
h4 { margin-bottom: 0.25em; } |
18 |
h5 { margin-bottom: -1em; } |
h5 { margin-bottom: -1em; } |
19 |
h1, h2, h3, h4, h5, p, ul { font-family: serif; } |
h1, h2, h3, h4, h5 { font-family: serif; } |
20 |
p, ul { font-family: sans-serif; } |
p, ul { font-family: sans-serif; } |
21 |
h1, h2, h3, h4, h5 { font-weight: bold; } |
h1, h2, h3, h4, h5 { font-weight: bold; } |
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; |
27 |
h3 { font-size: 160%; } |
h3 { font-size: 160%; } |
28 |
h4 { font-size: 120%; } |
h4 { font-size: 120%; } |
29 |
h5 { font-size: 100%; } |
h5 { font-size: 100%; } |
30 |
|
.footer { font-size: 80%; } |
31 |
dt { font-weight: bold; } |
dt { font-weight: bold; } |
32 |
dfn { font-weight: bold; } |
dfn { font-weight: bold; } |
33 |
code { font-family: monospace; } |
code { font-family: monospace; } |
39 |
.wideimg { margin-left: -18%; margin-right: -6%; } |
.wideimg { margin-left: -18%; margin-right: -6%; } |
40 |
.abstract { width: 60%; text-align: center; } |
.abstract { width: 60%; text-align: center; } |
41 |
.algorithm { font-family: serif; background: #00E0E0; margin-left: 1cm;} |
.algorithm { font-family: serif; background: #00E0E0; margin-left: 1cm;} |
42 |
|
.docinfo-name { font-weight: bold; } |
43 |
span.red { color: red; background: white;} |
span.red { color: red; background: white;} |
44 |
span.green { color: green; background: white; } |
span.green { color: green; background: white; } |
45 |
|
|