Fossil SCM

Refinements to built-in skins to try to get them all working reasonably on mobile.

drh 2021-02-11 14:57 trunk
Commit 0a7a86c42862615a57a63775947a2fb276a29c241576a8afecf9d6e950862c1c
--- skins/bootstrap/header.txt
+++ skins/bootstrap/header.txt
@@ -55,11 +55,11 @@
5555
if {[string match /* $url]} {set url $home$url}
5656
if {[string match *sitemap* $url]} {set sitemap 1}
5757
html "<a href='$url'>$name</a></li>\n"
5858
}
5959
if {!$sitemap} {
60
- html "<li><a href='$home/sitemap'>More...</a>\n"
60
+ html "<li><a href='$home/sitemap'>...</a>\n"
6161
}
6262
</th1></ul>
6363
</div><!--/.nav-collapse -->
6464
</div>
6565
</div>
6666
--- skins/bootstrap/header.txt
+++ skins/bootstrap/header.txt
@@ -55,11 +55,11 @@
55 if {[string match /* $url]} {set url $home$url}
56 if {[string match *sitemap* $url]} {set sitemap 1}
57 html "<a href='$url'>$name</a></li>\n"
58 }
59 if {!$sitemap} {
60 html "<li><a href='$home/sitemap'>More...</a>\n"
61 }
62 </th1></ul>
63 </div><!--/.nav-collapse -->
64 </div>
65 </div>
66
--- skins/bootstrap/header.txt
+++ skins/bootstrap/header.txt
@@ -55,11 +55,11 @@
55 if {[string match /* $url]} {set url $home$url}
56 if {[string match *sitemap* $url]} {set sitemap 1}
57 html "<a href='$url'>$name</a></li>\n"
58 }
59 if {!$sitemap} {
60 html "<li><a href='$home/sitemap'>...</a>\n"
61 }
62 </th1></ul>
63 </div><!--/.nav-collapse -->
64 </div>
65 </div>
66
--- skins/darkmode/css.txt
+++ skins/darkmode/css.txt
@@ -23,11 +23,10 @@
2323
text-align: right;
2424
vertical-align: bottom;
2525
color: #ddddddc9;
2626
font-size: 0.8em;
2727
font-weight: bold;
28
- min-width: 10em;
2928
white-space: nowrap;
3029
}
3130
/* The leftoftitle is a <div> to the left of the title <div>
3231
** that contains the same text as the status div. But we want
3332
** the area to show as blank. The purpose is to cause the
3433
--- skins/darkmode/css.txt
+++ skins/darkmode/css.txt
@@ -23,11 +23,10 @@
23 text-align: right;
24 vertical-align: bottom;
25 color: #ddddddc9;
26 font-size: 0.8em;
27 font-weight: bold;
28 min-width: 10em;
29 white-space: nowrap;
30 }
31 /* The leftoftitle is a <div> to the left of the title <div>
32 ** that contains the same text as the status div. But we want
33 ** the area to show as blank. The purpose is to cause the
34
--- skins/darkmode/css.txt
+++ skins/darkmode/css.txt
@@ -23,11 +23,10 @@
23 text-align: right;
24 vertical-align: bottom;
25 color: #ddddddc9;
26 font-size: 0.8em;
27 font-weight: bold;
 
28 white-space: nowrap;
29 }
30 /* The leftoftitle is a <div> to the left of the title <div>
31 ** that contains the same text as the status div. But we want
32 ** the area to show as blank. The purpose is to cause the
33
--- skins/eagle/css.txt
+++ skins/eagle/css.txt
@@ -3,24 +3,21 @@
33
margin: 0ex 1ex;
44
padding: 0px;
55
background-color: #485D7B;
66
font-family: sans-serif;
77
color: white;
8
- -moz-text-size-adjust: none;
9
- -webkit-text-size-adjust: none;
10
- -mx-text-size-adjust: none;
118
}
129
1310
/* The project logo in the upper left-hand corner of each page */
1411
div.logo {
1512
display: table-cell;
1613
text-align: center;
1714
vertical-align: bottom;
1815
font-weight: bold;
1916
color: white;
17
+ min-width: 50px;
2018
padding: 5 0 5 0em;
21
- min-width: 200px;
2219
white-space: nowrap;
2320
}
2421
2522
/* The page title centered at the top of each page */
2623
div.title {
@@ -40,11 +37,10 @@
4037
text-align: right;
4138
vertical-align: bottom;
4239
color: white;
4340
font-size: 0.8em;
4441
font-weight: bold;
45
- min-width: 200px;
4642
white-space: nowrap;
4743
}
4844
4945
/* The header across the top of the page */
5046
div.header {
5147
--- skins/eagle/css.txt
+++ skins/eagle/css.txt
@@ -3,24 +3,21 @@
3 margin: 0ex 1ex;
4 padding: 0px;
5 background-color: #485D7B;
6 font-family: sans-serif;
7 color: white;
8 -moz-text-size-adjust: none;
9 -webkit-text-size-adjust: none;
10 -mx-text-size-adjust: none;
11 }
12
13 /* The project logo in the upper left-hand corner of each page */
14 div.logo {
15 display: table-cell;
16 text-align: center;
17 vertical-align: bottom;
18 font-weight: bold;
19 color: white;
 
20 padding: 5 0 5 0em;
21 min-width: 200px;
22 white-space: nowrap;
23 }
24
25 /* The page title centered at the top of each page */
26 div.title {
@@ -40,11 +37,10 @@
40 text-align: right;
41 vertical-align: bottom;
42 color: white;
43 font-size: 0.8em;
44 font-weight: bold;
45 min-width: 200px;
46 white-space: nowrap;
47 }
48
49 /* The header across the top of the page */
50 div.header {
51
--- skins/eagle/css.txt
+++ skins/eagle/css.txt
@@ -3,24 +3,21 @@
3 margin: 0ex 1ex;
4 padding: 0px;
5 background-color: #485D7B;
6 font-family: sans-serif;
7 color: white;
 
 
 
8 }
9
10 /* The project logo in the upper left-hand corner of each page */
11 div.logo {
12 display: table-cell;
13 text-align: center;
14 vertical-align: bottom;
15 font-weight: bold;
16 color: white;
17 min-width: 50px;
18 padding: 5 0 5 0em;
 
19 white-space: nowrap;
20 }
21
22 /* The page title centered at the top of each page */
23 div.title {
@@ -40,11 +37,10 @@
37 text-align: right;
38 vertical-align: bottom;
39 color: white;
40 font-size: 0.8em;
41 font-weight: bold;
 
42 white-space: nowrap;
43 }
44
45 /* The header across the top of the page */
46 div.header {
47
--- skins/eagle/header.txt
+++ skins/eagle/header.txt
@@ -98,11 +98,11 @@
9898
if {![capexpr $expr]} continue
9999
if {[string match /* $url]} {set url $home$url}
100100
html "<a href='$url' class='$class'>$name</a>\n"
101101
}
102102
if {[info exists login]} {
103
- html "<a href='$home/logout'>Logout</a>\n"
103
+ html "<a href='$home/logout' class='desktoponly'>Logout</a>\n"
104104
} else {
105
- html "<a href='$home/login'>Login</a>\n"
105
+ html "<a href='$home/login' class='desktoponly'>Login</a>\n"
106106
}
107107
</th1></div>
108108
<div id="hbdrop"></div>
109109
--- skins/eagle/header.txt
+++ skins/eagle/header.txt
@@ -98,11 +98,11 @@
98 if {![capexpr $expr]} continue
99 if {[string match /* $url]} {set url $home$url}
100 html "<a href='$url' class='$class'>$name</a>\n"
101 }
102 if {[info exists login]} {
103 html "<a href='$home/logout'>Logout</a>\n"
104 } else {
105 html "<a href='$home/login'>Login</a>\n"
106 }
107 </th1></div>
108 <div id="hbdrop"></div>
109
--- skins/eagle/header.txt
+++ skins/eagle/header.txt
@@ -98,11 +98,11 @@
98 if {![capexpr $expr]} continue
99 if {[string match /* $url]} {set url $home$url}
100 html "<a href='$url' class='$class'>$name</a>\n"
101 }
102 if {[info exists login]} {
103 html "<a href='$home/logout' class='desktoponly'>Logout</a>\n"
104 } else {
105 html "<a href='$home/login' class='desktoponly'>Login</a>\n"
106 }
107 </th1></div>
108 <div id="hbdrop"></div>
109
--- skins/original/css.txt
+++ skins/original/css.txt
@@ -14,11 +14,11 @@
1414
display: table-cell;
1515
text-align: center;
1616
vertical-align: bottom;
1717
font-weight: bold;
1818
color: #558195;
19
- min-width: 200px;
19
+ min-width: 50px;
2020
white-space: nowrap;
2121
}
2222
2323
/* The page title centered at the top of each page */
2424
div.title {
@@ -38,11 +38,10 @@
3838
text-align: right;
3939
vertical-align: bottom;
4040
color: #558195;
4141
font-size: 0.8em;
4242
font-weight: bold;
43
- min-width: 200px;
4443
white-space: nowrap;
4544
}
4645
4746
/* The header across the top of the page */
4847
div.header {
@@ -51,11 +50,11 @@
5150
}
5251
5352
/* The main menu bar that appears at the top of the page beneath
5453
** the header */
5554
div.mainmenu {
56
- padding: 5px 10px 5px 10px;
55
+ padding: 5px;
5756
font-size: 0.9em;
5857
font-weight: bold;
5958
text-align: center;
6059
letter-spacing: 1px;
6160
background-color: #558195;
6261
--- skins/original/css.txt
+++ skins/original/css.txt
@@ -14,11 +14,11 @@
14 display: table-cell;
15 text-align: center;
16 vertical-align: bottom;
17 font-weight: bold;
18 color: #558195;
19 min-width: 200px;
20 white-space: nowrap;
21 }
22
23 /* The page title centered at the top of each page */
24 div.title {
@@ -38,11 +38,10 @@
38 text-align: right;
39 vertical-align: bottom;
40 color: #558195;
41 font-size: 0.8em;
42 font-weight: bold;
43 min-width: 200px;
44 white-space: nowrap;
45 }
46
47 /* The header across the top of the page */
48 div.header {
@@ -51,11 +50,11 @@
51 }
52
53 /* The main menu bar that appears at the top of the page beneath
54 ** the header */
55 div.mainmenu {
56 padding: 5px 10px 5px 10px;
57 font-size: 0.9em;
58 font-weight: bold;
59 text-align: center;
60 letter-spacing: 1px;
61 background-color: #558195;
62
--- skins/original/css.txt
+++ skins/original/css.txt
@@ -14,11 +14,11 @@
14 display: table-cell;
15 text-align: center;
16 vertical-align: bottom;
17 font-weight: bold;
18 color: #558195;
19 min-width: 50px;
20 white-space: nowrap;
21 }
22
23 /* The page title centered at the top of each page */
24 div.title {
@@ -38,11 +38,10 @@
38 text-align: right;
39 vertical-align: bottom;
40 color: #558195;
41 font-size: 0.8em;
42 font-weight: bold;
 
43 white-space: nowrap;
44 }
45
46 /* The header across the top of the page */
47 div.header {
@@ -51,11 +50,11 @@
50 }
51
52 /* The main menu bar that appears at the top of the page beneath
53 ** the header */
54 div.mainmenu {
55 padding: 5px;
56 font-size: 0.9em;
57 font-weight: bold;
58 text-align: center;
59 letter-spacing: 1px;
60 background-color: #558195;
61
--- skins/original/header.txt
+++ skins/original/header.txt
@@ -98,8 +98,8 @@
9898
if {[string match /* $url]} {set url $home$url}
9999
html "<a href='$url' class='$class'>$name</a>\n"
100100
if {[string match */sitemap $url]} {set sitemap 1}
101101
}
102102
if {!$sitemap} {
103
- html "<a href='$home/sitemap'>More...</a>"
103
+ html "<a href='$home/sitemap'>...</a>"
104104
}
105105
</th1></div>
106106
--- skins/original/header.txt
+++ skins/original/header.txt
@@ -98,8 +98,8 @@
98 if {[string match /* $url]} {set url $home$url}
99 html "<a href='$url' class='$class'>$name</a>\n"
100 if {[string match */sitemap $url]} {set sitemap 1}
101 }
102 if {!$sitemap} {
103 html "<a href='$home/sitemap'>More...</a>"
104 }
105 </th1></div>
106
--- skins/original/header.txt
+++ skins/original/header.txt
@@ -98,8 +98,8 @@
98 if {[string match /* $url]} {set url $home$url}
99 html "<a href='$url' class='$class'>$name</a>\n"
100 if {[string match */sitemap $url]} {set sitemap 1}
101 }
102 if {!$sitemap} {
103 html "<a href='$home/sitemap'>...</a>"
104 }
105 </th1></div>
106
--- skins/xekri/header.txt
+++ skins/xekri/header.txt
@@ -103,8 +103,8 @@
103103
}
104104
html "<a href='$url' class='$class'>$name</a>\n"
105105
if {[string match */sitemap $url]} {set sitemap 1}
106106
}
107107
if {!$sitemap} {
108
- html "<a href='$home/sitemap'>More...</a>\n"
108
+ html "<a href='$home/sitemap'>...</a>\n"
109109
}
110110
</th1></div>
111111
--- skins/xekri/header.txt
+++ skins/xekri/header.txt
@@ -103,8 +103,8 @@
103 }
104 html "<a href='$url' class='$class'>$name</a>\n"
105 if {[string match */sitemap $url]} {set sitemap 1}
106 }
107 if {!$sitemap} {
108 html "<a href='$home/sitemap'>More...</a>\n"
109 }
110 </th1></div>
111
--- skins/xekri/header.txt
+++ skins/xekri/header.txt
@@ -103,8 +103,8 @@
103 }
104 html "<a href='$url' class='$class'>$name</a>\n"
105 if {[string match */sitemap $url]} {set sitemap 1}
106 }
107 if {!$sitemap} {
108 html "<a href='$home/sitemap'>...</a>\n"
109 }
110 </th1></div>
111

Keyboard Shortcuts

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