if {[info exists login]} {
- html "$login\n"
+ html "$login\n"
} else {
html "Login\n"
}
-
-
+
+
-
+
+
Index: skins/eagle/css.txt
==================================================================
--- skins/eagle/css.txt
+++ skins/eagle/css.txt
@@ -47,18 +47,18 @@
font-weight: bold;
white-space: nowrap;
}
/* The header across the top of the page */
-div.header {
+header.header {
display: table;
width: 100%;
}
/* The main menu bar that appears at the top of the page beneath
** the header */
-div.mainmenu {
+nav.mainmenu {
padding: 5px 10px 5px 10px;
font-size: 0.9em;
font-weight: bold;
text-align: center;
letter-spacing: 1px;
@@ -66,11 +66,11 @@
border-top-left-radius: 8px;
border-top-right-radius: 8px;
color: white;
}
-div#hbdrop {
+nav#hbdrop {
background-color: #485D7B;
border-radius: 0 0 15px 15px;
border-left: 0.5em solid #76869d;
border-bottom: 1.2em solid #76869d;
display: none;
@@ -79,33 +79,33 @@
z-index: 20;
}
/* The submenu bar that *sometimes* appears below the main menu */
-div.submenu, div.sectionmenu {
+nav.submenu, div.sectionmenu {
padding: 3px 10px 3px 0px;
font-size: 0.9em;
font-weight: bold;
text-align: center;
background-color: #485D7B;
color: white;
}
-div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited,
+nav.mainmenu a, nav.mainmenu a:visited, nav.submenu a, nav.submenu a:visited,
div.sectionmenu>a.button:link, div.sectionmenu>a.button:visited,
-div.submenu label {
+nav.submenu label {
padding: 3px 10px 3px 10px;
color: white;
text-decoration: none;
}
-div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover,
-div.submenu label:hover {
+nav.mainmenu a:hover, nav.submenu a:hover, div.sectionmenu>a.button:hover,
+nav.submenu label:hover {
text-decoration: underline;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
-div.content {
+main.content {
padding: 0ex 1ex 0ex 2ex;
}
/* Some pages have section dividers */
div.section {
@@ -131,11 +131,11 @@
clear: left;
white-space: nowrap;
}
/* The footer at the very bottom of the page */
-div.footer {
+footer.footer {
clear: both;
font-size: 0.8em;
margin-top: 12px;
padding: 5px 10px 5px 10px;
text-align: right;
Index: skins/eagle/footer.txt
==================================================================
--- skins/eagle/footer.txt
+++ skins/eagle/footer.txt
@@ -1,6 +1,6 @@
-
+
Index: skins/eagle/header.txt
==================================================================
--- skins/eagle/header.txt
+++ skins/eagle/header.txt
@@ -1,6 +1,6 @@
-
+
##
## NOTE: The purpose of this procedure is to take the base URL of the
## Fossil project and return the root of the entire web site using
@@ -76,11 +76,11 @@
puts "Logged in as $login"
} else {
puts "Not logged in"
}
-
+
html "
-
+
-
+
+
Index: skins/khaki/css.txt
==================================================================
--- skins/khaki/css.txt
+++ skins/khaki/css.txt
@@ -41,28 +41,28 @@
font-weight: bold;
white-space: nowrap;
}
/* The header across the top of the page */
-div.header {
+header.header {
display: table;
width: 100%;
}
/* The main menu bar that appears at the top of the page beneath
** the header */
-div.mainmenu {
+nav.mainmenu {
padding: 5px 10px 5px 10px;
font-size: 0.9em;
font-weight: bold;
text-align: center;
letter-spacing: 1px;
background-color: #a09048;
color: black;
z-index: 21; /* just above hbdrop */
}
-div#hbdrop {
+nav#hbdrop {
background-color: #fef3bc;
border: 2px solid #a09048;
border-radius: 0 0 0.5em 0.5em;
display: none;
left: 2em;
@@ -72,39 +72,39 @@
z-index: 20; /* just below mainmenu, but above timeline bubbles */
}
/* The submenu bar that *sometimes* appears below the main menu */
-div.submenu, div.sectionmenu {
+nav.submenu, div.sectionmenu {
padding: 3px 10px 3px 0px;
font-size: 0.9em;
text-align: center;
background-color: #c0af58;
color: white;
}
-div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited,
+nav.mainmenu a, nav.mainmenu a:visited, nav.submenu a, nav.submenu a:visited,
div.sectionmenu>a.button:link, div.sectionmenu>a.button:visited,
-div.submenu label {
+nav.submenu label {
padding: 3px 10px 3px 10px;
color: white;
text-decoration: none;
}
-div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover,
-div.submenu label:hover, div#hbdrop a:hover {
+nav.mainmenu a:hover, nav.submenu a:hover, div.sectionmenu>a.button:hover,
+nav.submenu label:hover, nav#hbdrop a:hover {
color: #a09048;
background-color: white;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
-div.content {
+main.content {
padding: 1ex 5px;
}
-div.content a, div#hbdrop a { color: #706532; }
-div.content a:link, div#hbdrop a:link { color: #706532; }
-div.content a:visited, div#hbdrop a:visited { color: #704032; }
-div.content a:hover, div#hbdrop a:hover {
+main.content a, nav#hbdrop a { color: #706532; }
+main.content a:link, nav#hbdrop a:link { color: #706532; }
+main.content a:visited, nav#hbdrop a:visited { color: #704032; }
+main.content a:hover, nav#hbdrop a:hover {
background-color: white; color: #706532;
}
a, a:visited {
text-decoration: none;
}
@@ -133,24 +133,24 @@
clear: left;
white-space: nowrap;
}
/* The footer at the very bottom of the page */
-div.footer {
+footer.footer {
font-size: 0.8em;
margin-top: 12px;
padding: 5px 10px 5px 10px;
text-align: right;
background-color: #a09048;
color: white;
}
/* Hyperlink colors */
-div.footer a { color: white; }
-div.footer a:link { color: white; }
-div.footer a:visited { color: white; }
-div.footer a:hover { background-color: white; color: #558195; }
+footer.footer a { color: white; }
+footer.footer a:link { color: white; }
+footer.footer a:visited { color: white; }
+footer.footer a:hover { background-color: white; color: #558195; }
/* blocks */
pre.verbatim {
background-color: #f5f5f5;
padding: 0.5em;
Index: skins/khaki/footer.txt
==================================================================
--- skins/khaki/footer.txt
+++ skins/khaki/footer.txt
@@ -1,3 +1,3 @@
-
+
Index: skins/khaki/header.txt
==================================================================
--- skins/khaki/header.txt
+++ skins/khaki/header.txt
@@ -1,6 +1,6 @@
-
+
$
$
if {[info exists login]} {
@@ -7,16 +7,16 @@
puts "Logged in as $login"
} else {
puts "Not logged in"
}
-
-
+
+
-
+
+
Index: skins/original/css.txt
==================================================================
--- skins/original/css.txt
+++ skins/original/css.txt
@@ -42,18 +42,18 @@
font-weight: bold;
white-space: nowrap;
}
/* The header across the top of the page */
-div.header {
+header.header {
display: table;
width: 100%;
}
/* The main menu bar that appears at the top of the page beneath
** the header */
-div.mainmenu {
+nav.mainmenu {
padding: 5px;
font-size: 0.9em;
font-weight: bold;
text-align: center;
letter-spacing: 1px;
@@ -62,33 +62,33 @@
border-top-right-radius: 8px;
color: white;
}
/* The submenu bar that *sometimes* appears below the main menu */
-div.submenu, div.sectionmenu {
+nav.submenu, div.sectionmenu {
padding: 3px 10px 3px 0px;
font-size: 0.9em;
text-align: center;
background-color: #456878;
color: white;
}
-div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited,
+nav.mainmenu a, nav.mainmenu a:visited, nav.submenu a, nav.submenu a:visited,
div.sectionmenu>a.button:link, div.sectionmenu>a.button:visited,
-div.submenu label {
+nav.submenu label {
padding: 3px 10px 3px 10px;
color: white;
text-decoration: none;
}
-div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover,
-div.submenu label:hover {
+nav.mainmenu a:hover, nav.submenu a:hover, div.sectionmenu>a.button:hover,
+nav.submenu label:hover {
color: #558195;
background-color: white;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
-div.content {
+main.content {
padding: 0ex 1ex 1ex 1ex;
border: solid #aaa;
border-width: 1px;
}
@@ -115,11 +115,11 @@
clear: left;
white-space: nowrap;
}
/* The footer at the very bottom of the page */
-div.footer {
+footer.footer {
clear: both;
font-size: 0.8em;
padding: 5px 10px 5px 10px;
text-align: right;
background-color: #558195;
@@ -127,14 +127,14 @@
border-bottom-right-radius: 8px;
color: white;
}
/* Hyperlink colors in the footer */
-div.footer a { color: white; }
-div.footer a:link { color: white; }
-div.footer a:visited { color: white; }
-div.footer a:hover { background-color: white; color: #558195; }
+footer.footer a { color: white; }
+footer.footer a:link { color: white; }
+footer.footer a:visited { color: white; }
+footer.footer a:hover { background-color: white; color: #558195; }
/* verbatim blocks */
pre.verbatim {
background-color: #f5f5f5;
padding: 0.5em;
Index: skins/original/footer.txt
==================================================================
--- skins/original/footer.txt
+++ skins/original/footer.txt
@@ -1,6 +1,6 @@
-
+
Index: skins/original/header.txt
==================================================================
--- skins/original/header.txt
+++ skins/original/header.txt
@@ -1,6 +1,6 @@
-
+
##
## NOTE: The purpose of this procedure is to take the base URL of the
## Fossil project and return the root of the entire web site using
@@ -70,11 +70,11 @@
puts "Logged in as $login"
} else {
puts "Not logged in"
}
-
+
html "
-
+
+
Index: skins/plain_gray/css.txt
==================================================================
--- skins/plain_gray/css.txt
+++ skins/plain_gray/css.txt
@@ -28,18 +28,18 @@
font-weight: bold;
white-space: nowrap;
}
/* The header across the top of the page */
-div.header {
+header.header {
display: table;
width: 100%;
}
/* The main menu bar that appears at the top of the page beneath
** the header */
-div.mainmenu {
+nav.mainmenu {
padding: 5px 10px 5px 10px;
font-size: 0.9em;
font-weight: bold;
text-align: center;
letter-spacing: 1px;
@@ -54,54 +54,54 @@
display: none;
width: 95%;
position: absolute;
z-index: 20; /* just below mainmenu, but above timeline bubbles */
}
-div.hbdrop a { color: #604000; }
-div.hbdrop a:link { color: #604000;}
-div.hbdrop a:visited { color: #600000; }
+nav.hbdrop a { color: #604000; }
+nav.hbdrop a:link { color: #604000;}
+nav.hbdrop a:visited { color: #600000; }
/* The submenu bar that *sometimes* appears below the main menu */
-div.submenu, div.sectionmenu {
+nav.submenu, div.sectionmenu {
padding: 3px 10px 3px 0px;
font-size: 0.9em;
text-align: center;
background-color: #606060;
color: white;
}
-div.mainmenu a,
-div.mainmenu a:visited,
-div.submenu a,
-div.submenu a:visited,
+nav.mainmenu a,
+nav.mainmenu a:visited,
+nav.submenu a,
+nav.submenu a:visited,
div.sectionmenu>a.button:link,
div.sectionmenu>a.button:visited,
-div.submenu label {
+nav.submenu label {
padding: 3px 10px 3px 10px;
color: white;
text-decoration: none;
}
-div.mainmenu a:hover,
-div.submenu a:hover,
+nav.mainmenu a:hover,
+nav.submenu a:hover,
div.sectionmenu>a.button:hover,
-div.submenu label:hover {
+nav.submenu label:hover {
color: #404040;
background-color: white;
}
a, a:visited {
text-decoration: none;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
-div.content {
+main.content {
padding: 0ex 0ex 0ex 0ex;
}
/* Hyperlink colors */
-div.content a { color: #604000; }
-div.content a:link { color: #604000;}
-div.content a:visited { color: #600000; }
+main.content a { color: #604000; }
+main.content a:link { color: #604000;}
+main.content a:visited { color: #600000; }
/* blocks */
pre.verbatim {
background-color: #ffffff;
padding: 0.5em;
@@ -131,11 +131,11 @@
clear: left;
white-space: nowrap;
}
/* The footer at the very bottom of the page */
-div.footer {
+footer.footer {
font-size: 0.8em;
margin-top: 12px;
padding: 5px 10px 5px 10px;
text-align: right;
background-color: #404040;
Index: skins/plain_gray/footer.txt
==================================================================
--- skins/plain_gray/footer.txt
+++ skins/plain_gray/footer.txt
@@ -1,3 +1,3 @@
-
+
Index: skins/plain_gray/header.txt
==================================================================
--- skins/plain_gray/header.txt
+++ skins/plain_gray/header.txt
@@ -1,14 +1,14 @@
-
##
## NOTE: The purpose of this procedure is to take the base URL of the
## Fossil project and return the root of the entire web site using
@@ -76,11 +76,11 @@
puts "Logged in as $login"
} else {
puts "Not logged in"
}
-
+
html "
-
+
+
Index: src/accordion.js
==================================================================
--- src/accordion.js
+++ src/accordion.js
@@ -40,10 +40,11 @@
img.className = "accordion_btn accordion_btn_plus";
a[i].insertBefore(img,a[i].firstChild);
img = document.createElement("img");
img.src = acc_svgdata[0]+acc_svgdata[3]+acc_svgdata[1];
img.className = "accordion_btn accordion_btn_minus";
+ img.alt = "Open/Close Section";
a[i].insertBefore(img,a[i].firstChild);
a[i].addEventListener("click",function(){
var x = this.nextElementSibling;
if( this.classList.contains("accordion_closed") ){
x.style.maxHeight = x.scrollHeight + "px";
Index: src/add.c
==================================================================
--- src/add.c
+++ src/add.c
@@ -362,11 +362,10 @@
** The --case-sensitive option determines whether or not filenames should
** be treated case sensitive or not. If the option is not given, the default
** depends on the global setting, or the operating system default, if not set.
**
** Options:
-**
** --case-sensitive BOOL Override the case-sensitive setting
** --dotfiles Include files beginning with a dot (".")
** -f|--force Add files without prompting
** --ignore CSG Ignore unmanaged files matching patterns from
** the Comma Separated Glob (CSG) pattern list
Index: src/alerts.c
==================================================================
--- src/alerts.c
+++ src/alerts.c
@@ -291,11 +291,11 @@
@