6 text-decoration: underline}
9 text-decoration: underline}
11 a:visited {color: #0005cf;
12 text-decoration: underline}
15 text-decoration: underline}
17 body {font-family: "Times New Roman", Georgia, Times;
20 background-color: #FFFFFF;
21 margin: 1em 1em 1em 1em;}
24 font-family: Verdana, Arial, Helvetica, Sans-Serif;
30 h1.div {font-size: 1.5em;
31 font-family: Verdana, Arial, Helvetica, Sans-Serif;
40 font-family: Verdana, Arial, Helvetica, Sans-Serif;
41 margin: 0.7em 0 0.7em 0;
42 padding: 0.5em 0.7em 0.5em 0.7em;
44 text-decoration: none;
45 border-bottom: solid #00A 2px;
49 * Ici on distingue les chapitres des sections
54 font-family: Verdana, Arial, Helvetica, Sans-Serif;
56 text-decoration: none;
57 border-bottom: solid #00A 2px;
65 font-family: Verdana, Arial, Helvetica, Sans-Serif;
67 text-decoration: none;
68 border-bottom: solid #00A 1px;
74 font-family: Verdana, Arial, Helvetica, Sans-Serif;
76 text-decoration: none;
83 font-family: Verdana, Arial, Helvetica, Sans-Serif;
85 text-decoration: none;
92 font-family: Verdana, Arial, Helvetica, Sans-Serif;
94 text-decoration: none ;
100 font-family: Verdana, Arial, Helvetica, Sans-Serif;
102 text-decoration: none ;
103 padding: 0 0 0 0.7em;
108 margin: 0em 0em 0.5em 0em;}
110 p.validator { text-align: right; }
112 tt {font-family: "Courier New";
114 /* font-weight: bold;}
119 .titre {font-size: 3em;
125 .revhistory table { border: none; padding: 0px 0px 0px 0px; margin: 1em 0em 1em 0em;}
127 .revhistory th { border: none; padding: 0px 0px 0px 0px ;}
129 .revhistory td { border: none; padding: 0px 0px 0px 0px ;}
131 .highlights { font-style: italic;}
133 .note { border: 1px solid #CCCC99;
134 background-color: #F5F5E7;
135 padding: 0.5em 0.5em 0.5em 0.5em;
136 margin: 1em 0em 1em 0em; }
138 .caution { border: 1px solid #F6EA00;
139 background-color: #FFFFC9;
140 padding: 0.5em 0.5em 0.5em 0.5em;
144 margin-right: 0.5in;}
146 .tipp { background-color: #F5F5DC }
148 .important { font-family: "Courier New";
150 border: 1px solid #F95E00;
151 background-color: #F9CDB3;
152 padding: 0.5em 0.5em 0.5em 0.5em;
156 margin-right: 0.5in;}
159 .screen { font-family: "Courier New";
161 border: 1px solid #999999;
162 background-color: #EBEBEB;
163 padding: 0.5em 0.5em 0.5em 0.5em;
164 margin: 2em 0em 2em 0em;}
166 .programlisting { font-family: "Courier New";
168 border: 1px solid #B2DBFF;
169 background-color: #F0F8FF;
170 padding: 0.5em 0.5em 0.5em 0.5em;
171 margin: 2em 0em 2em 0em;}
174 border: 1px solid #B2DBFF;
175 background-color: #F0F8FF;
176 padding: 0.5em 0.5em 0.5em 0.5em;
177 margin: 2em 0em 2em 0em;}
179 tt.prompt { color: #000080; }
180 tt.function { font-weight: bold; }
181 tt.userinput { font-weight: bold; }
183 .important .programlisting { font-family: "Courier New"; font-size: 1em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}
185 .important .screen { font-family: "Courier New"; font-size: 1em; border: 1px solid #999999; background-color: #EBEBEB; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}
187 .informalexample { font-family: "Courier New"; font-size: 0.8em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}
189 p.validator { text-align: right; }