Mercurial > kallithea
annotate rhodecode/public/css/codemirror.css @ 1538:27be8f94c207 beta
implements #226 repo groups available by path
fixes #259 Groups with the same name but with different parent group
author | Marcin Kuzminski <marcin@python-works.com> |
---|---|
date | Mon, 10 Oct 2011 02:09:52 +0200 |
parents | 269905fac50a |
children | 968c84475f73 |
rev | line source |
---|---|
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
1 .CodeMirror { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
2 overflow: auto; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
3 height: 450px; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
4 line-height: 1em; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
5 font-family: monospace; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
6 _position: relative; /* IE6 hack */ |
1485
269905fac50a
added uploading of files from web interface directly into repo
Marcin Kuzminski <marcin@python-works.com>
parents:
1305
diff
changeset
|
7 margin:20px; |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
8 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
9 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
10 .CodeMirror-gutter { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
11 position: absolute; left: 0; top: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
12 background-color: #f7f7f7; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
13 border-right: 1px solid #eee; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
14 min-width: 2em; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
15 height: 100%; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
16 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
17 .CodeMirror-gutter-text { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
18 color: #aaa; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
19 text-align: right; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
20 padding: .4em .2em .4em .4em; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
21 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
22 .CodeMirror-lines { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
23 padding: .4em; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
24 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
25 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
26 .CodeMirror pre { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
27 -moz-border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
28 -webkit-border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
29 -o-border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
30 border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
31 border-width: 0; margin: 0; padding: 0; background: transparent; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
32 font-family: inherit; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
33 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
34 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
35 .CodeMirror-cursor { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
36 z-index: 10; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
37 position: absolute; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
38 visibility: hidden; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
39 border-left: 1px solid black !important; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
40 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
41 .CodeMirror-focused .CodeMirror-cursor { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
42 visibility: visible; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
43 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
44 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
45 span.CodeMirror-selected { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
46 background: #ccc !important; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
47 color: HighlightText !important; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
48 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
49 .CodeMirror-focused span.CodeMirror-selected { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
50 background: Highlight !important; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
51 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
52 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
53 .CodeMirror-matchingbracket {color: #0f0 !important;} |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
54 .CodeMirror-nonmatchingbracket {color: #f22 !important;} |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
55 .CodeMirror-gutter-text{color: #003367 !important;} |