Fossil SCM

Extracted built-in skins from skins.c and put into skins subdirectory.

michael 2010-07-26 06:54 ttmrichter-skins
Commit 3530b29f15aa8f5fe4e3c4dbd5af627a16065684
--- a/skins/default1/footer.html
+++ b/skins/default1/footer.html
@@ -0,0 +1 @@
1
+<
--- a/skins/default1/footer.html
+++ b/skins/default1/footer.html
@@ -0,0 +1 @@
 
--- a/skins/default1/footer.html
+++ b/skins/default1/footer.html
@@ -0,0 +1 @@
1 <
--- a/skins/default1/header.html
+++ b/skins/default1/header.html
@@ -0,0 +1,52 @@
1
+<html>
2
+<head>
3
+<title>$<project_name>: $<title></title>
4
+<link rel="alternate" type="application/rss+xml" title="RSS Feed"
5
+ href="$baseurl/timeline.rss">
6
+<link rel="stylesheet" href="$baseurl/style.css?blackwhite" type="text/css"
7
+ media="screen">
8
+</head>
9
+<body>
10
+<div class="header">
11
+ <div class="logo">
12
+ <img src="$baseurl/logo" alt="logo">
13
+ </div>
14
+ <div class="title"><small>$<project_name></small><br>$<title></div>
15
+ <div class="status"><nobr><th1>
16
+ if {[info exists login]} {
17
+ puts "Logged in as $login"
18
+ } else {
19
+ puts "Not logged in"
20
+ }
21
+ </th1></nobr></div>
22
+</div>
23
+<div class="mainmenu"><th1>
24
+html "<a href=''$baseurl$index_page''>Home</a> "
25
+if {[anycap jor]} {
26
+ html "<a href=''$baseurl/timeline''>Timeline</a> "
27
+}
28
+if {[hascap oh]} {
29
+ html "<a href=''$baseurl/dir?ci=tip''>Files</a> "
30
+}
31
+if {[hascap o]} {
32
+ html "<a href=''$baseurl/leaves''>Leaves</a> "
33
+ html "<a href=''$baseurl/brlist''>Branches</a> "
34
+ html "<a href=''$baseurl/taglist''>Tags</a> "
35
+}
36
+if {[hascap r]} {
37
+ html "<a href=''$baseurl/reportlist''>Tickets</a> "
38
+}
39
+if {[hascap j]} {
40
+ html "<a href=''$baseurl/wiki''>Wiki</a> "
41
+}
42
+if {[hascap s]} {
43
+ html "<a href=''$baseurl/setup''>Admin</a> "
44
+} elseif {[hascap a]} {
45
+ html "<a href=''$baseurl/setup_ulist''>Users</a> "
46
+}
47
+if {[info exists login]} {
48
+ html "<a href=''$baseurl/login''>Logout</a> "
49
+} else {
50
+ html "<a href=''$baseurl/login''>Login</a> "
51
+}
52
+</th1></div>
--- a/skins/default1/header.html
+++ b/skins/default1/header.html
@@ -0,0 +1,52 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/skins/default1/header.html
+++ b/skins/default1/header.html
@@ -0,0 +1,52 @@
1 <html>
2 <head>
3 <title>$<project_name>: $<title></title>
4 <link rel="alternate" type="application/rss+xml" title="RSS Feed"
5 href="$baseurl/timeline.rss">
6 <link rel="stylesheet" href="$baseurl/style.css?blackwhite" type="text/css"
7 media="screen">
8 </head>
9 <body>
10 <div class="header">
11 <div class="logo">
12 <img src="$baseurl/logo" alt="logo">
13 </div>
14 <div class="title"><small>$<project_name></small><br>$<title></div>
15 <div class="status"><nobr><th1>
16 if {[info exists login]} {
17 puts "Logged in as $login"
18 } else {
19 puts "Not logged in"
20 }
21 </th1></nobr></div>
22 </div>
23 <div class="mainmenu"><th1>
24 html "<a href=''$baseurl$index_page''>Home</a> "
25 if {[anycap jor]} {
26 html "<a href=''$baseurl/timeline''>Timeline</a> "
27 }
28 if {[hascap oh]} {
29 html "<a href=''$baseurl/dir?ci=tip''>Files</a> "
30 }
31 if {[hascap o]} {
32 html "<a href=''$baseurl/leaves''>Leaves</a> "
33 html "<a href=''$baseurl/brlist''>Branches</a> "
34 html "<a href=''$baseurl/taglist''>Tags</a> "
35 }
36 if {[hascap r]} {
37 html "<a href=''$baseurl/reportlist''>Tickets</a> "
38 }
39 if {[hascap j]} {
40 html "<a href=''$baseurl/wiki''>Wiki</a> "
41 }
42 if {[hascap s]} {
43 html "<a href=''$baseurl/setup''>Admin</a> "
44 } elseif {[hascap a]} {
45 html "<a href=''$baseurl/setup_ulist''>Users</a> "
46 }
47 if {[info exists login]} {
48 html "<a href=''$baseurl/login''>Logout</a> "
49 } else {
50 html "<a href=''$baseurl/login''>Login</a> "
51 }
52 </th1></div>
--- a/skins/default1/info.txt
+++ b/skins/default1/info.txt
@@ -0,0 +1,5 @@
1
+Title: Plain Gray
2
+Description: A black-and-white theme with the project title in a bar across the
3
+ top and no logo image.
4
+Author: Unknown.
5
+
--- a/skins/default1/info.txt
+++ b/skins/default1/info.txt
@@ -0,0 +1,5 @@
 
 
 
 
 
--- a/skins/default1/info.txt
+++ b/skins/default1/info.txt
@@ -0,0 +1,5 @@
1 Title: Plain Gray
2 Description: A black-and-white theme with the project title in a bar across the
3 top and no logo image.
4 Author: Unknown.
5
--- a/skins/default1/style.css
+++ b/skins/default1/style.css
@@ -0,0 +1,125 @@
1
+/* General settings for the entire page */
2
+body {
3
+ margin: 0ex 1ex;
4
+ padding: 0px;
5
+ background-color: white;
6
+ font-family: sans-serif;
7
+}
8
+
9
+/* The project logo in the upper left-hand corner of each page */
10
+div.logo {
11
+ display: table-row;
12
+ text-align: center;
13
+ /* vertical-align: bottom;*/
14
+ font-size: 2em;
15
+ font-weight: bold;
16
+ background-color: #707070;
17
+ color: #ffffff;
18
+ min-width: 200px;
19
+}
20
+
21
+/* The page title centered at the top of each page */
22
+div.title {
23
+ display: table-cell;
24
+ font-size: 1.5em;
25
+ font-weight: bold;
26
+ text-align: center;
27
+ padding: 0 0 0 10px;
28
+ color: #404040;
29
+ vertical-align: bottom;
30
+ width: 100%;
31
+}
32
+
33
+/* The login status message in the top right-hand corner */
34
+div.status {
35
+ display: table-cell;
36
+ text-align: right;
37
+ vertical-align: bottom;
38
+ color: #404040;
39
+ font-size: 0.8em;
40
+ font-weight: bold;
41
+ min-width: 200px;
42
+}
43
+
44
+/* The header across the top of the page */
45
+div.header {
46
+ display: table;
47
+ width: 100%;
48
+}
49
+
50
+/* The main menu bar that appears at the top of the page beneath the header */
51
+div.mainmenu {
52
+ padding: 5px 10px 5px 10px;
53
+ font-size: 0.9em;
54
+ font-weight: bold;
55
+ text-align: center;
56
+ letter-spacing: 1px;
57
+ background-color: #404040;
58
+ color: white;
59
+}
60
+
61
+/* The submenu bar that *sometimes* appears below the main menu */
62
+div.submenu {
63
+ padding: 3px 10px 3px 0px;
64
+ font-size: 0.9em;
65
+ text-align: center;
66
+ background-color: #606060;
67
+ color: white;
68
+}
69
+div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited {
70
+ padding: 3px 10px 3px 10px;
71
+ color: white;
72
+ text-decoration: none;
73
+}
74
+div.mainmenu a:hover, div.submenu a:hover {
75
+ color: #404040;
76
+ background-color: white;
77
+}
78
+
79
+/* All page content from the bottom of the menu or submenu down to the footer */
80
+div.content {
81
+ padding: 0ex 0ex 0ex 0ex;
82
+}
83
+/* Hyperlink colors */
84
+div.content a { color: #604000; }
85
+div.content a:link { color: #604000;}
86
+div.content a:visited { color: #600000; }
87
+
88
+/* Some pages have section dividers */
89
+div.section {
90
+ margin-bottom: 0px;
91
+ margin-top: 1em;
92
+ padding: 1px 1px 1px 1px;
93
+ font-size: 1.2em;
94
+ font-weight: bold;
95
+ background-color: #404040;
96
+ color: white;
97
+}
98
+
99
+/* The "Date" that occurs on the left hand side of timelines */
100
+div.divider {
101
+ background: #a0a0a0;
102
+ border: 2px #505050 solid;
103
+ font-size: 1em; font-weight: normal;
104
+ padding: .25em;
105
+ margin: .2em 0 .2em 0;
106
+ float: left;
107
+ clear: left;
108
+}
109
+
110
+/* The footer at the very bottom of the page */
111
+div.footer {
112
+ font-size: 0.8em;
113
+ margin-top: 12px;
114
+ padding: 5px 10px 5px 10px;
115
+ text-align: right;
116
+ background-color: #404040;
117
+ color: white;
118
+}
119
+
120
+/* The label/value pairs on (for example) the vinfo page */
121
+table.label-value th {
122
+ vertical-align: top;
123
+ text-align: right;
124
+ padding: 0.2ex 2ex;
125
+}
--- a/skins/default1/style.css
+++ b/skins/default1/style.css
@@ -0,0 +1,125 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/skins/default1/style.css
+++ b/skins/default1/style.css
@@ -0,0 +1,125 @@
1 /* General settings for the entire page */
2 body {
3 margin: 0ex 1ex;
4 padding: 0px;
5 background-color: white;
6 font-family: sans-serif;
7 }
8
9 /* The project logo in the upper left-hand corner of each page */
10 div.logo {
11 display: table-row;
12 text-align: center;
13 /* vertical-align: bottom;*/
14 font-size: 2em;
15 font-weight: bold;
16 background-color: #707070;
17 color: #ffffff;
18 min-width: 200px;
19 }
20
21 /* The page title centered at the top of each page */
22 div.title {
23 display: table-cell;
24 font-size: 1.5em;
25 font-weight: bold;
26 text-align: center;
27 padding: 0 0 0 10px;
28 color: #404040;
29 vertical-align: bottom;
30 width: 100%;
31 }
32
33 /* The login status message in the top right-hand corner */
34 div.status {
35 display: table-cell;
36 text-align: right;
37 vertical-align: bottom;
38 color: #404040;
39 font-size: 0.8em;
40 font-weight: bold;
41 min-width: 200px;
42 }
43
44 /* The header across the top of the page */
45 div.header {
46 display: table;
47 width: 100%;
48 }
49
50 /* The main menu bar that appears at the top of the page beneath the header */
51 div.mainmenu {
52 padding: 5px 10px 5px 10px;
53 font-size: 0.9em;
54 font-weight: bold;
55 text-align: center;
56 letter-spacing: 1px;
57 background-color: #404040;
58 color: white;
59 }
60
61 /* The submenu bar that *sometimes* appears below the main menu */
62 div.submenu {
63 padding: 3px 10px 3px 0px;
64 font-size: 0.9em;
65 text-align: center;
66 background-color: #606060;
67 color: white;
68 }
69 div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited {
70 padding: 3px 10px 3px 10px;
71 color: white;
72 text-decoration: none;
73 }
74 div.mainmenu a:hover, div.submenu a:hover {
75 color: #404040;
76 background-color: white;
77 }
78
79 /* All page content from the bottom of the menu or submenu down to the footer */
80 div.content {
81 padding: 0ex 0ex 0ex 0ex;
82 }
83 /* Hyperlink colors */
84 div.content a { color: #604000; }
85 div.content a:link { color: #604000;}
86 div.content a:visited { color: #600000; }
87
88 /* Some pages have section dividers */
89 div.section {
90 margin-bottom: 0px;
91 margin-top: 1em;
92 padding: 1px 1px 1px 1px;
93 font-size: 1.2em;
94 font-weight: bold;
95 background-color: #404040;
96 color: white;
97 }
98
99 /* The "Date" that occurs on the left hand side of timelines */
100 div.divider {
101 background: #a0a0a0;
102 border: 2px #505050 solid;
103 font-size: 1em; font-weight: normal;
104 padding: .25em;
105 margin: .2em 0 .2em 0;
106 float: left;
107 clear: left;
108 }
109
110 /* The footer at the very bottom of the page */
111 div.footer {
112 font-size: 0.8em;
113 margin-top: 12px;
114 padding: 5px 10px 5px 10px;
115 text-align: right;
116 background-color: #404040;
117 color: white;
118 }
119
120 /* The label/value pairs on (for example) the vinfo page */
121 table.label-value th {
122 vertical-align: top;
123 text-align: right;
124 padding: 0.2ex 2ex;
125 }
--- a/skins/default2/footer.html
+++ b/skins/default2/footer.html
@@ -0,0 +1 @@
1
+<
--- a/skins/default2/footer.html
+++ b/skins/default2/footer.html
@@ -0,0 +1 @@
 
--- a/skins/default2/footer.html
+++ b/skins/default2/footer.html
@@ -0,0 +1 @@
1 <
--- a/skins/default2/header.html
+++ b/skins/default2/header.html
@@ -0,0 +1,51 @@
1
+<html>
2
+<head>
3
+<title>$<project_name>: $<title></title>
4
+<link rel="alternate" type="application/rss+xml" title="RSS Feed"
5
+ href="$baseurl/timeline.rss">
6
+<link rel="stylesheet" href="$baseurl/style.css?tan" type="text/css"
7
+ media="screen">
8
+</head>
9
+<body>
10
+<div class="header">
11
+ <div class="title">$<title></div>
12
+ <div class="status">
13
+ <div class="logo"><nobr>$<project_name></nobr></div><br/>
14
+ <nobr><th1>
15
+ if {[info exists login]} {
16
+ puts "Logged in as $login"
17
+ } else {
18
+ puts "Not logged in"
19
+ }
20
+ </th1></nobr></div>
21
+</div>
22
+<div class="mainmenu"><th1>
23
+html "<a href=''$baseurl$index_page''>Home</a> "
24
+if {[anycap jor]} {
25
+ html "<a href=''$baseurl/timeline''>Timeline</a> "
26
+}
27
+if {[hascap oh]} {
28
+ html "<a href=''$baseurl/dir?ci=tip''>Files</a> "
29
+}
30
+if {[hascap o]} {
31
+ html "<a href=''$baseurl/leaves''>Leaves</a> "
32
+ html "<a href=''$baseurl/brlist''>Branches</a> "
33
+ html "<a href=''$baseurl/taglist''>Tags</a> "
34
+}
35
+if {[hascap r]} {
36
+ html "<a href=''$baseurl/reportlist''>Tickets</a> "
37
+}
38
+if {[hascap j]} {
39
+ html "<a href=''$baseurl/wiki''>Wiki</a> "
40
+}
41
+if {[hascap s]} {
42
+ html "<a href=''$baseurl/setup''>Admin</a> "
43
+} elseif {[hascap a]} {
44
+ html "<a href=''$baseurl/setup_ulist''>Users</a> "
45
+}
46
+if {[info exists login]} {
47
+ html "<a href=''$baseurl/login''>Logout</a> "
48
+} else {
49
+ html "<a href=''$baseurl/login''>Login</a> "
50
+}
51
+</th1></div>
--- a/skins/default2/header.html
+++ b/skins/default2/header.html
@@ -0,0 +1,51 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/skins/default2/header.html
+++ b/skins/default2/header.html
@@ -0,0 +1,51 @@
1 <html>
2 <head>
3 <title>$<project_name>: $<title></title>
4 <link rel="alternate" type="application/rss+xml" title="RSS Feed"
5 href="$baseurl/timeline.rss">
6 <link rel="stylesheet" href="$baseurl/style.css?tan" type="text/css"
7 media="screen">
8 </head>
9 <body>
10 <div class="header">
11 <div class="title">$<title></div>
12 <div class="status">
13 <div class="logo"><nobr>$<project_name></nobr></div><br/>
14 <nobr><th1>
15 if {[info exists login]} {
16 puts "Logged in as $login"
17 } else {
18 puts "Not logged in"
19 }
20 </th1></nobr></div>
21 </div>
22 <div class="mainmenu"><th1>
23 html "<a href=''$baseurl$index_page''>Home</a> "
24 if {[anycap jor]} {
25 html "<a href=''$baseurl/timeline''>Timeline</a> "
26 }
27 if {[hascap oh]} {
28 html "<a href=''$baseurl/dir?ci=tip''>Files</a> "
29 }
30 if {[hascap o]} {
31 html "<a href=''$baseurl/leaves''>Leaves</a> "
32 html "<a href=''$baseurl/brlist''>Branches</a> "
33 html "<a href=''$baseurl/taglist''>Tags</a> "
34 }
35 if {[hascap r]} {
36 html "<a href=''$baseurl/reportlist''>Tickets</a> "
37 }
38 if {[hascap j]} {
39 html "<a href=''$baseurl/wiki''>Wiki</a> "
40 }
41 if {[hascap s]} {
42 html "<a href=''$baseurl/setup''>Admin</a> "
43 } elseif {[hascap a]} {
44 html "<a href=''$baseurl/setup_ulist''>Users</a> "
45 }
46 if {[info exists login]} {
47 html "<a href=''$baseurl/login''>Logout</a> "
48 } else {
49 html "<a href=''$baseurl/login''>Login</a> "
50 }
51 </th1></div>
--- a/skins/default2/info.txt
+++ b/skins/default2/info.txt
@@ -0,0 +1,4 @@
1
+Title: Khaki, No Logo
2
+Description: A tan theme with the project title above the user identification
3
+ and no logo image.
4
+Author: Unknown
--- a/skins/default2/info.txt
+++ b/skins/default2/info.txt
@@ -0,0 +1,4 @@
 
 
 
 
--- a/skins/default2/info.txt
+++ b/skins/default2/info.txt
@@ -0,0 +1,4 @@
1 Title: Khaki, No Logo
2 Description: A tan theme with the project title above the user identification
3 and no logo image.
4 Author: Unknown
--- a/skins/default2/style.css
+++ b/skins/default2/style.css
@@ -0,0 +1,137 @@
1
+/* General settings for the entire page */
2
+body {
3
+ margin: 0ex 0ex;
4
+ padding: 0px;
5
+ background-color: #fef3bc;
6
+ font-family: sans-serif;
7
+}
8
+
9
+/* The project logo in the upper left-hand corner of each page */
10
+div.logo {
11
+ display: inline;
12
+ text-align: center;
13
+ vertical-align: bottom;
14
+ font-weight: bold;
15
+ font-size: 2.5em;
16
+ color: #a09048;
17
+}
18
+
19
+/* The page title centered at the top of each page */
20
+div.title {
21
+ display: table-cell;
22
+ font-size: 2em;
23
+ font-weight: bold;
24
+ text-align: left;
25
+ padding: 0 0 0 5px;
26
+ color: #a09048;
27
+ vertical-align: bottom;
28
+ width: 100%;
29
+}
30
+
31
+/* The login status message in the top right-hand corner */
32
+div.status {
33
+ display: table-cell;
34
+ text-align: right;
35
+ vertical-align: bottom;
36
+ color: #a09048;
37
+ padding: 5px 5px 0 0;
38
+ font-size: 0.8em;
39
+ font-weight: bold;
40
+}
41
+
42
+/* The header across the top of the page */
43
+div.header {
44
+ display: table;
45
+ width: 100%;
46
+}
47
+
48
+/* The main menu bar that appears at the top of the page beneath
49
+** the header */
50
+div.mainmenu {
51
+ padding: 5px 10px 5px 10px;
52
+ font-size: 0.9em;
53
+ font-weight: bold;
54
+ text-align: center;
55
+ letter-spacing: 1px;
56
+ background-color: #a09048;
57
+ color: black;
58
+}
59
+
60
+/* The submenu bar that *sometimes* appears below the main menu */
61
+div.submenu {
62
+ padding: 3px 10px 3px 0px;
63
+ font-size: 0.9em;
64
+ text-align: center;
65
+ background-color: #c0af58;
66
+ color: white;
67
+}
68
+div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited {
69
+ padding: 3px 10px 3px 10px;
70
+ color: white;
71
+ text-decoration: none;
72
+}
73
+div.mainmenu a:hover, div.submenu a:hover {
74
+ color: #a09048;
75
+ background-color: white;
76
+}
77
+
78
+/* All page content from the bottom of the menu or submenu down to
79
+** the footer */
80
+div.content {
81
+ padding: 1ex 5px;
82
+}
83
+div.content a { color: #706532; }
84
+div.content a:link { color: #706532; }
85
+div.content a:visited { color: #704032; }
86
+div.content a:hover { background-color: white; color: #706532; }
87
+
88
+/* Some pages have section dividers */
89
+div.section {
90
+ margin-bottom: 0px;
91
+ margin-top: 1em;
92
+ padding: 3px 3px 0 3px;
93
+ font-size: 1.2em;
94
+ font-weight: bold;
95
+ background-color: #a09048;
96
+ color: white;
97
+}
98
+
99
+/* The "Date" that occurs on the left hand side of timelines */
100
+div.divider {
101
+ background: #e1d498;
102
+ border: 2px #a09048 solid;
103
+ font-size: 1em; font-weight: normal;
104
+ padding: .25em;
105
+ margin: .2em 0 .2em 0;
106
+ float: left;
107
+ clear: left;
108
+}
109
+
110
+/* The footer at the very bottom of the page */
111
+div.footer {
112
+ font-size: 0.8em;
113
+ margin-top: 12px;
114
+ padding: 5px 10px 5px 10px;
115
+ text-align: right;
116
+ background-color: #a09048;
117
+ color: white;
118
+}
119
+
120
+/* Hyperlink colors */
121
+div.footer a { color: white; }
122
+div.footer a:link { color: white; }
123
+div.footer a:visited { color: white; }
124
+div.footer a:hover { background-color: white; color: #558195; }
125
+
126
+/* <verbatim> blocks */
127
+pre.verbatim {
128
+ background-color: #f5f5f5;
129
+ padding: 0.5em;
130
+}
131
+
132
+/* The label/value pairs on (for example) the ci page */
133
+table.label-value th {
134
+ vertical-align: top;
135
+ text-align: right;
136
+ padding: 0.2ex 2ex;
137
+}
--- a/skins/default2/style.css
+++ b/skins/default2/style.css
@@ -0,0 +1,137 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/skins/default2/style.css
+++ b/skins/default2/style.css
@@ -0,0 +1,137 @@
1 /* General settings for the entire page */
2 body {
3 margin: 0ex 0ex;
4 padding: 0px;
5 background-color: #fef3bc;
6 font-family: sans-serif;
7 }
8
9 /* The project logo in the upper left-hand corner of each page */
10 div.logo {
11 display: inline;
12 text-align: center;
13 vertical-align: bottom;
14 font-weight: bold;
15 font-size: 2.5em;
16 color: #a09048;
17 }
18
19 /* The page title centered at the top of each page */
20 div.title {
21 display: table-cell;
22 font-size: 2em;
23 font-weight: bold;
24 text-align: left;
25 padding: 0 0 0 5px;
26 color: #a09048;
27 vertical-align: bottom;
28 width: 100%;
29 }
30
31 /* The login status message in the top right-hand corner */
32 div.status {
33 display: table-cell;
34 text-align: right;
35 vertical-align: bottom;
36 color: #a09048;
37 padding: 5px 5px 0 0;
38 font-size: 0.8em;
39 font-weight: bold;
40 }
41
42 /* The header across the top of the page */
43 div.header {
44 display: table;
45 width: 100%;
46 }
47
48 /* The main menu bar that appears at the top of the page beneath
49 ** the header */
50 div.mainmenu {
51 padding: 5px 10px 5px 10px;
52 font-size: 0.9em;
53 font-weight: bold;
54 text-align: center;
55 letter-spacing: 1px;
56 background-color: #a09048;
57 color: black;
58 }
59
60 /* The submenu bar that *sometimes* appears below the main menu */
61 div.submenu {
62 padding: 3px 10px 3px 0px;
63 font-size: 0.9em;
64 text-align: center;
65 background-color: #c0af58;
66 color: white;
67 }
68 div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited {
69 padding: 3px 10px 3px 10px;
70 color: white;
71 text-decoration: none;
72 }
73 div.mainmenu a:hover, div.submenu a:hover {
74 color: #a09048;
75 background-color: white;
76 }
77
78 /* All page content from the bottom of the menu or submenu down to
79 ** the footer */
80 div.content {
81 padding: 1ex 5px;
82 }
83 div.content a { color: #706532; }
84 div.content a:link { color: #706532; }
85 div.content a:visited { color: #704032; }
86 div.content a:hover { background-color: white; color: #706532; }
87
88 /* Some pages have section dividers */
89 div.section {
90 margin-bottom: 0px;
91 margin-top: 1em;
92 padding: 3px 3px 0 3px;
93 font-size: 1.2em;
94 font-weight: bold;
95 background-color: #a09048;
96 color: white;
97 }
98
99 /* The "Date" that occurs on the left hand side of timelines */
100 div.divider {
101 background: #e1d498;
102 border: 2px #a09048 solid;
103 font-size: 1em; font-weight: normal;
104 padding: .25em;
105 margin: .2em 0 .2em 0;
106 float: left;
107 clear: left;
108 }
109
110 /* The footer at the very bottom of the page */
111 div.footer {
112 font-size: 0.8em;
113 margin-top: 12px;
114 padding: 5px 10px 5px 10px;
115 text-align: right;
116 background-color: #a09048;
117 color: white;
118 }
119
120 /* Hyperlink colors */
121 div.footer a { color: white; }
122 div.footer a:link { color: white; }
123 div.footer a:visited { color: white; }
124 div.footer a:hover { background-color: white; color: #558195; }
125
126 /* <verbatim> blocks */
127 pre.verbatim {
128 background-color: #f5f5f5;
129 padding: 0.5em;
130 }
131
132 /* The label/value pairs on (for example) the ci page */
133 table.label-value th {
134 vertical-align: top;
135 text-align: right;
136 padding: 0.2ex 2ex;
137 }
--- a/skins/default3/footer.html
+++ b/skins/default3/footer.html
@@ -0,0 +1,5 @@
1
+</div>
2
+<div class="footer">
3
+Fossil version $manifest_version $manifest_date
4
+</div>
5
+</body></html>
--- a/skins/default3/footer.html
+++ b/skins/default3/footer.html
@@ -0,0 +1,5 @@
 
 
 
 
 
--- a/skins/default3/footer.html
+++ b/skins/default3/footer.html
@@ -0,0 +1,5 @@
1 </div>
2 <div class="footer">
3 Fossil version $manifest_version $manifest_date
4 </div>
5 </body></html>
--- a/skins/default3/header.html
+++ b/skins/default3/header.html
@@ -0,0 +1,54 @@
1
+<html>
2
+<head>
3
+<title>$<project_name>: $<title></title>
4
+<link rel="alternate" type="application/rss+xml" title="RSS Feed"
5
+ href="$baseurl/timeline.rss">
6
+<link rel="stylesheet" href="$baseurl/style.css?black2" type="text/css"
7
+ media="screen">
8
+</head>
9
+<body>
10
+<div class="header">
11
+ <div class="logo">
12
+ <!-- <img src="$baseurl/logo" alt="logo"> -->
13
+ <br><nobr>$<project_name></nobr>
14
+ </div>
15
+ <div class="title">$<title></div>
16
+ <div class="status"><nobr><th1>
17
+ if {[info exists login]} {
18
+ puts "Logged in as $login"
19
+ } else {
20
+ puts "Not logged in"
21
+ }
22
+ </th1></nobr></div>
23
+</div>
24
+<div class="mainmenu"><ul><th1>
25
+html "<li><a href=''$baseurl$index_page''>Home</a></li>"
26
+if {[anycap jor]} {
27
+ html "<li><a href=''$baseurl/timeline''>Timeline</a></li>"
28
+}
29
+if {[hascap oh]} {
30
+ html "<li><a href=''$baseurl/dir?ci=tip''>Files</a></li>"
31
+}
32
+if {[hascap o]} {
33
+ html "<li><a href=''$baseurl/leaves''>Leaves</a></li>"
34
+ html "<li><a href=''$baseurl/brlist''>Branches</a></li>"
35
+ html "<li><a href=''$baseurl/taglist''>Tags</a></li>"
36
+}
37
+if {[hascap r]} {
38
+ html "<li><a href=''$baseurl/reportlist''>Tickets</a></li>"
39
+}
40
+if {[hascap j]} {
41
+ html "<li><a href=''$baseurl/wiki''>Wiki</a></li>"
42
+}
43
+if {[hascap s]} {
44
+ html "<li><a href=''$baseurl/setup''>Admin</a></li>"
45
+} elseif {[hascap a]} {
46
+ html "<li><a href=''$baseurl/setup_ulist''>Users</a></li>"
47
+}
48
+if {[info exists login]} {
49
+ html "<li><a href=''$baseurl/login''>Logout</a></li>"
50
+} else {
51
+ html "<li><a href=''$baseurl/login''>Login</a></li>"
52
+}
53
+</th1></ul></div>
54
+<div id="container">
--- a/skins/default3/header.html
+++ b/skins/default3/header.html
@@ -0,0 +1,54 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/skins/default3/header.html
+++ b/skins/default3/header.html
@@ -0,0 +1,54 @@
1 <html>
2 <head>
3 <title>$<project_name>: $<title></title>
4 <link rel="alternate" type="application/rss+xml" title="RSS Feed"
5 href="$baseurl/timeline.rss">
6 <link rel="stylesheet" href="$baseurl/style.css?black2" type="text/css"
7 media="screen">
8 </head>
9 <body>
10 <div class="header">
11 <div class="logo">
12 <!-- <img src="$baseurl/logo" alt="logo"> -->
13 <br><nobr>$<project_name></nobr>
14 </div>
15 <div class="title">$<title></div>
16 <div class="status"><nobr><th1>
17 if {[info exists login]} {
18 puts "Logged in as $login"
19 } else {
20 puts "Not logged in"
21 }
22 </th1></nobr></div>
23 </div>
24 <div class="mainmenu"><ul><th1>
25 html "<li><a href=''$baseurl$index_page''>Home</a></li>"
26 if {[anycap jor]} {
27 html "<li><a href=''$baseurl/timeline''>Timeline</a></li>"
28 }
29 if {[hascap oh]} {
30 html "<li><a href=''$baseurl/dir?ci=tip''>Files</a></li>"
31 }
32 if {[hascap o]} {
33 html "<li><a href=''$baseurl/leaves''>Leaves</a></li>"
34 html "<li><a href=''$baseurl/brlist''>Branches</a></li>"
35 html "<li><a href=''$baseurl/taglist''>Tags</a></li>"
36 }
37 if {[hascap r]} {
38 html "<li><a href=''$baseurl/reportlist''>Tickets</a></li>"
39 }
40 if {[hascap j]} {
41 html "<li><a href=''$baseurl/wiki''>Wiki</a></li>"
42 }
43 if {[hascap s]} {
44 html "<li><a href=''$baseurl/setup''>Admin</a></li>"
45 } elseif {[hascap a]} {
46 html "<li><a href=''$baseurl/setup_ulist''>Users</a></li>"
47 }
48 if {[info exists login]} {
49 html "<li><a href=''$baseurl/login''>Logout</a></li>"
50 } else {
51 html "<li><a href=''$baseurl/login''>Login</a></li>"
52 }
53 </th1></ul></div>
54 <div id="container">
--- a/skins/default3/info.txt
+++ b/skins/default3/info.txt
@@ -0,0 +1,5 @@
1
+Title: Black & White, Menu on Left, No Logo
2
+Description: Black letters on a white or cream background with the main menu
3
+ stuck on the left-hand side.
4
+Author: Unknown
5
+
--- a/skins/default3/info.txt
+++ b/skins/default3/info.txt
@@ -0,0 +1,5 @@
 
 
 
 
 
--- a/skins/default3/info.txt
+++ b/skins/default3/info.txt
@@ -0,0 +1,5 @@
1 Title: Black & White, Menu on Left, No Logo
2 Description: Black letters on a white or cream background with the main menu
3 stuck on the left-hand side.
4 Author: Unknown
5
--- a/skins/default3/style.css
+++ b/skins/default3/style.css
@@ -0,0 +1,170 @@
1
+/* General settings for the entire page */
2
+body {
3
+ margin:0px 0px 0px 0px;
4
+ padding:0px;
5
+ font-family:verdana, arial, helvetica, "sans serif";
6
+ color:#333;
7
+ background-color:white;
8
+}
9
+
10
+/* consistent colours */
11
+h2 {
12
+ color: #333;
13
+}
14
+h3 {
15
+ color: #333;
16
+}
17
+
18
+/* The project logo in the upper left-hand corner of each page */
19
+div.logo {
20
+ display: table-cell;
21
+ text-align: left;
22
+ vertical-align: bottom;
23
+ font-weight: bold;
24
+ color: #333;
25
+}
26
+
27
+/* The page title centered at the top of each page */
28
+div.title {
29
+ display: table-cell;
30
+ font-size: 2em;
31
+ font-weight: bold;
32
+ text-align: center;
33
+ color: #333;
34
+ vertical-align: bottom;
35
+ width: 100%;
36
+}
37
+
38
+/* The login status message in the top right-hand corner */
39
+div.status {
40
+ display: table-cell;
41
+ padding-right: 10px;
42
+ text-align: right;
43
+ vertical-align: bottom;
44
+ padding-bottom: 5px;
45
+ color: #333;
46
+ font-size: 0.8em;
47
+ font-weight: bold;
48
+}
49
+
50
+/* The header across the top of the page */
51
+div.header {
52
+ margin:10px 0px 10px 0px;
53
+ padding:1px 0px 0px 20px;
54
+ border-style:solid;
55
+ border-color:black;
56
+ border-width:1px 0px;
57
+ background-color:#eee;
58
+}
59
+
60
+/* The main menu bar that appears at the top left of the page beneath
61
+** the header. Width must be co-ordinated with the container below */
62
+div.mainmenu {
63
+ float: left;
64
+ margin-left: 10px;
65
+ margin-right: 10px;
66
+ font-size: 0.9em;
67
+ font-weight: bold;
68
+ padding:5px;
69
+ background-color:#eee;
70
+ border:1px solid #999;
71
+ width:8em;
72
+}
73
+
74
+/* Main menu is now a list */
75
+div.mainmenu ul {
76
+ padding: 0;
77
+ list-style:none;
78
+}
79
+div.mainmenu a, div.mainmenu a:visited{
80
+ padding: 1px 10px 1px 10px;
81
+ color: #333;
82
+ text-decoration: none;
83
+}
84
+div.mainmenu a:hover {
85
+ color: #eee;
86
+ background-color: #333;
87
+}
88
+
89
+/* Container for the sub-menu and content so they don''t spread
90
+** out underneath the main menu */
91
+#container {
92
+ padding-left: 9em;
93
+}
94
+
95
+/* The submenu bar that *sometimes* appears below the main menu */
96
+div.submenu {
97
+ padding: 3px 10px 3px 10px;
98
+ font-size: 0.9em;
99
+ text-align: center;
100
+ border:1px solid #999;
101
+ border-width:1px 0px;
102
+ background-color: #eee;
103
+ color: #333;
104
+}
105
+div.submenu a, div.submenu a:visited {
106
+ padding: 3px 10px 3px 10px;
107
+ color: #333;
108
+ text-decoration: none;
109
+}
110
+div.submenu a:hover {
111
+ color: #eee;
112
+ background-color: #333;
113
+}
114
+
115
+/* All page content from the bottom of the menu or submenu down to
116
+** the footer */
117
+div.content {
118
+ float: right;
119
+ padding: 2ex 1ex 0ex 2ex;
120
+}
121
+
122
+/* Some pages have section dividers */
123
+div.section {
124
+ margin-bottom: 0px;
125
+ margin-top: 1em;
126
+ padding: 1px 1px 1px 1px;
127
+ font-size: 1.2em;
128
+ font-weight: bold;
129
+ border-style:solid;
130
+ border-color:#999;
131
+ border-width:1px 0px;
132
+ background-color: #eee;
133
+ color: #333;
134
+}
135
+
136
+/* The "Date" that occurs on the left hand side of timelines */
137
+div.divider {
138
+ background: #eee;
139
+ border: 2px #999 solid;
140
+ font-size: 1em; font-weight: normal;
141
+ padding: .25em;
142
+ margin: .2em 0 .2em 0;
143
+ float: left;
144
+ clear: left;
145
+ color: #333
146
+}
147
+
148
+/* The footer at the very bottom of the page */
149
+div.footer {
150
+ font-size: 0.8em;
151
+ margin-top: 12px;
152
+ padding: 5px 10px 5px 10px;
153
+ text-align: right;
154
+ background-color: #eee;
155
+ color: #555;
156
+}
157
+
158
+/* <verbatim> blocks */
159
+pre.verbatim {
160
+ background-color: #f5f5f5;
161
+ padding: 0.5em;
162
+}
163
+
164
+/* The label/value pairs on (for example) the ci page */
165
+table.label-value th {
166
+ vertical-align: top;
167
+ text-align: right;
168
+ padding: 0.2ex 2ex;
169
+}
170
+
--- a/skins/default3/style.css
+++ b/skins/default3/style.css
@@ -0,0 +1,170 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
--- a/skins/default3/style.css
+++ b/skins/default3/style.css
@@ -0,0 +1,170 @@
1 /* General settings for the entire page */
2 body {
3 margin:0px 0px 0px 0px;
4 padding:0px;
5 font-family:verdana, arial, helvetica, "sans serif";
6 color:#333;
7 background-color:white;
8 }
9
10 /* consistent colours */
11 h2 {
12 color: #333;
13 }
14 h3 {
15 color: #333;
16 }
17
18 /* The project logo in the upper left-hand corner of each page */
19 div.logo {
20 display: table-cell;
21 text-align: left;
22 vertical-align: bottom;
23 font-weight: bold;
24 color: #333;
25 }
26
27 /* The page title centered at the top of each page */
28 div.title {
29 display: table-cell;
30 font-size: 2em;
31 font-weight: bold;
32 text-align: center;
33 color: #333;
34 vertical-align: bottom;
35 width: 100%;
36 }
37
38 /* The login status message in the top right-hand corner */
39 div.status {
40 display: table-cell;
41 padding-right: 10px;
42 text-align: right;
43 vertical-align: bottom;
44 padding-bottom: 5px;
45 color: #333;
46 font-size: 0.8em;
47 font-weight: bold;
48 }
49
50 /* The header across the top of the page */
51 div.header {
52 margin:10px 0px 10px 0px;
53 padding:1px 0px 0px 20px;
54 border-style:solid;
55 border-color:black;
56 border-width:1px 0px;
57 background-color:#eee;
58 }
59
60 /* The main menu bar that appears at the top left of the page beneath
61 ** the header. Width must be co-ordinated with the container below */
62 div.mainmenu {
63 float: left;
64 margin-left: 10px;
65 margin-right: 10px;
66 font-size: 0.9em;
67 font-weight: bold;
68 padding:5px;
69 background-color:#eee;
70 border:1px solid #999;
71 width:8em;
72 }
73
74 /* Main menu is now a list */
75 div.mainmenu ul {
76 padding: 0;
77 list-style:none;
78 }
79 div.mainmenu a, div.mainmenu a:visited{
80 padding: 1px 10px 1px 10px;
81 color: #333;
82 text-decoration: none;
83 }
84 div.mainmenu a:hover {
85 color: #eee;
86 background-color: #333;
87 }
88
89 /* Container for the sub-menu and content so they don''t spread
90 ** out underneath the main menu */
91 #container {
92 padding-left: 9em;
93 }
94
95 /* The submenu bar that *sometimes* appears below the main menu */
96 div.submenu {
97 padding: 3px 10px 3px 10px;
98 font-size: 0.9em;
99 text-align: center;
100 border:1px solid #999;
101 border-width:1px 0px;
102 background-color: #eee;
103 color: #333;
104 }
105 div.submenu a, div.submenu a:visited {
106 padding: 3px 10px 3px 10px;
107 color: #333;
108 text-decoration: none;
109 }
110 div.submenu a:hover {
111 color: #eee;
112 background-color: #333;
113 }
114
115 /* All page content from the bottom of the menu or submenu down to
116 ** the footer */
117 div.content {
118 float: right;
119 padding: 2ex 1ex 0ex 2ex;
120 }
121
122 /* Some pages have section dividers */
123 div.section {
124 margin-bottom: 0px;
125 margin-top: 1em;
126 padding: 1px 1px 1px 1px;
127 font-size: 1.2em;
128 font-weight: bold;
129 border-style:solid;
130 border-color:#999;
131 border-width:1px 0px;
132 background-color: #eee;
133 color: #333;
134 }
135
136 /* The "Date" that occurs on the left hand side of timelines */
137 div.divider {
138 background: #eee;
139 border: 2px #999 solid;
140 font-size: 1em; font-weight: normal;
141 padding: .25em;
142 margin: .2em 0 .2em 0;
143 float: left;
144 clear: left;
145 color: #333
146 }
147
148 /* The footer at the very bottom of the page */
149 div.footer {
150 font-size: 0.8em;
151 margin-top: 12px;
152 padding: 5px 10px 5px 10px;
153 text-align: right;
154 background-color: #eee;
155 color: #555;
156 }
157
158 /* <verbatim> blocks */
159 pre.verbatim {
160 background-color: #f5f5f5;
161 padding: 0.5em;
162 }
163
164 /* The label/value pairs on (for example) the ci page */
165 table.label-value th {
166 vertical-align: top;
167 text-align: right;
168 padding: 0.2ex 2ex;
169 }
170
+51 -50
--- src/skins.c
+++ src/skins.c
@@ -24,19 +24,19 @@
2424
/* @-comment: // */
2525
/*
2626
** A black-and-white theme with the project title in a bar across the top
2727
** and no logo image.
2828
*/
29
-static const char zBuiltinSkin1[] =
29
+static const char zBuiltinSkin1[] =
3030
@ REPLACE INTO config VALUES('css','/* General settings for the entire page */
3131
@ body {
3232
@ margin: 0ex 1ex;
3333
@ padding: 0px;
3434
@ background-color: white;
3535
@ font-family: sans-serif;
3636
@ }
37
-@
37
+@
3838
@ /* The project logo in the upper left-hand corner of each page */
3939
@ div.logo {
4040
@ display: table-row;
4141
@ text-align: center;
4242
@ /* vertical-align: bottom;*/
@@ -44,11 +44,11 @@
4444
@ font-weight: bold;
4545
@ background-color: #707070;
4646
@ color: #ffffff;
4747
@ min-width: 200px;
4848
@ }
49
-@
49
+@
5050
@ /* The page title centered at the top of each page */
5151
@ div.title {
5252
@ display: table-cell;
5353
@ font-size: 1.5em;
5454
@ font-weight: bold;
@@ -56,11 +56,11 @@
5656
@ padding: 0 0 0 10px;
5757
@ color: #404040;
5858
@ vertical-align: bottom;
5959
@ width: 100%;
6060
@ }
61
-@
61
+@
6262
@ /* The login status message in the top right-hand corner */
6363
@ div.status {
6464
@ display: table-cell;
6565
@ text-align: right;
6666
@ vertical-align: bottom;
@@ -67,17 +67,17 @@
6767
@ color: #404040;
6868
@ font-size: 0.8em;
6969
@ font-weight: bold;
7070
@ min-width: 200px;
7171
@ }
72
-@
72
+@
7373
@ /* The header across the top of the page */
7474
@ div.header {
7575
@ display: table;
7676
@ width: 100%;
7777
@ }
78
-@
78
+@
7979
@ /* The main menu bar that appears at the top of the page beneath
8080
@ ** the header */
8181
@ div.mainmenu {
8282
@ padding: 5px 10px 5px 10px;
8383
@ font-size: 0.9em;
@@ -85,11 +85,11 @@
8585
@ text-align: center;
8686
@ letter-spacing: 1px;
8787
@ background-color: #404040;
8888
@ color: white;
8989
@ }
90
-@
90
+@
9191
@ /* The submenu bar that *sometimes* appears below the main menu */
9292
@ div.submenu {
9393
@ padding: 3px 10px 3px 0px;
9494
@ font-size: 0.9em;
9595
@ text-align: center;
@@ -103,21 +103,21 @@
103103
@ }
104104
@ div.mainmenu a:hover, div.submenu a:hover {
105105
@ color: #404040;
106106
@ background-color: white;
107107
@ }
108
-@
108
+@
109109
@ /* All page content from the bottom of the menu or submenu down to
110110
@ ** the footer */
111111
@ div.content {
112112
@ padding: 0ex 0ex 0ex 0ex;
113113
@ }
114114
@ /* Hyperlink colors */
115115
@ div.content a { color: #604000; }
116116
@ div.content a:link { color: #604000;}
117117
@ div.content a:visited { color: #600000; }
118
-@
118
+@
119119
@ /* Some pages have section dividers */
120120
@ div.section {
121121
@ margin-bottom: 0px;
122122
@ margin-top: 1em;
123123
@ padding: 1px 1px 1px 1px;
@@ -124,11 +124,11 @@
124124
@ font-size: 1.2em;
125125
@ font-weight: bold;
126126
@ background-color: #404040;
127127
@ color: white;
128128
@ }
129
-@
129
+@
130130
@ /* The "Date" that occurs on the left hand side of timelines */
131131
@ div.divider {
132132
@ background: #a0a0a0;
133133
@ border: 2px #505050 solid;
134134
@ font-size: 1em; font-weight: normal;
@@ -135,21 +135,21 @@
135135
@ padding: .25em;
136136
@ margin: .2em 0 .2em 0;
137137
@ float: left;
138138
@ clear: left;
139139
@ }
140
-@
140
+@
141141
@ /* The footer at the very bottom of the page */
142142
@ div.footer {
143143
@ font-size: 0.8em;
144144
@ margin-top: 12px;
145145
@ padding: 5px 10px 5px 10px;
146146
@ text-align: right;
147147
@ background-color: #404040;
148148
@ color: white;
149149
@ }
150
-@
150
+@
151151
@ /* The label/value pairs on (for example) the vinfo page */
152152
@ table.label-value th {
153153
@ vertical-align: top;
154154
@ text-align: right;
155155
@ padding: 0.2ex 2ex;
@@ -206,39 +206,39 @@
206206
@ html "<a href=''$baseurl/login''>Login</a> "
207207
@ }
208208
@ </th1></div>
209209
@ ');
210210
@ REPLACE INTO config VALUES('footer','<div class="footer">
211
-@ Fossil version $manifest_version $manifest_date
211
+@ Fossil version $manifest_version $manifest_date
212212
@ </div>
213213
@ </body></html>
214214
@ ');
215215
;
216216
217217
/*
218218
** A tan theme with the project title above the user identification
219219
** and no logo image.
220220
*/
221
-static const char zBuiltinSkin2[] =
221
+static const char zBuiltinSkin2[] =
222222
@ REPLACE INTO config VALUES('css','/* General settings for the entire page */
223223
@ body {
224224
@ margin: 0ex 0ex;
225225
@ padding: 0px;
226226
@ background-color: #fef3bc;
227227
@ font-family: sans-serif;
228228
@ }
229
-@
229
+@
230230
@ /* The project logo in the upper left-hand corner of each page */
231231
@ div.logo {
232232
@ display: inline;
233233
@ text-align: center;
234234
@ vertical-align: bottom;
235235
@ font-weight: bold;
236236
@ font-size: 2.5em;
237237
@ color: #a09048;
238238
@ }
239
-@
239
+@
240240
@ /* The page title centered at the top of each page */
241241
@ div.title {
242242
@ display: table-cell;
243243
@ font-size: 2em;
244244
@ font-weight: bold;
@@ -246,11 +246,11 @@
246246
@ padding: 0 0 0 5px;
247247
@ color: #a09048;
248248
@ vertical-align: bottom;
249249
@ width: 100%;
250250
@ }
251
-@
251
+@
252252
@ /* The login status message in the top right-hand corner */
253253
@ div.status {
254254
@ display: table-cell;
255255
@ text-align: right;
256256
@ vertical-align: bottom;
@@ -257,17 +257,17 @@
257257
@ color: #a09048;
258258
@ padding: 5px 5px 0 0;
259259
@ font-size: 0.8em;
260260
@ font-weight: bold;
261261
@ }
262
-@
262
+@
263263
@ /* The header across the top of the page */
264264
@ div.header {
265265
@ display: table;
266266
@ width: 100%;
267267
@ }
268
-@
268
+@
269269
@ /* The main menu bar that appears at the top of the page beneath
270270
@ ** the header */
271271
@ div.mainmenu {
272272
@ padding: 5px 10px 5px 10px;
273273
@ font-size: 0.9em;
@@ -275,11 +275,11 @@
275275
@ text-align: center;
276276
@ letter-spacing: 1px;
277277
@ background-color: #a09048;
278278
@ color: black;
279279
@ }
280
-@
280
+@
281281
@ /* The submenu bar that *sometimes* appears below the main menu */
282282
@ div.submenu {
283283
@ padding: 3px 10px 3px 0px;
284284
@ font-size: 0.9em;
285285
@ text-align: center;
@@ -293,21 +293,21 @@
293293
@ }
294294
@ div.mainmenu a:hover, div.submenu a:hover {
295295
@ color: #a09048;
296296
@ background-color: white;
297297
@ }
298
-@
298
+@
299299
@ /* All page content from the bottom of the menu or submenu down to
300300
@ ** the footer */
301301
@ div.content {
302302
@ padding: 1ex 5px;
303303
@ }
304304
@ div.content a { color: #706532; }
305305
@ div.content a:link { color: #706532; }
306306
@ div.content a:visited { color: #704032; }
307307
@ div.content a:hover { background-color: white; color: #706532; }
308
-@
308
+@
309309
@ /* Some pages have section dividers */
310310
@ div.section {
311311
@ margin-bottom: 0px;
312312
@ margin-top: 1em;
313313
@ padding: 3px 3px 0 3px;
@@ -314,11 +314,11 @@
314314
@ font-size: 1.2em;
315315
@ font-weight: bold;
316316
@ background-color: #a09048;
317317
@ color: white;
318318
@ }
319
-@
319
+@
320320
@ /* The "Date" that occurs on the left hand side of timelines */
321321
@ div.divider {
322322
@ background: #e1d498;
323323
@ border: 2px #a09048 solid;
324324
@ font-size: 1em; font-weight: normal;
@@ -325,33 +325,33 @@
325325
@ padding: .25em;
326326
@ margin: .2em 0 .2em 0;
327327
@ float: left;
328328
@ clear: left;
329329
@ }
330
-@
330
+@
331331
@ /* The footer at the very bottom of the page */
332332
@ div.footer {
333333
@ font-size: 0.8em;
334334
@ margin-top: 12px;
335335
@ padding: 5px 10px 5px 10px;
336336
@ text-align: right;
337337
@ background-color: #a09048;
338338
@ color: white;
339339
@ }
340
-@
340
+@
341341
@ /* Hyperlink colors */
342342
@ div.footer a { color: white; }
343343
@ div.footer a:link { color: white; }
344344
@ div.footer a:visited { color: white; }
345345
@ div.footer a:hover { background-color: white; color: #558195; }
346
-@
346
+@
347347
@ /* <verbatim> blocks */
348348
@ pre.verbatim {
349349
@ background-color: #f5f5f5;
350350
@ padding: 0.5em;
351351
@ }
352
-@
352
+@
353353
@ /* The label/value pairs on (for example) the ci page */
354354
@ table.label-value th {
355355
@ vertical-align: top;
356356
@ text-align: right;
357357
@ padding: 0.2ex 2ex;
@@ -418,37 +418,37 @@
418418
419419
/*
420420
** Black letters on a white or cream background with the main menu
421421
** stuck on the left-hand side.
422422
*/
423
-static const char zBuiltinSkin3[] =
423
+static const char zBuiltinSkin3[] =
424424
@ REPLACE INTO config VALUES('css','/* General settings for the entire page */
425425
@ body {
426426
@ margin:0px 0px 0px 0px;
427427
@ padding:0px;
428428
@ font-family:verdana, arial, helvetica, "sans serif";
429429
@ color:#333;
430430
@ background-color:white;
431431
@ }
432
-@
432
+@
433433
@ /* consistent colours */
434434
@ h2 {
435435
@ color: #333;
436436
@ }
437437
@ h3 {
438438
@ color: #333;
439439
@ }
440
-@
440
+@
441441
@ /* The project logo in the upper left-hand corner of each page */
442442
@ div.logo {
443443
@ display: table-cell;
444444
@ text-align: left;
445445
@ vertical-align: bottom;
446446
@ font-weight: bold;
447447
@ color: #333;
448448
@ }
449
-@
449
+@
450450
@ /* The page title centered at the top of each page */
451451
@ div.title {
452452
@ display: table-cell;
453453
@ font-size: 2em;
454454
@ font-weight: bold;
@@ -455,11 +455,11 @@
455455
@ text-align: center;
456456
@ color: #333;
457457
@ vertical-align: bottom;
458458
@ width: 100%;
459459
@ }
460
-@
460
+@
461461
@ /* The login status message in the top right-hand corner */
462462
@ div.status {
463463
@ display: table-cell;
464464
@ padding-right: 10px;
465465
@ text-align: right;
@@ -467,21 +467,21 @@
467467
@ padding-bottom: 5px;
468468
@ color: #333;
469469
@ font-size: 0.8em;
470470
@ font-weight: bold;
471471
@ }
472
-@
472
+@
473473
@ /* The header across the top of the page */
474474
@ div.header {
475475
@ margin:10px 0px 10px 0px;
476476
@ padding:1px 0px 0px 20px;
477477
@ border-style:solid;
478478
@ border-color:black;
479479
@ border-width:1px 0px;
480480
@ background-color:#eee;
481481
@ }
482
-@
482
+@
483483
@ /* The main menu bar that appears at the top left of the page beneath
484484
@ ** the header. Width must be co-ordinated with the container below */
485485
@ div.mainmenu {
486486
@ float: left;
487487
@ margin-left: 10px;
@@ -491,11 +491,11 @@
491491
@ padding:5px;
492492
@ background-color:#eee;
493493
@ border:1px solid #999;
494494
@ width:8em;
495495
@ }
496
-@
496
+@
497497
@ /* Main menu is now a list */
498498
@ div.mainmenu ul {
499499
@ padding: 0;
500500
@ list-style:none;
501501
@ }
@@ -506,17 +506,17 @@
506506
@ }
507507
@ div.mainmenu a:hover {
508508
@ color: #eee;
509509
@ background-color: #333;
510510
@ }
511
-@
511
+@
512512
@ /* Container for the sub-menu and content so they don''t spread
513513
@ ** out underneath the main menu */
514514
@ #container {
515515
@ padding-left: 9em;
516516
@ }
517
-@
517
+@
518518
@ /* The submenu bar that *sometimes* appears below the main menu */
519519
@ div.submenu {
520520
@ padding: 3px 10px 3px 10px;
521521
@ font-size: 0.9em;
522522
@ text-align: center;
@@ -532,18 +532,18 @@
532532
@ }
533533
@ div.submenu a:hover {
534534
@ color: #eee;
535535
@ background-color: #333;
536536
@ }
537
-@
537
+@
538538
@ /* All page content from the bottom of the menu or submenu down to
539539
@ ** the footer */
540540
@ div.content {
541541
@ float right;
542542
@ padding: 2ex 1ex 0ex 2ex;
543543
@ }
544
-@
544
+@
545545
@ /* Some pages have section dividers */
546546
@ div.section {
547547
@ margin-bottom: 0px;
548548
@ margin-top: 1em;
549549
@ padding: 1px 1px 1px 1px;
@@ -553,11 +553,11 @@
553553
@ border-color:#999;
554554
@ border-width:1px 0px;
555555
@ background-color: #eee;
556556
@ color: #333;
557557
@ }
558
-@
558
+@
559559
@ /* The "Date" that occurs on the left hand side of timelines */
560560
@ div.divider {
561561
@ background: #eee;
562562
@ border: 2px #999 solid;
563563
@ font-size: 1em; font-weight: normal;
@@ -565,27 +565,27 @@
565565
@ margin: .2em 0 .2em 0;
566566
@ float: left;
567567
@ clear: left;
568568
@ color: #333
569569
@ }
570
-@
570
+@
571571
@ /* The footer at the very bottom of the page */
572572
@ div.footer {
573573
@ font-size: 0.8em;
574574
@ margin-top: 12px;
575575
@ padding: 5px 10px 5px 10px;
576576
@ text-align: right;
577577
@ background-color: #eee;
578578
@ color: #555;
579579
@ }
580
-@
580
+@
581581
@ /* <verbatim> blocks */
582582
@ pre.verbatim {
583583
@ background-color: #f5f5f5;
584584
@ padding: 0.5em;
585585
@ }
586
-@
586
+@
587587
@ /* The label/value pairs on (for example) the ci page */
588588
@ table.label-value th {
589589
@ vertical-align: top;
590590
@ text-align: right;
591591
@ padding: 0.2ex 2ex;
@@ -656,15 +656,16 @@
656656
** An array of available built-in skins.
657657
*/
658658
static struct BuiltinSkin {
659659
const char *zName;
660660
const char *zValue;
661
+ const char *zAuthor;
661662
} aBuiltinSkin[] = {
662
- { "Default", 0 /* Filled in at runtime */ },
663
- { "Plain Gray, No Logo", zBuiltinSkin1 },
664
- { "Khaki, No Logo", zBuiltinSkin2 },
665
- { "Black & White, Menu on Left", zBuiltinSkin3 },
663
+ { "Default", 0 /* Filled in at runtime */, 0},
664
+ { "Plain Gray, No Logo", zBuiltinSkin1, "Unknown"},
665
+ { "Khaki, No Logo", zBuiltinSkin2, "Unknown"},
666
+ { "Black & White, Menu on Left", zBuiltinSkin3, "Unknown"},
666667
};
667668
668669
/*
669670
** For a skin named zSkinName, compute the name of the CONFIG table
670671
** entry where that skin is stored and return it.
@@ -799,11 +800,11 @@
799800
}
800801
}
801802
802803
style_header("Skins");
803804
@ <p>A "skin" is a combination of
804
- @ <a href="setup_editcss">CSS</a>,
805
+ @ <a href="setup_editcss">CSS</a>,
805806
@ <a href="setup_header">Header</a>,
806807
@ <a href="setup_footer">Footer</a>, and
807808
@ <a href="setup_logo">Logo</a> that determines the look and feel
808809
@ of the web interface.</p>
809810
@
@@ -813,11 +814,11 @@
813814
z = aBuiltinSkin[i].zName;
814815
if( strcmp(aBuiltinSkin[i].zValue, zCurrent)==0 ){
815816
@ <li><p>%h(z).&nbsp;&nbsp; <b>Currently In Use</b></p>
816817
}else{
817818
@ <li><form action="%s(g.zBaseURL)/setup_skin" method="POST">
818
- @ %h(z).&nbsp;&nbsp;
819
+ @ %h(z).&nbsp;&nbsp;
819820
@ <input type="hidden" name="sn" value="%h(z)">
820821
@ <input type="submit" name="load" value="Use This Skin">
821822
@ </form></li>
822823
}
823824
}
@@ -831,11 +832,11 @@
831832
const char *zV = db_column_text(&q, 1);
832833
if( strcmp(zV, zCurrent)==0 ){
833834
@ <li><p>%h(zN).&nbsp;&nbsp; <b>Currently In Use</b></p>
834835
}else{
835836
@ <li><form action="%s(g.zBaseURL)/setup_skin" method="POST">
836
- @ %h(zN).&nbsp;&nbsp;
837
+ @ %h(zN).&nbsp;&nbsp;
837838
@ <input type="hidden" name="sn" value="%h(zN)">
838839
@ <input type="submit" name="load" value="Use This Skin">
839840
@ <input type="submit" name="del1" value="Delete This Skin">
840841
@ </form></li>
841842
}
842843
--- src/skins.c
+++ src/skins.c
@@ -24,19 +24,19 @@
24 /* @-comment: // */
25 /*
26 ** A black-and-white theme with the project title in a bar across the top
27 ** and no logo image.
28 */
29 static const char zBuiltinSkin1[] =
30 @ REPLACE INTO config VALUES('css','/* General settings for the entire page */
31 @ body {
32 @ margin: 0ex 1ex;
33 @ padding: 0px;
34 @ background-color: white;
35 @ font-family: sans-serif;
36 @ }
37 @
38 @ /* The project logo in the upper left-hand corner of each page */
39 @ div.logo {
40 @ display: table-row;
41 @ text-align: center;
42 @ /* vertical-align: bottom;*/
@@ -44,11 +44,11 @@
44 @ font-weight: bold;
45 @ background-color: #707070;
46 @ color: #ffffff;
47 @ min-width: 200px;
48 @ }
49 @
50 @ /* The page title centered at the top of each page */
51 @ div.title {
52 @ display: table-cell;
53 @ font-size: 1.5em;
54 @ font-weight: bold;
@@ -56,11 +56,11 @@
56 @ padding: 0 0 0 10px;
57 @ color: #404040;
58 @ vertical-align: bottom;
59 @ width: 100%;
60 @ }
61 @
62 @ /* The login status message in the top right-hand corner */
63 @ div.status {
64 @ display: table-cell;
65 @ text-align: right;
66 @ vertical-align: bottom;
@@ -67,17 +67,17 @@
67 @ color: #404040;
68 @ font-size: 0.8em;
69 @ font-weight: bold;
70 @ min-width: 200px;
71 @ }
72 @
73 @ /* The header across the top of the page */
74 @ div.header {
75 @ display: table;
76 @ width: 100%;
77 @ }
78 @
79 @ /* The main menu bar that appears at the top of the page beneath
80 @ ** the header */
81 @ div.mainmenu {
82 @ padding: 5px 10px 5px 10px;
83 @ font-size: 0.9em;
@@ -85,11 +85,11 @@
85 @ text-align: center;
86 @ letter-spacing: 1px;
87 @ background-color: #404040;
88 @ color: white;
89 @ }
90 @
91 @ /* The submenu bar that *sometimes* appears below the main menu */
92 @ div.submenu {
93 @ padding: 3px 10px 3px 0px;
94 @ font-size: 0.9em;
95 @ text-align: center;
@@ -103,21 +103,21 @@
103 @ }
104 @ div.mainmenu a:hover, div.submenu a:hover {
105 @ color: #404040;
106 @ background-color: white;
107 @ }
108 @
109 @ /* All page content from the bottom of the menu or submenu down to
110 @ ** the footer */
111 @ div.content {
112 @ padding: 0ex 0ex 0ex 0ex;
113 @ }
114 @ /* Hyperlink colors */
115 @ div.content a { color: #604000; }
116 @ div.content a:link { color: #604000;}
117 @ div.content a:visited { color: #600000; }
118 @
119 @ /* Some pages have section dividers */
120 @ div.section {
121 @ margin-bottom: 0px;
122 @ margin-top: 1em;
123 @ padding: 1px 1px 1px 1px;
@@ -124,11 +124,11 @@
124 @ font-size: 1.2em;
125 @ font-weight: bold;
126 @ background-color: #404040;
127 @ color: white;
128 @ }
129 @
130 @ /* The "Date" that occurs on the left hand side of timelines */
131 @ div.divider {
132 @ background: #a0a0a0;
133 @ border: 2px #505050 solid;
134 @ font-size: 1em; font-weight: normal;
@@ -135,21 +135,21 @@
135 @ padding: .25em;
136 @ margin: .2em 0 .2em 0;
137 @ float: left;
138 @ clear: left;
139 @ }
140 @
141 @ /* The footer at the very bottom of the page */
142 @ div.footer {
143 @ font-size: 0.8em;
144 @ margin-top: 12px;
145 @ padding: 5px 10px 5px 10px;
146 @ text-align: right;
147 @ background-color: #404040;
148 @ color: white;
149 @ }
150 @
151 @ /* The label/value pairs on (for example) the vinfo page */
152 @ table.label-value th {
153 @ vertical-align: top;
154 @ text-align: right;
155 @ padding: 0.2ex 2ex;
@@ -206,39 +206,39 @@
206 @ html "<a href=''$baseurl/login''>Login</a> "
207 @ }
208 @ </th1></div>
209 @ ');
210 @ REPLACE INTO config VALUES('footer','<div class="footer">
211 @ Fossil version $manifest_version $manifest_date
212 @ </div>
213 @ </body></html>
214 @ ');
215 ;
216
217 /*
218 ** A tan theme with the project title above the user identification
219 ** and no logo image.
220 */
221 static const char zBuiltinSkin2[] =
222 @ REPLACE INTO config VALUES('css','/* General settings for the entire page */
223 @ body {
224 @ margin: 0ex 0ex;
225 @ padding: 0px;
226 @ background-color: #fef3bc;
227 @ font-family: sans-serif;
228 @ }
229 @
230 @ /* The project logo in the upper left-hand corner of each page */
231 @ div.logo {
232 @ display: inline;
233 @ text-align: center;
234 @ vertical-align: bottom;
235 @ font-weight: bold;
236 @ font-size: 2.5em;
237 @ color: #a09048;
238 @ }
239 @
240 @ /* The page title centered at the top of each page */
241 @ div.title {
242 @ display: table-cell;
243 @ font-size: 2em;
244 @ font-weight: bold;
@@ -246,11 +246,11 @@
246 @ padding: 0 0 0 5px;
247 @ color: #a09048;
248 @ vertical-align: bottom;
249 @ width: 100%;
250 @ }
251 @
252 @ /* The login status message in the top right-hand corner */
253 @ div.status {
254 @ display: table-cell;
255 @ text-align: right;
256 @ vertical-align: bottom;
@@ -257,17 +257,17 @@
257 @ color: #a09048;
258 @ padding: 5px 5px 0 0;
259 @ font-size: 0.8em;
260 @ font-weight: bold;
261 @ }
262 @
263 @ /* The header across the top of the page */
264 @ div.header {
265 @ display: table;
266 @ width: 100%;
267 @ }
268 @
269 @ /* The main menu bar that appears at the top of the page beneath
270 @ ** the header */
271 @ div.mainmenu {
272 @ padding: 5px 10px 5px 10px;
273 @ font-size: 0.9em;
@@ -275,11 +275,11 @@
275 @ text-align: center;
276 @ letter-spacing: 1px;
277 @ background-color: #a09048;
278 @ color: black;
279 @ }
280 @
281 @ /* The submenu bar that *sometimes* appears below the main menu */
282 @ div.submenu {
283 @ padding: 3px 10px 3px 0px;
284 @ font-size: 0.9em;
285 @ text-align: center;
@@ -293,21 +293,21 @@
293 @ }
294 @ div.mainmenu a:hover, div.submenu a:hover {
295 @ color: #a09048;
296 @ background-color: white;
297 @ }
298 @
299 @ /* All page content from the bottom of the menu or submenu down to
300 @ ** the footer */
301 @ div.content {
302 @ padding: 1ex 5px;
303 @ }
304 @ div.content a { color: #706532; }
305 @ div.content a:link { color: #706532; }
306 @ div.content a:visited { color: #704032; }
307 @ div.content a:hover { background-color: white; color: #706532; }
308 @
309 @ /* Some pages have section dividers */
310 @ div.section {
311 @ margin-bottom: 0px;
312 @ margin-top: 1em;
313 @ padding: 3px 3px 0 3px;
@@ -314,11 +314,11 @@
314 @ font-size: 1.2em;
315 @ font-weight: bold;
316 @ background-color: #a09048;
317 @ color: white;
318 @ }
319 @
320 @ /* The "Date" that occurs on the left hand side of timelines */
321 @ div.divider {
322 @ background: #e1d498;
323 @ border: 2px #a09048 solid;
324 @ font-size: 1em; font-weight: normal;
@@ -325,33 +325,33 @@
325 @ padding: .25em;
326 @ margin: .2em 0 .2em 0;
327 @ float: left;
328 @ clear: left;
329 @ }
330 @
331 @ /* The footer at the very bottom of the page */
332 @ div.footer {
333 @ font-size: 0.8em;
334 @ margin-top: 12px;
335 @ padding: 5px 10px 5px 10px;
336 @ text-align: right;
337 @ background-color: #a09048;
338 @ color: white;
339 @ }
340 @
341 @ /* Hyperlink colors */
342 @ div.footer a { color: white; }
343 @ div.footer a:link { color: white; }
344 @ div.footer a:visited { color: white; }
345 @ div.footer a:hover { background-color: white; color: #558195; }
346 @
347 @ /* <verbatim> blocks */
348 @ pre.verbatim {
349 @ background-color: #f5f5f5;
350 @ padding: 0.5em;
351 @ }
352 @
353 @ /* The label/value pairs on (for example) the ci page */
354 @ table.label-value th {
355 @ vertical-align: top;
356 @ text-align: right;
357 @ padding: 0.2ex 2ex;
@@ -418,37 +418,37 @@
418
419 /*
420 ** Black letters on a white or cream background with the main menu
421 ** stuck on the left-hand side.
422 */
423 static const char zBuiltinSkin3[] =
424 @ REPLACE INTO config VALUES('css','/* General settings for the entire page */
425 @ body {
426 @ margin:0px 0px 0px 0px;
427 @ padding:0px;
428 @ font-family:verdana, arial, helvetica, "sans serif";
429 @ color:#333;
430 @ background-color:white;
431 @ }
432 @
433 @ /* consistent colours */
434 @ h2 {
435 @ color: #333;
436 @ }
437 @ h3 {
438 @ color: #333;
439 @ }
440 @
441 @ /* The project logo in the upper left-hand corner of each page */
442 @ div.logo {
443 @ display: table-cell;
444 @ text-align: left;
445 @ vertical-align: bottom;
446 @ font-weight: bold;
447 @ color: #333;
448 @ }
449 @
450 @ /* The page title centered at the top of each page */
451 @ div.title {
452 @ display: table-cell;
453 @ font-size: 2em;
454 @ font-weight: bold;
@@ -455,11 +455,11 @@
455 @ text-align: center;
456 @ color: #333;
457 @ vertical-align: bottom;
458 @ width: 100%;
459 @ }
460 @
461 @ /* The login status message in the top right-hand corner */
462 @ div.status {
463 @ display: table-cell;
464 @ padding-right: 10px;
465 @ text-align: right;
@@ -467,21 +467,21 @@
467 @ padding-bottom: 5px;
468 @ color: #333;
469 @ font-size: 0.8em;
470 @ font-weight: bold;
471 @ }
472 @
473 @ /* The header across the top of the page */
474 @ div.header {
475 @ margin:10px 0px 10px 0px;
476 @ padding:1px 0px 0px 20px;
477 @ border-style:solid;
478 @ border-color:black;
479 @ border-width:1px 0px;
480 @ background-color:#eee;
481 @ }
482 @
483 @ /* The main menu bar that appears at the top left of the page beneath
484 @ ** the header. Width must be co-ordinated with the container below */
485 @ div.mainmenu {
486 @ float: left;
487 @ margin-left: 10px;
@@ -491,11 +491,11 @@
491 @ padding:5px;
492 @ background-color:#eee;
493 @ border:1px solid #999;
494 @ width:8em;
495 @ }
496 @
497 @ /* Main menu is now a list */
498 @ div.mainmenu ul {
499 @ padding: 0;
500 @ list-style:none;
501 @ }
@@ -506,17 +506,17 @@
506 @ }
507 @ div.mainmenu a:hover {
508 @ color: #eee;
509 @ background-color: #333;
510 @ }
511 @
512 @ /* Container for the sub-menu and content so they don''t spread
513 @ ** out underneath the main menu */
514 @ #container {
515 @ padding-left: 9em;
516 @ }
517 @
518 @ /* The submenu bar that *sometimes* appears below the main menu */
519 @ div.submenu {
520 @ padding: 3px 10px 3px 10px;
521 @ font-size: 0.9em;
522 @ text-align: center;
@@ -532,18 +532,18 @@
532 @ }
533 @ div.submenu a:hover {
534 @ color: #eee;
535 @ background-color: #333;
536 @ }
537 @
538 @ /* All page content from the bottom of the menu or submenu down to
539 @ ** the footer */
540 @ div.content {
541 @ float right;
542 @ padding: 2ex 1ex 0ex 2ex;
543 @ }
544 @
545 @ /* Some pages have section dividers */
546 @ div.section {
547 @ margin-bottom: 0px;
548 @ margin-top: 1em;
549 @ padding: 1px 1px 1px 1px;
@@ -553,11 +553,11 @@
553 @ border-color:#999;
554 @ border-width:1px 0px;
555 @ background-color: #eee;
556 @ color: #333;
557 @ }
558 @
559 @ /* The "Date" that occurs on the left hand side of timelines */
560 @ div.divider {
561 @ background: #eee;
562 @ border: 2px #999 solid;
563 @ font-size: 1em; font-weight: normal;
@@ -565,27 +565,27 @@
565 @ margin: .2em 0 .2em 0;
566 @ float: left;
567 @ clear: left;
568 @ color: #333
569 @ }
570 @
571 @ /* The footer at the very bottom of the page */
572 @ div.footer {
573 @ font-size: 0.8em;
574 @ margin-top: 12px;
575 @ padding: 5px 10px 5px 10px;
576 @ text-align: right;
577 @ background-color: #eee;
578 @ color: #555;
579 @ }
580 @
581 @ /* <verbatim> blocks */
582 @ pre.verbatim {
583 @ background-color: #f5f5f5;
584 @ padding: 0.5em;
585 @ }
586 @
587 @ /* The label/value pairs on (for example) the ci page */
588 @ table.label-value th {
589 @ vertical-align: top;
590 @ text-align: right;
591 @ padding: 0.2ex 2ex;
@@ -656,15 +656,16 @@
656 ** An array of available built-in skins.
657 */
658 static struct BuiltinSkin {
659 const char *zName;
660 const char *zValue;
 
661 } aBuiltinSkin[] = {
662 { "Default", 0 /* Filled in at runtime */ },
663 { "Plain Gray, No Logo", zBuiltinSkin1 },
664 { "Khaki, No Logo", zBuiltinSkin2 },
665 { "Black & White, Menu on Left", zBuiltinSkin3 },
666 };
667
668 /*
669 ** For a skin named zSkinName, compute the name of the CONFIG table
670 ** entry where that skin is stored and return it.
@@ -799,11 +800,11 @@
799 }
800 }
801
802 style_header("Skins");
803 @ <p>A "skin" is a combination of
804 @ <a href="setup_editcss">CSS</a>,
805 @ <a href="setup_header">Header</a>,
806 @ <a href="setup_footer">Footer</a>, and
807 @ <a href="setup_logo">Logo</a> that determines the look and feel
808 @ of the web interface.</p>
809 @
@@ -813,11 +814,11 @@
813 z = aBuiltinSkin[i].zName;
814 if( strcmp(aBuiltinSkin[i].zValue, zCurrent)==0 ){
815 @ <li><p>%h(z).&nbsp;&nbsp; <b>Currently In Use</b></p>
816 }else{
817 @ <li><form action="%s(g.zBaseURL)/setup_skin" method="POST">
818 @ %h(z).&nbsp;&nbsp;
819 @ <input type="hidden" name="sn" value="%h(z)">
820 @ <input type="submit" name="load" value="Use This Skin">
821 @ </form></li>
822 }
823 }
@@ -831,11 +832,11 @@
831 const char *zV = db_column_text(&q, 1);
832 if( strcmp(zV, zCurrent)==0 ){
833 @ <li><p>%h(zN).&nbsp;&nbsp; <b>Currently In Use</b></p>
834 }else{
835 @ <li><form action="%s(g.zBaseURL)/setup_skin" method="POST">
836 @ %h(zN).&nbsp;&nbsp;
837 @ <input type="hidden" name="sn" value="%h(zN)">
838 @ <input type="submit" name="load" value="Use This Skin">
839 @ <input type="submit" name="del1" value="Delete This Skin">
840 @ </form></li>
841 }
842
--- src/skins.c
+++ src/skins.c
@@ -24,19 +24,19 @@
24 /* @-comment: // */
25 /*
26 ** A black-and-white theme with the project title in a bar across the top
27 ** and no logo image.
28 */
29 static const char zBuiltinSkin1[] =
30 @ REPLACE INTO config VALUES('css','/* General settings for the entire page */
31 @ body {
32 @ margin: 0ex 1ex;
33 @ padding: 0px;
34 @ background-color: white;
35 @ font-family: sans-serif;
36 @ }
37 @
38 @ /* The project logo in the upper left-hand corner of each page */
39 @ div.logo {
40 @ display: table-row;
41 @ text-align: center;
42 @ /* vertical-align: bottom;*/
@@ -44,11 +44,11 @@
44 @ font-weight: bold;
45 @ background-color: #707070;
46 @ color: #ffffff;
47 @ min-width: 200px;
48 @ }
49 @
50 @ /* The page title centered at the top of each page */
51 @ div.title {
52 @ display: table-cell;
53 @ font-size: 1.5em;
54 @ font-weight: bold;
@@ -56,11 +56,11 @@
56 @ padding: 0 0 0 10px;
57 @ color: #404040;
58 @ vertical-align: bottom;
59 @ width: 100%;
60 @ }
61 @
62 @ /* The login status message in the top right-hand corner */
63 @ div.status {
64 @ display: table-cell;
65 @ text-align: right;
66 @ vertical-align: bottom;
@@ -67,17 +67,17 @@
67 @ color: #404040;
68 @ font-size: 0.8em;
69 @ font-weight: bold;
70 @ min-width: 200px;
71 @ }
72 @
73 @ /* The header across the top of the page */
74 @ div.header {
75 @ display: table;
76 @ width: 100%;
77 @ }
78 @
79 @ /* The main menu bar that appears at the top of the page beneath
80 @ ** the header */
81 @ div.mainmenu {
82 @ padding: 5px 10px 5px 10px;
83 @ font-size: 0.9em;
@@ -85,11 +85,11 @@
85 @ text-align: center;
86 @ letter-spacing: 1px;
87 @ background-color: #404040;
88 @ color: white;
89 @ }
90 @
91 @ /* The submenu bar that *sometimes* appears below the main menu */
92 @ div.submenu {
93 @ padding: 3px 10px 3px 0px;
94 @ font-size: 0.9em;
95 @ text-align: center;
@@ -103,21 +103,21 @@
103 @ }
104 @ div.mainmenu a:hover, div.submenu a:hover {
105 @ color: #404040;
106 @ background-color: white;
107 @ }
108 @
109 @ /* All page content from the bottom of the menu or submenu down to
110 @ ** the footer */
111 @ div.content {
112 @ padding: 0ex 0ex 0ex 0ex;
113 @ }
114 @ /* Hyperlink colors */
115 @ div.content a { color: #604000; }
116 @ div.content a:link { color: #604000;}
117 @ div.content a:visited { color: #600000; }
118 @
119 @ /* Some pages have section dividers */
120 @ div.section {
121 @ margin-bottom: 0px;
122 @ margin-top: 1em;
123 @ padding: 1px 1px 1px 1px;
@@ -124,11 +124,11 @@
124 @ font-size: 1.2em;
125 @ font-weight: bold;
126 @ background-color: #404040;
127 @ color: white;
128 @ }
129 @
130 @ /* The "Date" that occurs on the left hand side of timelines */
131 @ div.divider {
132 @ background: #a0a0a0;
133 @ border: 2px #505050 solid;
134 @ font-size: 1em; font-weight: normal;
@@ -135,21 +135,21 @@
135 @ padding: .25em;
136 @ margin: .2em 0 .2em 0;
137 @ float: left;
138 @ clear: left;
139 @ }
140 @
141 @ /* The footer at the very bottom of the page */
142 @ div.footer {
143 @ font-size: 0.8em;
144 @ margin-top: 12px;
145 @ padding: 5px 10px 5px 10px;
146 @ text-align: right;
147 @ background-color: #404040;
148 @ color: white;
149 @ }
150 @
151 @ /* The label/value pairs on (for example) the vinfo page */
152 @ table.label-value th {
153 @ vertical-align: top;
154 @ text-align: right;
155 @ padding: 0.2ex 2ex;
@@ -206,39 +206,39 @@
206 @ html "<a href=''$baseurl/login''>Login</a> "
207 @ }
208 @ </th1></div>
209 @ ');
210 @ REPLACE INTO config VALUES('footer','<div class="footer">
211 @ Fossil version $manifest_version $manifest_date
212 @ </div>
213 @ </body></html>
214 @ ');
215 ;
216
217 /*
218 ** A tan theme with the project title above the user identification
219 ** and no logo image.
220 */
221 static const char zBuiltinSkin2[] =
222 @ REPLACE INTO config VALUES('css','/* General settings for the entire page */
223 @ body {
224 @ margin: 0ex 0ex;
225 @ padding: 0px;
226 @ background-color: #fef3bc;
227 @ font-family: sans-serif;
228 @ }
229 @
230 @ /* The project logo in the upper left-hand corner of each page */
231 @ div.logo {
232 @ display: inline;
233 @ text-align: center;
234 @ vertical-align: bottom;
235 @ font-weight: bold;
236 @ font-size: 2.5em;
237 @ color: #a09048;
238 @ }
239 @
240 @ /* The page title centered at the top of each page */
241 @ div.title {
242 @ display: table-cell;
243 @ font-size: 2em;
244 @ font-weight: bold;
@@ -246,11 +246,11 @@
246 @ padding: 0 0 0 5px;
247 @ color: #a09048;
248 @ vertical-align: bottom;
249 @ width: 100%;
250 @ }
251 @
252 @ /* The login status message in the top right-hand corner */
253 @ div.status {
254 @ display: table-cell;
255 @ text-align: right;
256 @ vertical-align: bottom;
@@ -257,17 +257,17 @@
257 @ color: #a09048;
258 @ padding: 5px 5px 0 0;
259 @ font-size: 0.8em;
260 @ font-weight: bold;
261 @ }
262 @
263 @ /* The header across the top of the page */
264 @ div.header {
265 @ display: table;
266 @ width: 100%;
267 @ }
268 @
269 @ /* The main menu bar that appears at the top of the page beneath
270 @ ** the header */
271 @ div.mainmenu {
272 @ padding: 5px 10px 5px 10px;
273 @ font-size: 0.9em;
@@ -275,11 +275,11 @@
275 @ text-align: center;
276 @ letter-spacing: 1px;
277 @ background-color: #a09048;
278 @ color: black;
279 @ }
280 @
281 @ /* The submenu bar that *sometimes* appears below the main menu */
282 @ div.submenu {
283 @ padding: 3px 10px 3px 0px;
284 @ font-size: 0.9em;
285 @ text-align: center;
@@ -293,21 +293,21 @@
293 @ }
294 @ div.mainmenu a:hover, div.submenu a:hover {
295 @ color: #a09048;
296 @ background-color: white;
297 @ }
298 @
299 @ /* All page content from the bottom of the menu or submenu down to
300 @ ** the footer */
301 @ div.content {
302 @ padding: 1ex 5px;
303 @ }
304 @ div.content a { color: #706532; }
305 @ div.content a:link { color: #706532; }
306 @ div.content a:visited { color: #704032; }
307 @ div.content a:hover { background-color: white; color: #706532; }
308 @
309 @ /* Some pages have section dividers */
310 @ div.section {
311 @ margin-bottom: 0px;
312 @ margin-top: 1em;
313 @ padding: 3px 3px 0 3px;
@@ -314,11 +314,11 @@
314 @ font-size: 1.2em;
315 @ font-weight: bold;
316 @ background-color: #a09048;
317 @ color: white;
318 @ }
319 @
320 @ /* The "Date" that occurs on the left hand side of timelines */
321 @ div.divider {
322 @ background: #e1d498;
323 @ border: 2px #a09048 solid;
324 @ font-size: 1em; font-weight: normal;
@@ -325,33 +325,33 @@
325 @ padding: .25em;
326 @ margin: .2em 0 .2em 0;
327 @ float: left;
328 @ clear: left;
329 @ }
330 @
331 @ /* The footer at the very bottom of the page */
332 @ div.footer {
333 @ font-size: 0.8em;
334 @ margin-top: 12px;
335 @ padding: 5px 10px 5px 10px;
336 @ text-align: right;
337 @ background-color: #a09048;
338 @ color: white;
339 @ }
340 @
341 @ /* Hyperlink colors */
342 @ div.footer a { color: white; }
343 @ div.footer a:link { color: white; }
344 @ div.footer a:visited { color: white; }
345 @ div.footer a:hover { background-color: white; color: #558195; }
346 @
347 @ /* <verbatim> blocks */
348 @ pre.verbatim {
349 @ background-color: #f5f5f5;
350 @ padding: 0.5em;
351 @ }
352 @
353 @ /* The label/value pairs on (for example) the ci page */
354 @ table.label-value th {
355 @ vertical-align: top;
356 @ text-align: right;
357 @ padding: 0.2ex 2ex;
@@ -418,37 +418,37 @@
418
419 /*
420 ** Black letters on a white or cream background with the main menu
421 ** stuck on the left-hand side.
422 */
423 static const char zBuiltinSkin3[] =
424 @ REPLACE INTO config VALUES('css','/* General settings for the entire page */
425 @ body {
426 @ margin:0px 0px 0px 0px;
427 @ padding:0px;
428 @ font-family:verdana, arial, helvetica, "sans serif";
429 @ color:#333;
430 @ background-color:white;
431 @ }
432 @
433 @ /* consistent colours */
434 @ h2 {
435 @ color: #333;
436 @ }
437 @ h3 {
438 @ color: #333;
439 @ }
440 @
441 @ /* The project logo in the upper left-hand corner of each page */
442 @ div.logo {
443 @ display: table-cell;
444 @ text-align: left;
445 @ vertical-align: bottom;
446 @ font-weight: bold;
447 @ color: #333;
448 @ }
449 @
450 @ /* The page title centered at the top of each page */
451 @ div.title {
452 @ display: table-cell;
453 @ font-size: 2em;
454 @ font-weight: bold;
@@ -455,11 +455,11 @@
455 @ text-align: center;
456 @ color: #333;
457 @ vertical-align: bottom;
458 @ width: 100%;
459 @ }
460 @
461 @ /* The login status message in the top right-hand corner */
462 @ div.status {
463 @ display: table-cell;
464 @ padding-right: 10px;
465 @ text-align: right;
@@ -467,21 +467,21 @@
467 @ padding-bottom: 5px;
468 @ color: #333;
469 @ font-size: 0.8em;
470 @ font-weight: bold;
471 @ }
472 @
473 @ /* The header across the top of the page */
474 @ div.header {
475 @ margin:10px 0px 10px 0px;
476 @ padding:1px 0px 0px 20px;
477 @ border-style:solid;
478 @ border-color:black;
479 @ border-width:1px 0px;
480 @ background-color:#eee;
481 @ }
482 @
483 @ /* The main menu bar that appears at the top left of the page beneath
484 @ ** the header. Width must be co-ordinated with the container below */
485 @ div.mainmenu {
486 @ float: left;
487 @ margin-left: 10px;
@@ -491,11 +491,11 @@
491 @ padding:5px;
492 @ background-color:#eee;
493 @ border:1px solid #999;
494 @ width:8em;
495 @ }
496 @
497 @ /* Main menu is now a list */
498 @ div.mainmenu ul {
499 @ padding: 0;
500 @ list-style:none;
501 @ }
@@ -506,17 +506,17 @@
506 @ }
507 @ div.mainmenu a:hover {
508 @ color: #eee;
509 @ background-color: #333;
510 @ }
511 @
512 @ /* Container for the sub-menu and content so they don''t spread
513 @ ** out underneath the main menu */
514 @ #container {
515 @ padding-left: 9em;
516 @ }
517 @
518 @ /* The submenu bar that *sometimes* appears below the main menu */
519 @ div.submenu {
520 @ padding: 3px 10px 3px 10px;
521 @ font-size: 0.9em;
522 @ text-align: center;
@@ -532,18 +532,18 @@
532 @ }
533 @ div.submenu a:hover {
534 @ color: #eee;
535 @ background-color: #333;
536 @ }
537 @
538 @ /* All page content from the bottom of the menu or submenu down to
539 @ ** the footer */
540 @ div.content {
541 @ float right;
542 @ padding: 2ex 1ex 0ex 2ex;
543 @ }
544 @
545 @ /* Some pages have section dividers */
546 @ div.section {
547 @ margin-bottom: 0px;
548 @ margin-top: 1em;
549 @ padding: 1px 1px 1px 1px;
@@ -553,11 +553,11 @@
553 @ border-color:#999;
554 @ border-width:1px 0px;
555 @ background-color: #eee;
556 @ color: #333;
557 @ }
558 @
559 @ /* The "Date" that occurs on the left hand side of timelines */
560 @ div.divider {
561 @ background: #eee;
562 @ border: 2px #999 solid;
563 @ font-size: 1em; font-weight: normal;
@@ -565,27 +565,27 @@
565 @ margin: .2em 0 .2em 0;
566 @ float: left;
567 @ clear: left;
568 @ color: #333
569 @ }
570 @
571 @ /* The footer at the very bottom of the page */
572 @ div.footer {
573 @ font-size: 0.8em;
574 @ margin-top: 12px;
575 @ padding: 5px 10px 5px 10px;
576 @ text-align: right;
577 @ background-color: #eee;
578 @ color: #555;
579 @ }
580 @
581 @ /* <verbatim> blocks */
582 @ pre.verbatim {
583 @ background-color: #f5f5f5;
584 @ padding: 0.5em;
585 @ }
586 @
587 @ /* The label/value pairs on (for example) the ci page */
588 @ table.label-value th {
589 @ vertical-align: top;
590 @ text-align: right;
591 @ padding: 0.2ex 2ex;
@@ -656,15 +656,16 @@
656 ** An array of available built-in skins.
657 */
658 static struct BuiltinSkin {
659 const char *zName;
660 const char *zValue;
661 const char *zAuthor;
662 } aBuiltinSkin[] = {
663 { "Default", 0 /* Filled in at runtime */, 0},
664 { "Plain Gray, No Logo", zBuiltinSkin1, "Unknown"},
665 { "Khaki, No Logo", zBuiltinSkin2, "Unknown"},
666 { "Black & White, Menu on Left", zBuiltinSkin3, "Unknown"},
667 };
668
669 /*
670 ** For a skin named zSkinName, compute the name of the CONFIG table
671 ** entry where that skin is stored and return it.
@@ -799,11 +800,11 @@
800 }
801 }
802
803 style_header("Skins");
804 @ <p>A "skin" is a combination of
805 @ <a href="setup_editcss">CSS</a>,
806 @ <a href="setup_header">Header</a>,
807 @ <a href="setup_footer">Footer</a>, and
808 @ <a href="setup_logo">Logo</a> that determines the look and feel
809 @ of the web interface.</p>
810 @
@@ -813,11 +814,11 @@
814 z = aBuiltinSkin[i].zName;
815 if( strcmp(aBuiltinSkin[i].zValue, zCurrent)==0 ){
816 @ <li><p>%h(z).&nbsp;&nbsp; <b>Currently In Use</b></p>
817 }else{
818 @ <li><form action="%s(g.zBaseURL)/setup_skin" method="POST">
819 @ %h(z).&nbsp;&nbsp;
820 @ <input type="hidden" name="sn" value="%h(z)">
821 @ <input type="submit" name="load" value="Use This Skin">
822 @ </form></li>
823 }
824 }
@@ -831,11 +832,11 @@
832 const char *zV = db_column_text(&q, 1);
833 if( strcmp(zV, zCurrent)==0 ){
834 @ <li><p>%h(zN).&nbsp;&nbsp; <b>Currently In Use</b></p>
835 }else{
836 @ <li><form action="%s(g.zBaseURL)/setup_skin" method="POST">
837 @ %h(zN).&nbsp;&nbsp;
838 @ <input type="hidden" name="sn" value="%h(zN)">
839 @ <input type="submit" name="load" value="Use This Skin">
840 @ <input type="submit" name="del1" value="Delete This Skin">
841 @ </form></li>
842 }
843

Keyboard Shortcuts

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