1 <style type
="text/css">
3 /* somehow the first class is being ignored... */
4 .dummy { color: #ff0000; }
5 .WarningMsg { color: #ff0000; font-weight: bold
; }
6 .Constant { color: #ffa0a0; }
7 .Statement { color: #ffff60; font-weight: bold
; }
8 .PreProc { color: #ff80ff; }
9 .LineNr { color: #ffff00; }
10 .Comment { color: #80a0ff; }
11 .Type { color: #60ff60; font-weight: bold
; }
12 .Special { color: #ffa500; }
13 .Identifier { color: #40ffff; }
14 .Error { color: #ffffff; background-color: #ff0000; padding-bottom: 1px; }
15 .Todo { color: #0000ff; background-color: #ffff00; padding-bottom: 1px; }
19 .green { color: green
}
23 .box { background-color:#e0e0e0 }
24 .bg-red { background-color:#ffe0e0 }
25 .bg-green { background-color:#e0ffe0 }
26 .bg-blue { background-color:#e0e0ff }
28 /* couldn't resist the name! */
29 .wd40 { width: 40% !important
}
31 .box-l { float: left
; padding: 0px 0.5em; background-color: #e0e0e0; width:25%; margin-right: 4px; }
32 .box-r { float: right
; padding: 0px 0.5em; background-color: #e0e0e0; width:25%; margin-left: 4px; }
34 .fl-l { float: left
; padding: 0px 0.5em; margin-right: 4px; }
35 .fl-r { float: right
; padding: 0px 0.5em; margin-left: 4px; }
40 border: 1px solid transparent
;
45 .admonition.note { /* csslint allow: adjoining-classes */
47 background-color: #d9edf7;
48 border-color: #bce8f1;
51 .admonition.warning { /* csslint allow: adjoining-classes */
53 background-color: #fcf8e3;
54 border-color: #fbeed5;
57 .admonition.danger { /* csslint allow: adjoining-classes */
59 background-color: #f2dede;
60 border-color: #eed3d7;
68 /* get rid of that stupid grid in the default theme */
74 h1
,.h1
{font-size:32px}
75 h2
,.h2
{font-size:24px}
76 h3
,.h3
{font-size:20px}
77 h4
,.h4
{font-size:16px}
78 h5
,.h5
{font-size:14px}
79 h6
,.h6
{font-size:12px}
81 div
.col-md-9
h1:first-of-type
{
91 /* div.col-md-9 p:first-of-type { */
92 /* text-align: center; */