nosync-quiet option added courtesy Robin Johnson (Gentoo project)
[gitolite-doc.git] / docs / css / gitolite.css
blob1d719be4dba27059e3e5d40c31b636f63fcaf23a
1 <style type="text/css">
2 <!--
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; }
17 .red { color: red }
18 .blue { color: blue }
19 .green { color: green }
20 .gray { color: gray }
21 .pink { color: pink }
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; }
37 .admonition {
38 padding: 15px;
39 margin-bottom: 20px;
40 border: 1px solid transparent;
41 border-radius: 4px;
42 text-align: left;
45 .admonition.note { /* csslint allow: adjoining-classes */
46 color: #3a87ad;
47 background-color: #d9edf7;
48 border-color: #bce8f1;
51 .admonition.warning { /* csslint allow: adjoining-classes */
52 color: #c09853;
53 background-color: #fcf8e3;
54 border-color: #fbeed5;
57 .admonition.danger { /* csslint allow: adjoining-classes */
58 color: #b94a48;
59 background-color: #f2dede;
60 border-color: #eed3d7;
63 .admonition-title {
64 font-weight: bold;
65 text-align: left;
68 /* get rid of that stupid grid in the default theme */
69 body {
70 background: none;
71 color: #222;
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 {
82 text-align: center;
83 font-size: 40px;
84 font-weight: 300;
87 code {
88 padding: 1px;
91 /* div.col-md-9 p:first-of-type { */
92 /* text-align: center; */
93 /* } */
95 -->
96 </style>