Unidiff1 files changed, 3 insertions, 7 deletions
|
diff --git a/cgit.css b/cgit.css index d94b1b7..d2c0d0b 100644 --- a/ cgit.css+++ b/ cgit.css |
|
@@ -10,62 +10,58 @@ body { |
10 | h2 { |
10 | h2 { |
11 | font-size: 120%; |
11 | font-size: 120%; |
12 | font-weight: bold; |
12 | font-weight: bold; |
13 | margin-bottom: 0.5em; |
13 | margin-bottom: 0.5em; |
14 | } |
14 | } |
15 | |
15 | |
16 | a { |
16 | a { |
17 | color: blue; |
17 | color: blue; |
18 | text-decoration: none; |
18 | text-decoration: none; |
19 | } |
19 | } |
20 | |
20 | |
21 | a:hover { |
21 | a:hover { |
22 | text-decoration: underline; |
22 | text-decoration: underline; |
23 | } |
23 | } |
24 | |
24 | |
25 | table.list { |
25 | table.list { |
26 | border: solid 1px black; |
26 | border: none; |
27 | border-collapse: collapse; |
27 | border-collapse: collapse; |
28 | border: solid 1px #aaa; |
| |
29 | } |
28 | } |
30 | table.list tr { |
29 | table.list tr { |
31 | background: white; |
30 | background: white; |
32 | } |
31 | } |
33 | table.list tr:hover { |
32 | table.list tr:hover { |
34 | background: #eeb; |
33 | background: #eee; |
35 | } |
34 | } |
36 | table.list tr.nohover:hover { |
35 | table.list tr.nohover:hover { |
37 | background: white; |
36 | background: white; |
38 | } |
37 | } |
39 | table.list th { |
38 | table.list th { |
40 | font-weight: normal; |
39 | font-weight: normal; |
41 | background: #ddd; |
40 | border-bottom: solid 1px #777; |
42 | border-top: solid 1px #aaa; |
| |
43 | border-bottom: solid 1px #aaa; |
| |
44 | padding: 0.1em 0.5em 0.1em 0.5em; |
41 | padding: 0.1em 0.5em 0.1em 0.5em; |
45 | vertical-align: baseline; |
42 | vertical-align: baseline; |
46 | } |
43 | } |
47 | table.list td { |
44 | table.list td { |
48 | border: none; |
45 | border: none; |
49 | padding: 0.1em 0.5em 0.1em 0.5em; |
46 | padding: 0.1em 0.5em 0.1em 0.5em; |
50 | } |
47 | } |
51 | img { |
48 | img { |
52 | border: none; |
49 | border: none; |
53 | } |
50 | } |
54 | |
51 | |
55 | |
| |
56 | div#header { |
52 | div#header { |
57 | background-color: #ddd; |
53 | background-color: #ddd; |
58 | padding: 0.25em 0.25em 0.25em 0.5em; |
54 | padding: 0.25em 0.25em 0.25em 0.5em; |
59 | font-size: 150%; |
55 | font-size: 150%; |
60 | font-weight: bold; |
56 | font-weight: bold; |
61 | border: solid 1px #aaa; |
57 | border: solid 1px #aaa; |
62 | vertical-align: middle; |
58 | vertical-align: middle; |
63 | margin-bottom: 2em; |
59 | margin-bottom: 2em; |
64 | } |
60 | } |
65 | div#header img#logo { |
61 | div#header img#logo { |
66 | float: right; |
62 | float: right; |
67 | } |
63 | } |
68 | |
64 | |
69 | div#header input { |
65 | div#header input { |
70 | float: right; |
66 | float: right; |
71 | margin: 0.25em 1em; |
67 | margin: 0.25em 1em; |
|