Update to new Red Hat brand.
[libguestfs-talks.git] / 2019-kvm-forum / style.css
1 /* Red Hat red is rgb(238,0,0). */
2
3 body {
4     background: url(redhat.png) no-repeat;
5     background-position: 98% 0;
6     /* font-size: 28pt; */ /* For max */
7     font-size: 20pt; /* For 1024x768 */
8     /* font-family: liberation, helvetica; */
9     font-family: helvetica;
10
11     /* Can be used to scale the whole document. */
12     /*transform: translate(-10%,-10%) scale(0.75,0.75);*/
13 }
14
15 body td, body th { /* why?? */
16     font-size: 24pt;
17     padding-bottom: 8px;
18 }
19
20 h1 {
21     color: rgb(238,0,0);
22     /*font-size: 48px;*/
23     font-size: 40px;
24     top: 8;
25     left: 0;
26     border-bottom: 2px solid rgb(238,0,0);
27 }
28
29 h2 {
30     color: rgb(238,0,0);
31     font-size: 32px;
32     font-style: italic;
33     border-bottom: 2px solid rgb(238,0,0);
34 }
35
36 b {
37     color: rgb(238,0,0);
38 }
39
40 /* Title page. */
41 div#titlepage {
42     margin-top: 100px;
43     width: 80%;
44     margin-left: 10%;
45 }
46
47 div#titlepage p.title {
48     color: rgb(238,0,0);
49     font-weight: bold;
50     font-size: 48px;
51     text-align: left;
52 }
53
54 div#titlepage p.author {
55     font-size: 36px;
56     text-align: left;
57 }
58
59 div#titlepage p.abstract {
60     font-size: 28px;
61     text-align: left;
62 }
63
64 /* Code */
65 pre.code {
66     margin-left: 1em;
67     background: #eee;
68 }
69
70 code {
71     color: rgb(238,0,0);
72 }
73
74 /* Bullet points */
75 li {
76     padding-bottom: 16px;
77 }
78
79 /* Plugins box. */
80 div.plugins {
81     background: #f8f8ff;
82     border: 1px solid rgb(238,0,0);
83     border-radius: 15px;
84     margin-left: auto;
85     margin-right: auto;
86     width: 800px;
87     height: 400px;
88     /* Position relative is needed so that items may be
89        positioned inside. */
90     position: relative;
91 }
92
93 div.plugins p#caption {
94     position: absolute;
95     bottom: -5px; right: 5px;
96     color: rgb(238,0,0);
97     text-align: right;
98     font-size: 16px;
99     font-weight: bold;
100 }
101
102 div.plugins ul {
103     position: absolute;
104     top: 10%;
105     width: 700px;
106     height: 380px;
107     column-count: 4;
108     list-style-type: none;
109     margin: 0;
110 }
111
112 div.plugins ul li {
113     padding: 0px;
114     margin: 5px;
115 }
116
117 div.plugins ul li.highlighted {
118     border: 1px solid rgb(238,0,0);
119     background: #fff;
120     padding-left: 10px;
121     color: rgb(238,0,0);
122     border-radius: 20px;
123     font-weight: bold;
124 }
125
126 /* Filters box. */
127 div.filters {
128     background: #f8fff8;
129     border: 1px solid rgb(238,0,0);
130     border-radius: 15px;
131     margin-left: auto;
132     margin-right: auto;
133     width: 800px;
134     height: 200px;
135     /* Position relative is needed so that items may be
136        positioned inside. */
137     position: relative;
138 }
139
140 div.filters p.filtercaption {
141     position: absolute;
142     bottom: -5px; right: 5px;
143     color: rgb(238,0,0);
144     text-align: right;
145     font-size: 16px;
146     font-weight: bold;
147 }
148
149 div.filters ul {
150     position: absolute;
151     top: 10%;
152     width: 700px;
153     height: 180px;
154     column-count: 4;
155     list-style-type: none;
156     margin: 0;
157 }
158
159 div.filters ul li {
160     padding: 0px;
161     margin: 5px;
162 }
163
164 div.filters ul li.highlighted {
165     border: 1px solid rgb(238,0,0);
166     background: #fff;
167     padding-left: 10px;
168     color: rgb(238,0,0);
169     border-radius: 20px;
170     font-weight: bold;
171 }
172
173 /* For images which must be centered on the page. */
174 div.allcenter {
175     display: flex;
176     justify-content: center;
177     align-items: center;
178     height: 50vw;
179 }
180
181 div.all-center img {
182 }
183
184 /* Outlined text. */
185 .outline {
186     text-shadow: 2px 2px 0 rgb(238,0,0),
187                  -2px 2px 0 rgb(238,0,0),
188                  2px -2px 0 rgb(238,0,0),
189                  -2px -2px 0 rgb(238,0,0),
190                  0px 2px 0 rgb(238,0,0),
191                  0px -2px 0 rgb(238,0,0),
192                  -2px 0px 0 rgb(238,0,0),
193                  2px 0px 0 rgb(238,0,0),
194                  4px 4px 0 rgb(238,0,0),
195                  -4px 4px 0 rgb(238,0,0),
196                  4px -4px 0 rgb(238,0,0),
197                  -4px -4px 0 rgb(238,0,0),
198
199                  0px 4px 0 rgb(238,0,0),
200                  0px -4px 0 rgb(238,0,0),
201                  -4px 0px 0 rgb(238,0,0),
202                  4px 0px 0 rgb(238,0,0),
203                  2px 4px 0 rgb(238,0,0),
204                  -2px 4px 0 rgb(238,0,0),
205                  2px -4px 0 rgb(238,0,0),
206                  -2px -4px 0 rgb(238,0,0),
207                  4px 2px 0 rgb(238,0,0),
208                  -4px 2px 0 rgb(238,0,0),
209                  4px -2px 0 rgb(238,0,0),
210                  -4px -2px 0 rgb(238,0,0),
211
212                  4px 4px 0 rgb(255,128,128),
213                  -4px 4px 0 rgb(255,128,128),
214                  4px -4px 0 rgb(255,128,128),
215                  -4px -4px 0 rgb(255,128,128),
216                  0px 4px 0 rgb(255,128,128),
217                  0px -4px 0 rgb(255,128,128),
218                  -4px 0px 0 rgb(255,128,128),
219                  4px 0px 0 rgb(255,128,128),
220                  8px 8px 0 rgb(255,128,128),
221                  -8px 8px 0 rgb(255,128,128),
222                  8px -8px 0 rgb(255,128,128),
223                  -8px -8px 0 rgb(255,128,128),
224
225                  0px 8px 0 rgb(255,128,128),
226                  0px -8px 0 rgb(255,128,128),
227                  -8px 0px 0 rgb(255,128,128),
228                  8px 0px 0 rgb(255,128,128),
229                  4px 8px 0 rgb(255,128,128),
230                  -4px 8px 0 rgb(255,128,128),
231                  4px -8px 0 rgb(255,128,128),
232                  -4px -8px 0 rgb(255,128,128),
233                  8px 4px 0 rgb(255,128,128),
234                  -8px 4px 0 rgb(255,128,128),
235                  8px -4px 0 rgb(255,128,128),
236                  -8px -4px 0 rgb(255,128,128);
237 }
238
239 /* Warning symbol. */
240 span.warning {
241     background-color: yellow;
242     font-weight: bold;
243 }