Source de acteurs.css
0: body {
1: background-color : #0066B3;
2: font-family : verdana,sans-serif;
3: font-size : 12pt;
4: color : #CCCCFF;
5: padding : 2em;
6: }
7:
8:
9: /* Le titre de la page résultat */
10:
11: h1 {
12: font-size : 25pt;
13: color : #66BEFF;
14: border-style : solid;
15: padding : 1em;
16: font-weight : bold;
17: font-style : italic;
18: text-align : center;
19: }
20:
21:
22:
23: /* Titres des différentes parties du document : langage, cours, etc. */
24:
25: h2 {
26: font-size : 20pt;
27: color : #E6F4FF;
28: font-weight : bold;
29: font-style : italic;
30: border-bottom-style : solid;
31: margin-top : 3em;
32: }
33:
34:
35: /* Titres des parties du cours */
36:
37: h3 {
38: font-size : 18pt;
39: color : #66BEFF;
40: font-weight : bolder;
41: font-style : italic;
42: }
43:
44:
45: /* Titres des chapitres du cours, elements du langage et noms des sites */
46:
47: h4 {
48: font-size : 15pt;
49: color : #80C9FF;
50: font-weight : bold;
51: }
52:
53:
54: /* Titres des sections du cours et attributs dans le langage */
55:
56: h5 {
57: font-size : 12pt;
58: color : #E6F4FF;
59: font-weight : bold;
60: margin-top : 1ex;
61: margin-bottom : 1ex;
62: }
63:
64:
65: /* Titres des sous-sections du cours et valeurs d'attributs dans le langage */
66:
67: h6 {
68: color : #003D6B;
69: font-size : 12pt;
70: font-weight : bold;
71: font-style : italic;
72: }
73:
74:
75:
76: div.presentation {
77:
78: color : #000000;
79: font-weight : bold;
80: background-color : inherit;
81:
82: font-size : 110%;
83:
84: text-align : justify;
85:
86: margin : 3em 6em 4em 4em;
87:
88: }
89:
90:
91:
92:
93:
94:
95: fieldset.sommaire {
96:
97: float : right;
98: margin : 0em 1em 1em 1em;
99: width : 30%;
100:
101: }
102:
103:
104: legend {
105:
106: font-weight : bold;
107: font-variant : small-caps;
108: font-size : 100%;
109:
110: color : #3333FF;
111: background-color : inherit;
112:
113: padding : 0em 1em 0em 1em;
114: margin : 0em;
115:
116: }
117:
118:
119:
120: strong {
121:
122: color : #CCFF66;
123: font-weight : bold;
124: }
125:
126:
127:
128: div.exemple {
129:
130: border-style : solid;
131: border-width : 1px;
132: border-color : #000000;
133:
134: color : inherit;
135: background-color : #FFFFCC;
136:
137: font-family : monospace;
138:
139: margin-left : 10%;
140: margin-right : 10%;
141: margin-bottom : 2em;
142:
143: padding : 1em;
144:
145: }
146:
147:
148: hr {
149: clear : right;
150: visibility : hidden;
151: }
152:
153: img {
154:
155: width : 200px;
156: margin-right : 10%;
157: float : right;
158:
159: }
160:
161:
162: a:link {
163: color : #000000;
164: background-color : inherit;
165: font-weight : bold;
166: }
167:
168: a:hover {
169: color : #3333FF;
170: background-color : #FFFF33;
171: font-weight : bold;
172: }
173:
174:
175: a:active {
176: color : #CC0033;
177: background-color : inherit;
178: font-weight : bold;
179: }
180:
181: a:visited {
182: font-weight : bold;
183: }
184:
185:
186: th {
187:
188: text-align : left;
189:
190: }