Mercurial > kallithea

annotate pylons_app/public/css/style-monoblue_custom.css @ 98:01d0f363f36d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added pygments webhelper
author Marcin Kuzminski <marcin@python-works.com>
date Sun, 25 Apr 2010 01:18:38 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
98
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
1 /*** Initial Settings ***/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
2 * {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
3 margin: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
4 padding: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
5 font-weight: normal;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
6 font-style: normal;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
7 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
8
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
9 html {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
10 font-size: 100%;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
11 font-family: sans-serif;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
12 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
13
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
14 body {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
15 font-size: 77%;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
16 margin: 15px 50px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
17 background: #4B4B4C;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
18 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
19
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
20 a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
21 color:#0000cc;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
22 text-decoration: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
23 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
24 /*** end of Initial Settings ***/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
25
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
26
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
27 /** common settings **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
28 div#container {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
29 background: #FFFFFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
30 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
31 color: #666;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
32 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
33
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
34 div.page-header {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
35 padding: 50px 20px 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
36 background: #006699 top left repeat-x;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
37 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
38 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
39 div.page-header h1 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
40 margin: 10px 0 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
41 font-size: 1.8em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
42 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
43 font-family: osaka,'MS P Gothic', Georgia, serif;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
44 letter-spacing: 1px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
45 color: #DDD;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
46 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
47 div.page-header h1 a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
48 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
49 color: #FFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
50 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
51 div.page-header a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
52 text-decoration: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
53 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
54
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
55 div.page-header form {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
56 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
57 margin-bottom: 2px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
58 bottom: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
59 right: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
60 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
61 div.page-header form label {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
62 color: #DDD;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
63 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
64 div.page-header form input {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
65 padding: 2px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
66 border: solid 1px #DDD;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
67 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
68 div.page-header form dl {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
69 overflow: hidden;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
70 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
71 div.page-header form dl dt {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
72 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
73 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
74 div.page-header form dl dt,
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
75 div.page-header form dl dd {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
76 margin: 0 0 0 5px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
77 float: left;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
78 height: 24px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
79 line-height: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
80 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
81
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
82 ul.page-nav {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
83 margin: 10px 0 0 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
84 list-style-type: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
85 overflow: hidden;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
86 width: 800px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
87 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
88 ul.page-nav li {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
89 margin: 0 2px 0 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
90 float: left;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
91 width: 80px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
92 height: 24px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
93 font-size: 1.1em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
94 line-height: 24px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
95 text-align: center;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
96 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
97 ul.page-nav li.current {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
98 background: #FFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
99 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
100 ul.page-nav li a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
101 height: 24px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
102 color: #666;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
103 background: #DDD;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
104 display: block;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
105 text-decoration: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
106 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
107 ul.page-nav li a:hover {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
108 color:#333;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
109 background: #FFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
110 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
111
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
112 ul.submenu {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
113 margin: 10px 0 -10px 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
114 list-style-type: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
115 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
116 ul.submenu li {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
117 margin: 0 10px 0 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
118 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
119 display: inline;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
120 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
121
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
122 h2 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
123 margin: 20px 0 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
124 height: 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
125 line-height: 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
126 text-indent: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
127 background: #FFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
128 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
129 border-top: dotted 1px #D5E1E6;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
130 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
131 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
132 h2.no-link {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
133 color:#006699;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
134 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
135 h2.no-border {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
136 color: #FFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
137 background: #006699;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
138 border: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
139 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
140 h2 a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
141 font-weight:bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
142 color:#006699;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
143 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
144
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
145 div.page-path {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
146 text-align: right;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
147 padding: 20px 30px 10px 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
148 border:solid #d9d8d1;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
149 border-width:0px 0px 1px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
150 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
151 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
152
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
153 div.page-footer {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
154 margin: 50px 0 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
155 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
156 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
157 div.page-footer p {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
158 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
159 left: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
160 bottom: 5px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
161 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
162 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
163
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
164 ul.rss-logo {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
165 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
166 top: -10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
167 right: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
168 height: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
169 list-style-type: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
170 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
171 ul.rss-logo li {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
172 display: inline;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
173 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
174 ul.rss-logo li a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
175 padding: 3px 6px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
176 line-height: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
177 border:1px solid;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
178 border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
179 color:#ffffff;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
180 background-color:#ff6600;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
181 font-weight:bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
182 font-family:sans-serif;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
183 font-size:10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
184 text-align:center;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
185 text-decoration:none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
186 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
187 div.rss-logo li a:hover {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
188 background-color:#ee5500;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
189 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
190
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
191 p.normal {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
192 margin: 20px 0 20px 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
193 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
194 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
195
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
196 table {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
197 margin: 10px 0 0 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
198 width: 95%;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
199 border-collapse: collapse;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
200 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
201 table tr td {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
202 font-size: 1.1em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
203 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
204 table tr td.nowrap {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
205 white-space: nowrap;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
206 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
207 /*
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
208 table tr.parity0:hover,
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
209 table tr.parity1:hover {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
210 background: #D5E1E6;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
211 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
212 */
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
213 table tr.parity0 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
214 background: #F1F6F7;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
215 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
216 table tr.parity1 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
217 background: #FFFFFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
218 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
219 table tr td {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
220 padding: 5px 5px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
221 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
222 table.annotated tr td {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
223 padding: 0px 5px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
224 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
225
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
226 span.logtags span {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
227 padding: 2px 6px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
228 font-weight: normal;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
229 font-size: 11px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
230 border: 1px solid;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
231 background-color: #ffaaff;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
232 border-color: #ffccff #ff00ee #ff00ee #ffccff;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
233 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
234 span.logtags span.tagtag {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
235 background-color: #ffffaa;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
236 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
237 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
238 span.logtags span.branchtag {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
239 background-color: #aaffaa;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
240 border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
241 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
242 span.logtags span.inbranchtag {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
243 background-color: #d5dde6;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
244 border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
245 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
246
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
247 div.diff pre {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
248 margin: 10px 0 0 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
249 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
250 div.diff pre span {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
251 font-family: monospace;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
252 white-space: pre;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
253 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
254 padding: 3px 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
255 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
256 td.source {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
257 white-space: pre;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
258 font-family: monospace;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
259 margin: 10px 30px 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
260 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
261 font-family: monospace;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
262 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
263 div.source div.parity0,
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
264 div.source div.parity1 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
265 padding: 1px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
266 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
267 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
268 div.source div.parity0 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
269 background: #F1F6F7;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
270 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
271 div.source div.parity1 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
272 background: #FFFFFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
273 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
274 div.parity0:hover,
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
275 div.parity1:hover {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
276 background: #D5E1E6;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
277 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
278 .linenr {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
279 color: #999;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
280 text-align: right;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
281 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
282 .lineno {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
283 text-align: right;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
284 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
285 .lineno a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
286 color: #999;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
287 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
288 td.linenr {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
289 width: 60px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
290 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
291
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
292 div#powered-by {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
293 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
294 width: 75px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
295 top: 15px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
296 right: 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
297 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
298 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
299 div#powered-by a {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
300 color: #EEE;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
301 text-decoration: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
302 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
303 div#powered-by a:hover {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
304 text-decoration: underline;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
305 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
306 /*
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
307 div#monoblue-corner-top-left {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
308 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
309 top: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
310 left: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
311 width: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
312 height: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
313 background: url(./monoblue-corner.png) top left no-repeat !important;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
314 background: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
315 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
316 div#monoblue-corner-top-right {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
317 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
318 top: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
319 right: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
320 width: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
321 height: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
322 background: url(./monoblue-corner.png) top right no-repeat !important;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
323 background: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
324 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
325 div#monoblue-corner-bottom-left {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
326 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
327 bottom: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
328 left: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
329 width: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
330 height: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
331 background: url(./monoblue-corner.png) bottom left no-repeat !important;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
332 background: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
333 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
334 div#monoblue-corner-bottom-right {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
335 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
336 bottom: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
337 right: 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
338 width: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
339 height: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
340 background: url(./monoblue-corner.png) bottom right no-repeat !important;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
341 background: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
342 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
343 */
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
344 /** end of common settings **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
345
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
346 /** summary **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
347 dl.overview {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
348 margin: 0 0 0 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
349 font-size: 1.1em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
350 overflow: hidden;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
351 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
352 dl.overview dt,
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
353 dl.overview dd {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
354 margin: 5px 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
355 float: left;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
356 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
357 dl.overview dt {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
358 clear: left;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
359 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
360 width: 150px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
361 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
362 /** end of summary **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
363
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
364 /** chagelog **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
365 h3.changelog {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
366 margin: 20px 0 5px 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
367 padding: 0 0 2px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
368 font-size: 1.4em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
369 border-bottom: dotted 1px #D5E1E6;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
370 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
371 ul.changelog-entry {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
372 margin: 0 0 10px 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
373 list-style-type: none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
374 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
375 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
376 ul.changelog-entry li span.revdate {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
377 font-size: 1.1em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
378 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
379 ul.changelog-entry li.age {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
380 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
381 top: -25px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
382 right: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
383 font-size: 1.4em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
384 color: #CCC;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
385 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
386 font-style: italic;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
387 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
388 ul.changelog-entry li span.name {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
389 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
390 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
391 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
392 ul.changelog-entry li.description {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
393 margin: 10px 0 0;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
394 font-size: 1.1em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
395 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
396 /** end of changelog **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
397
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
398 /** file **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
399 p.files {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
400 margin: 0 0 0 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
401 font-size: 2.0em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
402 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
403 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
404 /** end of file **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
405
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
406 /** changeset **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
407 h3.changeset {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
408 margin: 20px 0 5px 20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
409 padding: 0 0 2px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
410 font-size: 1.6em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
411 border-bottom: dotted 1px #D5E1E6;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
412 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
413 p.changeset-age {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
414 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
415 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
416 p.changeset-age span {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
417 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
418 top: -25px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
419 right: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
420 font-size: 1.4em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
421 color: #CCC;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
422 font-weight: bold;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
423 font-style: italic;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
424 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
425 p.description {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
426 margin: 10px 30px 0 30px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
427 padding: 10px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
428 border: solid 1px #CCC;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
429 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
430 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
431 /** end of changeset **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
432
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
433 /** canvas **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
434 div#wrapper {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
435 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
436 font-size: 1.2em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
437 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
438
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
439 canvas {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
440 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
441 z-index: 5;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
442 top: -0.7em;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
443 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
444
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
445 ul#nodebgs li.parity0 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
446 background: #F1F6F7;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
447 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
448
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
449 ul#nodebgs li.parity1 {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
450 background: #FFFFFF;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
451 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
452
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
453 ul#graphnodes {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
454 position: absolute;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
455 z-index: 10;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
456 top: 7px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
457 list-style: none inside none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
458 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
459
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
460 ul#nodebgs {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
461 list-style: none inside none;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
462 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
463
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
464 ul#graphnodes li, ul#nodebgs li {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
465 height: 39px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
466 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
467
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
468 ul#graphnodes li .info {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
469 display: block;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
470 position: relative;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
471 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
472 /** end of canvas **/
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
473
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
474 .browser-file {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
475 background-image:url("/images/file.png");
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
476 background-repeat:no-repeat;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
477 display:block;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
478 height:16px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
479 padding-left:20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
480 padding-top:5px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
481 text-align:left;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
482 }
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
483 .browser-dir {
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
484 background-image:url("/images/folder.png");
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
485 background-repeat:no-repeat;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
486 display:block;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
487 height:16px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
488 padding-left:20px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
489 padding-top:5px;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
490 text-align:left;
01d0f363f36d added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff changeset
491 }