summaryrefslogtreecommitdiff
path: root/html/aventuriers.css
diff options
context:
space:
mode:
Diffstat (limited to 'html/aventuriers.css')
-rw-r--r--html/aventuriers.css139
1 files changed, 0 insertions, 139 deletions
diff --git a/html/aventuriers.css b/html/aventuriers.css
deleted file mode 100644
index 5f4037a..0000000
--- a/html/aventuriers.css
+++ /dev/null
@@ -1,139 +0,0 @@
1
2/* start css.sty */
3.ecrm-1728{font-size:154%;}
4.ecrm-1200{font-size:109%;}
5.futrorn-x-x-109{}
6.ectt-1095{ font-family: monospace;}
7.ectt-1095{ font-family: monospace;}
8.ectt-1095{ font-family: monospace;}
9.ectt-1095{ font-family: monospace;}
10.ectt-1095{ font-family: monospace;}
11.ecti-1095{ font-style: italic;}
12.ecti-1095{ font-style: italic;}
13.ecti-1095{ font-style: italic;}
14.ecti-1095{ font-style: italic;}
15.ecti-1095{ font-style: italic;}
16p.noindent { text-indent: 0em }
17td p.noindent { text-indent: 0em; margin-top:0em; }
18p.nopar { text-indent: 0em; }
19p.indent{ text-indent: 1.5em }
20@media print {div.crosslinks {visibility:hidden;}}
21a img { border-top: 0; border-left: 0; border-right: 0; }
22center { margin-top:1em; margin-bottom:1em; }
23td center { margin-top:0em; margin-bottom:0em; }
24.Canvas { position:relative; }
25img.math{vertical-align:middle;}
26li p.indent { text-indent: 0em }
27li p:first-child{ margin-top:0em; }
28li p:last-child, li div:last-child { margin-bottom:0.5em; }
29li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }
30.enumerate1 {list-style-type:decimal;}
31.enumerate2 {list-style-type:lower-alpha;}
32.enumerate3 {list-style-type:lower-roman;}
33.enumerate4 {list-style-type:upper-alpha;}
34div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
35.obeylines-h,.obeylines-v {white-space: nowrap; }
36div.obeylines-v p { margin-top:0; margin-bottom:0; }
37.overline{ text-decoration:overline; }
38.overline img{ border-top: 1px solid black; }
39td.displaylines {text-align:center; white-space:nowrap;}
40.centerline {text-align:center;}
41.rightline {text-align:right;}
42div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
43.fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
44div.fbox {display:table}
45div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
46div.minipage{width:100%;}
47div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
48div.center div {text-align: left;}
49div.flushright, div.flushright div.flushright {text-align: right;}
50div.flushright div {text-align: left;}
51div.flushleft {text-align: left;}
52.underline{ text-decoration:underline; }
53.underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
54.framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
55.framebox-c {text-align:center;}
56.framebox-l {text-align:left;}
57.framebox-r {text-align:right;}
58span.thank-mark{ vertical-align: super }
59span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
60div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
61table.tabular td p{margin-top:0em;}
62table.tabular {margin-left: auto; margin-right: auto;}
63td p:first-child{ margin-top:0em; }
64td p:last-child{ margin-bottom:0em; }
65div.td00{ margin-left:0pt; margin-right:0pt; }
66div.td01{ margin-left:0pt; margin-right:5pt; }
67div.td10{ margin-left:5pt; margin-right:0pt; }
68div.td11{ margin-left:5pt; margin-right:5pt; }
69table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
70td.td00{ padding-left:0pt; padding-right:0pt; }
71td.td01{ padding-left:0pt; padding-right:5pt; }
72td.td10{ padding-left:5pt; padding-right:0pt; }
73td.td11{ padding-left:5pt; padding-right:5pt; }
74table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
75.hline hr, .cline hr{ height : 1px; margin:0px; }
76.tabbing-right {text-align:right;}
77span.TEX {letter-spacing: -0.125em; }
78span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
79a span.TEX span.E {text-decoration: none; }
80span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
81span.LATEX span.TEX{ position:relative; left: -0.4em; }
82div.float, div.figure {margin-left: auto; margin-right: auto;}
83div.float img {text-align:center;}
84div.figure img {text-align:center;}
85.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
86.marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
87table.equation {width:100%;}
88.equation td{text-align:center; }
89td.equation { margin-top:1em; margin-bottom:1em; }
90td.equation-label { width:5%; text-align:center; }
91td.eqnarray4 { width:5%; white-space: normal; }
92td.eqnarray2 { width:5%; }
93table.eqnarray-star, table.eqnarray {width:100%;}
94div.eqnarray{text-align:center;}
95div.array {text-align:center;}
96div.pmatrix {text-align:center;}
97table.pmatrix {width:100%;}
98span.pmatrix img{vertical-align:middle;}
99div.pmatrix {text-align:center;}
100table.pmatrix {width:100%;}
101span.bar-css {text-decoration:overline;}
102img.cdots{vertical-align:middle;}
103.partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
104.index-item, .index-subitem, .index-subsubitem {display:block}
105div.caption {text-indent:-2em; margin-left:3em; margin-right:1em; text-align:left;}
106div.caption span.id{font-weight: bold; white-space: nowrap; }
107h1.partHead{text-align: center}
108p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
109p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
110.paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
111.subparagraphHead, .likesubparagraphHead { font-weight: bold;}
112.quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;}
113.verse{white-space:nowrap; margin-left:2em}
114div.maketitle {text-align:center;}
115h2.titleHead{text-align:center;}
116div.maketitle{ margin-bottom: 2em; }
117div.author, div.date {text-align:center;}
118div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
119div.author{white-space: nowrap;}
120.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
121.abstract p {margin-left:5%; margin-right:5%;}
122div.abstract {width:100%;}
123.frenchb-nbsp{font-size:75%;}
124.frenchb-thinspace{font-size:75%;}
125.equation td{text-align:center; }
126.equation-star td{text-align:center; }
127table.equation-star { width:100%; }
128table.equation { width:100%; }
129table.align, table.alignat, table.xalignat, table.xxalignat, table.flalign {width:100%; margin-left:5%; white-space: nowrap;}
130table.align-star, table.alignat-star, table.xalignat-star, table.flalign-star {margin-left:auto; margin-right:auto; white-space: nowrap;}
131td.align-label { width:5%; text-align:center; }
132td.align-odd { text-align:right; padding-right:0.3em;}
133td.align-even { text-align:left; padding-right:0.6em;}
134table.multline, table.multline-star {width:100%;}
135td.gather {text-align:center; }
136table.gather {width:100%;}
137div.gather-star {text-align:center;}
138/* end css.sty */
139
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-03 17:01:39 +0000