Fossil SCM

Merge in the latest Xekri changes.

drh 2015-03-25 23:02 trunk merge
Commit 196e0fd99a8e7ba1dad0ed1a0828e1741807690c
Parent a00cdb182c1f7be…
2 files changed +58 -6 +4 -4
~ skins/xekri/css.txt ~ skins/xekri/header.txt
M skins/xekri/css.txt
+58 -6
--- skins/xekri/css.txt
+++ skins/xekri/css.txt
@@ -1,7 +1,13 @@
1
-/**************************************
1
+/******************************************************************************
22
 * Xekri
3
+ *
4
+ * To adjust the width of the contents for this skin, look for the "max-width"
5
+ * property and change its value. (It's in the "Main Area" section) The value
6
+ * determines how much of the browser window to use. Some like 100%, so that
7
+ * the entire window is used. Others prefer 80%, which makes the contents
8
+ * easier to read for them.
39
 */
410
511
612
 /**************************************
713
 * General HTML
@@ -16,10 +22,13 @@
1622
 }
1723
1824
 body {
1925
 margin: 0;
2026
 padding: 0;
27
+ -moz-text-size-adjust: none;
28
+ -ms-text-size-adjust: none;
29
+ -webkit-text-size-adjust: none;
2130
 }
2231
2332
 a {
2433
 color: #07e;
2534
 }
@@ -58,19 +67,24 @@
5867
 }
5968
6069
 span[style^=background-color] {
6170
 color: #000;
6271
 }
72
+
73
+td[style^=background-color] {
74
+ color: #000;
75
+}
76
+
6377
6478
 /**************************************
6579
 * Main Area
6680
 */
6781
6882
 div.header, div.mainmenu, div.submenu, div.content, div.footer {
6983
 clear: both;
7084
 margin: 0 auto;
71
- max-width: 80%;
85
+ max-width: 90%;
7286
 padding: 0.25rem 1rem;
7387
 }
7488
7589
7690
 /**************************************
@@ -134,34 +148,46 @@
134148
 font-size: 1.1rem;
135149
 text-align: center;
136150
 }
137151
138152
 div.mainmenu {
153
+ padding-top: 0.33rem;
139154
 padding-bottom: 0.25rem;
140155
 }
141156
142157
 div.submenu {
143158
 border-top: 1px solid #0a0;
144159
 border-radius: 0;
145
- display: flex;
146
- justify-content: space-around;
160
+ display: block;
147161
 }
148162
149163
 div.mainmenu a, div.submenu a {
150164
 color: #000;
151165
 padding: 0 0.75rem;
152166
 text-decoration: none;
153
- vertical-align: middle;
154167
 }
155168
156169
 div.mainmenu a:hover, div.submenu a:hover {
157170
 color: #fff;
158171
 text-shadow: 0px 0px 6px #0f0;
159172
 }
173
+
174
+div.submenu * {
175
+ margin: 0 0.5rem;
176
+ vertical-align: middle;
177
+}
178
+
179
+div.submenu select, div.submenu input {
180
+ background-color: #222;
181
+ border: 1px inset #080;
182
+ color: #eee;
183
+ cursor: pointer;
184
+ font-size: 0.9rem;
185
+}
160186
161187
 div.submenu select {
162
- background-color: #090;
188
+ height: 1.75rem;
163189
 }
164190
165191
 /**************************************
166192
 * Main Area: Content
167193
 */
@@ -338,10 +364,19 @@
338364
339365
 ul.browser li.dir {
340366
 font-style: italic
341367
 }
342368
369
+
370
+/**************************************
371
+ * File List : Age
372
+ */
373
+
374
+.fileage tr:hover td {
375
+ background-color: #225;
376
+}
377
+
343378
344379
 /**************************************
345380
 * File List : Tree
346381
 */
347382
@@ -416,10 +451,18 @@
416451
 .filetree .dir > a {
417452
 background-image: url(data:image/gif;base64,R0lGODlhEAAQAJEAAP/WVCIiIv\/\/\/wAAACH5BAEHAAIALAAAAAAQABAAAAInlI9pwa3XYniCgQtkrAFfLXkiFo1jaXpo+jUs6b5Z/K4siDu5RPUFADs=);
418453
 font-style: italic
419454
 }
420455
456
+.filetreeline:hover {
457
+ color: #000;
458
+ font-weight: bold;
459
+}
460
+
461
+.filetreeline .filetreeage {
462
+ padding-right: 0.5rem;
463
+}
421464
422465
 /**************************************
423466
 * Logout
424467
 */
425468
@@ -483,10 +526,19 @@
483526
484527
 .statistics-report-week-of-year-list {
485528
 font-size: 0.8rem;
486529
 }
487530
531
+
532
+/**************************************
533
+ * Search
534
+ */
535
+
536
+.searchResult .snippet mark {
537
+ color: #ee0;
538
+}
539
+
488540
489541
 /**************************************
490542
 * Sections
491543
 */
492544
493545
--- skins/xekri/css.txt
+++ skins/xekri/css.txt
@@ -1,7 +1,13 @@
1 /**************************************
2 * Xekri
 
 
 
 
 
 
3 */
4
5
6 /**************************************
7 * General HTML
@@ -16,10 +22,13 @@
16 }
17
18 body {
19 margin: 0;
20 padding: 0;
 
 
 
21 }
22
23 a {
24 color: #07e;
25 }
@@ -58,19 +67,24 @@
58 }
59
60 span[style^=background-color] {
61 color: #000;
62 }
 
 
 
 
 
63
64 /**************************************
65 * Main Area
66 */
67
68 div.header, div.mainmenu, div.submenu, div.content, div.footer {
69 clear: both;
70 margin: 0 auto;
71 max-width: 80%;
72 padding: 0.25rem 1rem;
73 }
74
75
76 /**************************************
@@ -134,34 +148,46 @@
134 font-size: 1.1rem;
135 text-align: center;
136 }
137
138 div.mainmenu {
 
139 padding-bottom: 0.25rem;
140 }
141
142 div.submenu {
143 border-top: 1px solid #0a0;
144 border-radius: 0;
145 display: flex;
146 justify-content: space-around;
147 }
148
149 div.mainmenu a, div.submenu a {
150 color: #000;
151 padding: 0 0.75rem;
152 text-decoration: none;
153 vertical-align: middle;
154 }
155
156 div.mainmenu a:hover, div.submenu a:hover {
157 color: #fff;
158 text-shadow: 0px 0px 6px #0f0;
159 }
 
 
 
 
 
 
 
 
 
 
 
 
 
160
161 div.submenu select {
162 background-color: #090;
163 }
164
165 /**************************************
166 * Main Area: Content
167 */
@@ -338,10 +364,19 @@
338
339 ul.browser li.dir {
340 font-style: italic
341 }
342
 
 
 
 
 
 
 
 
 
343
344 /**************************************
345 * File List : Tree
346 */
347
@@ -416,10 +451,18 @@
416 .filetree .dir > a {
417 background-image: url(data:image/gif;base64,R0lGODlhEAAQAJEAAP/WVCIiIv\/\/\/wAAACH5BAEHAAIALAAAAAAQABAAAAInlI9pwa3XYniCgQtkrAFfLXkiFo1jaXpo+jUs6b5Z/K4siDu5RPUFADs=);
418 font-style: italic
419 }
420
 
 
 
 
 
 
 
 
421
422 /**************************************
423 * Logout
424 */
425
@@ -483,10 +526,19 @@
483
484 .statistics-report-week-of-year-list {
485 font-size: 0.8rem;
486 }
487
 
 
 
 
 
 
 
 
 
488
489 /**************************************
490 * Sections
491 */
492
493
--- skins/xekri/css.txt
+++ skins/xekri/css.txt
@@ -1,7 +1,13 @@
1 /******************************************************************************
2 * Xekri
3 *
4 * To adjust the width of the contents for this skin, look for the "max-width"
5 * property and change its value. (It's in the "Main Area" section) The value
6 * determines how much of the browser window to use. Some like 100%, so that
7 * the entire window is used. Others prefer 80%, which makes the contents
8 * easier to read for them.
9 */
10
11
12 /**************************************
13 * General HTML
@@ -16,10 +22,13 @@
22 }
23
24 body {
25 margin: 0;
26 padding: 0;
27 -moz-text-size-adjust: none;
28 -ms-text-size-adjust: none;
29 -webkit-text-size-adjust: none;
30 }
31
32 a {
33 color: #07e;
34 }
@@ -58,19 +67,24 @@
67 }
68
69 span[style^=background-color] {
70 color: #000;
71 }
72
73 td[style^=background-color] {
74 color: #000;
75 }
76
77
78 /**************************************
79 * Main Area
80 */
81
82 div.header, div.mainmenu, div.submenu, div.content, div.footer {
83 clear: both;
84 margin: 0 auto;
85 max-width: 90%;
86 padding: 0.25rem 1rem;
87 }
88
89
90 /**************************************
@@ -134,34 +148,46 @@
148 font-size: 1.1rem;
149 text-align: center;
150 }
151
152 div.mainmenu {
153 padding-top: 0.33rem;
154 padding-bottom: 0.25rem;
155 }
156
157 div.submenu {
158 border-top: 1px solid #0a0;
159 border-radius: 0;
160 display: block;
 
161 }
162
163 div.mainmenu a, div.submenu a {
164 color: #000;
165 padding: 0 0.75rem;
166 text-decoration: none;
 
167 }
168
169 div.mainmenu a:hover, div.submenu a:hover {
170 color: #fff;
171 text-shadow: 0px 0px 6px #0f0;
172 }
173
174 div.submenu * {
175 margin: 0 0.5rem;
176 vertical-align: middle;
177 }
178
179 div.submenu select, div.submenu input {
180 background-color: #222;
181 border: 1px inset #080;
182 color: #eee;
183 cursor: pointer;
184 font-size: 0.9rem;
185 }
186
187 div.submenu select {
188 height: 1.75rem;
189 }
190
191 /**************************************
192 * Main Area: Content
193 */
@@ -338,10 +364,19 @@
364
365 ul.browser li.dir {
366 font-style: italic
367 }
368
369
370 /**************************************
371 * File List : Age
372 */
373
374 .fileage tr:hover td {
375 background-color: #225;
376 }
377
378
379 /**************************************
380 * File List : Tree
381 */
382
@@ -416,10 +451,18 @@
451 .filetree .dir > a {
452 background-image: url(data:image/gif;base64,R0lGODlhEAAQAJEAAP/WVCIiIv\/\/\/wAAACH5BAEHAAIALAAAAAAQABAAAAInlI9pwa3XYniCgQtkrAFfLXkiFo1jaXpo+jUs6b5Z/K4siDu5RPUFADs=);
453 font-style: italic
454 }
455
456 .filetreeline:hover {
457 color: #000;
458 font-weight: bold;
459 }
460
461 .filetreeline .filetreeage {
462 padding-right: 0.5rem;
463 }
464
465 /**************************************
466 * Logout
467 */
468
@@ -483,10 +526,19 @@
526
527 .statistics-report-week-of-year-list {
528 font-size: 0.8rem;
529 }
530
531
532 /**************************************
533 * Search
534 */
535
536 .searchResult .snippet mark {
537 color: #ee0;
538 }
539
540
541 /**************************************
542 * Sections
543 */
544
545
M skins/xekri/header.txt
+4 -4
--- skins/xekri/header.txt
+++ skins/xekri/header.txt
@@ -114,21 +114,21 @@
114114
 }
115115
 menulink $index_page Home
116116
 if {[anycap jor]} {
117117
 menulink /timeline Timeline
118118
 }
119
-if {[hascap oh]} {
119
+if {[anoncap oh]} {
120120
 menulink /dir?ci=tip Files
121121
 }
122
-if {[hascap o]} {
122
+if {[anoncap o]} {
123123
 menulink /brlist Branches
124124
 menulink /taglist Tags
125125
 }
126
-if {[hascap r]} {
126
+if {[anoncap r]} {
127127
 menulink /ticket Tickets
128128
 }
129
-if {[hascap j]} {
129
+if {[anoncap j]} {
130130
 menulink /wiki Wiki
131131
 }
132132
 if {[hascap s]} {
133133
 menulink /setup Admin
134134
 } elseif {[hascap a]} {
135135
--- skins/xekri/header.txt
+++ skins/xekri/header.txt
@@ -114,21 +114,21 @@
114 }
115 menulink $index_page Home
116 if {[anycap jor]} {
117 menulink /timeline Timeline
118 }
119 if {[hascap oh]} {
120 menulink /dir?ci=tip Files
121 }
122 if {[hascap o]} {
123 menulink /brlist Branches
124 menulink /taglist Tags
125 }
126 if {[hascap r]} {
127 menulink /ticket Tickets
128 }
129 if {[hascap j]} {
130 menulink /wiki Wiki
131 }
132 if {[hascap s]} {
133 menulink /setup Admin
134 } elseif {[hascap a]} {
135
--- skins/xekri/header.txt
+++ skins/xekri/header.txt
@@ -114,21 +114,21 @@
114 }
115 menulink $index_page Home
116 if {[anycap jor]} {
117 menulink /timeline Timeline
118 }
119 if {[anoncap oh]} {
120 menulink /dir?ci=tip Files
121 }
122 if {[anoncap o]} {
123 menulink /brlist Branches
124 menulink /taglist Tags
125 }
126 if {[anoncap r]} {
127 menulink /ticket Tickets
128 }
129 if {[anoncap j]} {
130 menulink /wiki Wiki
131 }
132 if {[hascap s]} {
133 menulink /setup Admin
134 } elseif {[hascap a]} {
135

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button