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
44
45
46
47
48
49
50
51
52
53
|
/* start css.sty */
.cmr-7{font-size:70%;}
.cmmi-10{font-style: italic;}
.cmmi-7{font-size:70%;font-style: italic;}
.cmbx-10{font-weight: bold;}
.cmtt-10{font-family: monospace;}
.cmti-10{font-style: italic;}
.small-caps{font-variant: small-caps; }
p.noindent { text-indent: 0em }
p.indent{ text-indent: 1.5em }
.sub, .sup {font-size:110%}
.Canvas { position:relative; }
img.mathdisplay{ margin-top: 1em; margin-bottom: 1em; }
td.eqalign3 { text-align:right; margin-left:10em;}
.eqalign td { white-space: nowrap; }
td.eqalignno3 { text-align:right; margin-left:10em;}
.eqalignno td { white-space: nowrap; }
.eqalignno td.noalign { white-space: normal; }
td.leqalignno3 { text-align:right; margin-left:10em;}
.leqalignno td { white-space: nowrap; }
.leqalignno td.noalign { white-space: normal; }
span.TEX {letter-spacing: -0.125em; }
span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
a span.TEX span.E {text-decoration: none; }
.obeylines-h,.obeylines-v {white-space: nowrap; }
span.pmatrix img{vertical-align:middle;}
.underline{ text-decoration:underline; }
.overline{ text-decoration:overline; }
.itemitem {margin-left: 5em; text-indent: -2em; margin-top: 0.5em; margin-bottom: 0.5em;}
.item {margin-left: 3em; text-indent: -2em; margin-top: 0.5em; margin-bottom: 0.5em;}
H1, H2, H3 { font-family: comic sans MS; }
BODY { background: white; }
.SIGN{text-align:right;}
.Template { margin-left:3em; }
DIV.TableOfContents { margin-top: 1em; margin-right: 1em; margin-left:1em;}
DIV.Warning{ margin-right: 8%; margin-left:8%; align-margin:justify; }
DIV.Warning DIV.Warning{ font-weight: bold; align-margin:justify; border:solid 1px; color:red; }
.tabular, DIV.output { background-color:#FFFFCC; }
DIV.output { margin-left:3%; }
.button-list P{ margin-top:0em; margin-bottom:0; }
DIV.button-list { margin-left:3%; margin-right:3%; }
SPAN.ShowCode { color: green; }
DIV.ShowCode { margin-left:3%; margin-right:3%; border-top: solid #CCCCCC 1pt; border-bottom: solid #CCCCCC 1pt; }
DIV.source { border-top: solid #CCCCCC 1pt; border-bottom: solid #CCCCCC 1pt;}
DIV.td00{ margin-left:0; margin-right:0; }
DIV.td01{ margin-left:0; margin-right:5; }
DIV.td10{ margin-left:5; margin-right:0; }
DIV.td11{ margin-left:5; margin-right:5; }
.hline HR, .cline HR{ height : 1px; }
.try{ border:solid 4px; }
.bugfixes{background: yellow; padding:0.5em; margin-left:70%; text-align:center; font-style: italic; font-weight: bold; }
/* end css.sty */
|
