# The "skin" configuration exported from
# repository "/home/mario/fossil.d/src-fossil/WWW.FOSSIL-SCM.ORG.fossil"
# on 2015-01-29 22:54:25
config /config 5350
1422572048 'css' value '/* General settings for the entire page */
body {
margin: 0ex 1ex;
padding: 0px;
background-color: #485D7B;
font-family: sans-serif;
color: white;
}
/* The project logo in the upper left-hand corner of each page */
div.logo {
display: table-cell;
text-align: center;
vertical-align: bottom;
font-weight: bold;
color: white;
padding: 5 0 5 0em;
white-space: nowrap;
}
/* The page title centered at the top of each page */
div.title {
display: table-cell;
font-size: 2em;
font-weight: bold;
text-align: left;
padding: 0 0 0 1em;
color: white;
vertical-align: bottom;
width: 100%;
}
/* The login status message in the top right-hand corner */
div.status {
display: table-cell;
text-align: right;
vertical-align: bottom;
color: white;
font-size: 0.8em;
font-weight: bold;
min-width: 200px;
white-space: nowrap;
}
/* The header across the top of the page */
div.header {
display: table;
width: 100%;
}
/* The main menu bar that appears at the top of the page beneath
** the header */
div.mainmenu {
padding: 5px 10px 5px 10px;
font-size: 0.9em;
font-weight: bold;
text-align: center;
letter-spacing: 1px;
background-color: #76869D;
border-top-left-radius: 8px;
border-top-right-radius: 8px;
color: white;
}
/* The submenu bar that *sometimes* appears below the main menu */
div.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,
div.sectionmenu>a.button:link, div.sectionmenu>a.button:visited {
padding: 3px 10px 3px 10px;
color: white;
text-decoration: none;
}
div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover {
text-decoration: underline;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
div.content {
padding: 0ex 1ex 0ex 2ex;
}
/* Some pages have section dividers */
div.section {
margin-bottom: 0px;
margin-top: 1em;
padding: 1px 1px 1px 1px;
font-size: 1.2em;
font-weight: bold;
background-color: #485D7B;
color: white;
white-space: nowrap;
}
/* The "Date" that occurs on the left hand side of timelines */
div.divider {
background: #9DB0CC;
color: white;
border: 2px white solid;
font-size: 1em; font-weight: normal;
padding: .25em;
margin: .2em 0 .2em 0;
float: left;
clear: left;
white-space: nowrap;
}
/* The footer at the very bottom of the page */
div.footer {
clear: both;
font-size: 0.8em;
margin-top: 12px;
padding: 5px 10px 5px 10px;
text-align: right;
background-color: #485D7B;
border-bottom-left-radius: 8px;
border-bottom-right-radius: 8px;
color: white;
}
/* Hyperlink colors in the footer */
a { color: white; }
a:link { color: white; }
a:visited { color: white; }
a:hover { color: #9DB0CC; }
/* verbatim blocks */
pre.verbatim {
background-color: #485D7B;
color: white;
padding: 0.5em;
white-space: pre-wrap;
}
/* The label/value pairs on (for example) the ci page */
table.label-value th {
vertical-align: top;
text-align: right;
padding: 0.2ex 2ex;
}
/* The nomenclature sidebox for branches,.. */
div.sidebox {
float: right;
background-color: #485D7B;
border-width: medium;
border-style: double;
margin: 10px;
}
/* the format for the timeline data table */
table.timelineTable {
cellspacing: 0;
border: 0;
cellpadding: 0;
font-family: "courier new";
}
/* Side-by-side diff */
table.sbsdiff {
background-color: #485D7B;
font-family: fixed, Dejavu Sans Mono, Monaco, Lucida Console, monospace;
font-size: 8pt;
border-collapse:collapse;
white-space: pre;
width: 98%;
border: 1px #000 dashed;
margin-left: auto;
margin-right: auto;
}
/* format for the layout table, used for the captcha display */
table.captcha {
margin: auto;
padding: 10px;
border-width: 4px;
border-style: double;
border-color: white;
}
/* format for the user list table on the user setup page */
table.usetupUserList {
outline-style: double;
outline-width: 1px;
border-color: white;
padding: 10px;
}
/* color for capabilities, inherited by reader */
span.ueditInheritReader {
color: white;
}
/* format for values on ticket display page */
td.tktDspValue {
text-align: left;
vertical-align: top;
background-color: #485D7B;
}
/* format for example table cells on the report edit page */
td.rpteditex {
border-width: thin;
border-color: white;
border-style: solid;
}
/* List of files in a timeline */
ul.filelist {
margin-top: 3px;
line-height: 100%;
}
/* side-by-side diff display */
div.sbsdiff {
font-family: monospace;
font-size: smaller;
white-space: pre;
}
/* context diff display */
div.udiff {
font-family: monospace;
white-space: pre;
}
/* changes in a diff */
span.diffchng {
background-color: rgb(170, 170, 140);
}
/* added code in a diff */
span.diffadd {
background-color: rgb(100, 200, 100);
}
/* deleted in a diff */
span.diffrm {
background-color: rgb(230, 110, 110);
}
/* suppressed lines in a diff */
span.diffhr {
display: inline-block;
margin: .5em 0 1em;
color: rgb(150, 150, 140);
}
/* line numbers in a diff */
span.diffln {
color: white;
}
#canvas {
background-color: #485D7B;
}
'
config /config 4229
1422572048 'header' value '<html>
<head>
<base href="$baseurl/$current_page" />
<title>$<project_name>: $<title></title>
<link rel="alternate" type="application/rss+xml" title="RSS Feed"
href="$home/timeline.rss" />
<link rel="stylesheet" href="$stylesheet_url" type="text/css"
media="screen" />
</head>
<body>
<div class="header">
<div class="logo">
<th1>
##
## 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
## the same URI scheme as the base URL (e.g. http or https).
##
proc getLogoUrl { baseurl } {
set idx(first) [string first // $baseurl]
if {$idx(first) != -1} {
##
## NOTE: Skip second slash.
##
set idx(first+1) [expr {$idx(first) + 2}]
##
## NOTE: (part 1) The [string first] command does NOT actually
## support the optional startIndex argument as specified
## in the TH1 support manual; therefore, we fake it by
## using the [string range] command and then adding the
## necessary offset to the resulting index manually
## (below). In Tcl, we could use the following instead:
##
## set idx(next) [string first / $baseurl $idx(first+1)]
##
set idx(nextRange) [string range $baseurl $idx(first+1) end]
set idx(next) [string first / $idx(nextRange)]
if {$idx(next) != -1} {
##
## NOTE: (part 2) Add the necessary offset to the result of
## the search for the next slash (i.e. the one after
## the initial search for the two slashes).
##
set idx(next) [expr {$idx(next) + $idx(first+1)}]
##
## NOTE: Back up one character from the next slash.
##
set idx(next-1) [expr {$idx(next) - 1}]
##
## NOTE: Extract the URI scheme and host from the base URL.
##
set scheme [string range $baseurl 0 $idx(first)]
set host [string range $baseurl $idx(first+1) $idx(next-1)]
##
## NOTE: Try to stay in SSL mode if we are there now.
##
if {[string compare $scheme http:/] == 0} {
set scheme http://
} else {
set scheme https://
}
set logourl $scheme$host/
} else {
set logourl $baseurl
}
} else {
set logourl $baseurl
}
return $logourl
}
set logourl [getLogoUrl $baseurl]
</th1>
<a href="$logourl">
<img src="$logo_image_url" border="0" alt="$project_name">
</a>
</div>
<div class="title">$<title></div>
<div class="status"><nobr><th1>
if {[info exists login]} {
puts "Logged in as $login"
} else {
puts "Not logged in"
}
</th1></nobr><small><div id="clock"></div></small></div>
</div>
<script>
function updateClock(){
var e = document.getElementById("clock");
if(e){
var d = new Date();
function f(n) {
return n < 10 ? ''0'' + n : n;
}
e.innerHTML = d.getUTCFullYear()+ ''-'' +
f(d.getUTCMonth() + 1) + ''-'' +
f(d.getUTCDate()) + '' '' +
f(d.getUTCHours()) + '':'' +
f(d.getUTCMinutes());
setTimeout("updateClock();",(60-d.getUTCSeconds())*1000);
}
}
updateClock();
</script>
<div class="mainmenu">
<th1>
html "<a href=''$home$index_page''>Home</a>\n"
html "<a href=''$home/help''>Help</a>\n"
if {[anycap jor]} {
html "<a href=''$home/timeline''>Timeline</a>\n"
}
if {[hascap oh]} {
html "<a href=''$home/tree?ci=tip''>Files</a>\n"
}
if {[hascap o]} {
html "<a href=''$home/brlist''>Branches</a>\n"
html "<a href=''$home/taglist''>Tags</a>\n"
}
if {[hascap r]} {
html "<a href=''$home/reportlist''>Tickets</a>\n"
}
if {[hascap j]} {
html "<a href=''$home/wiki''>Wiki</a>\n"
}
if {[hascap s]} {
html "<a href=''$home/setup''>Admin</a>\n"
} elseif {[hascap a]} {
html "<a href=''$home/setup_ulist''>Users</a>\n"
}
if {[info exists login]} {
html "<a href=''$home/login''>Logout</a>\n"
} else {
html "<a href=''$home/login''>Login</a>\n"
}
</th1></div>
'
config /config 945
1422572048 'footer' value '<div class="footer">
<th1>
proc getTclVersion {} {
if {[catch {tclEval info patchlevel} tclVersion] == 0} {
return "<a href=\"http://www.tcl.tk/\">Tcl</a> version $tclVersion"
}
return ""
}
proc getVersion { version } {
set length [string length $version]
return [string range $version 1 [expr {$length - 2}]]
}
set version [getVersion $manifest_version]
set tclVersion [getTclVersion]
set fossilUrl https://www.fossil-scm.org
set fossilDate [string range $manifest_date 0 9]T[string range $manifest_date 11 end]
</th1>
This page was generated in about
<th1>puts [expr {([utime]+[stime]+1000)/1000*0.001}]</th1>s by
<a href="$fossilUrl/">Fossil</a>
version $release_version $tclVersion
<a href="$fossilUrl/index.html/info/$version">$manifest_version</a>
<a href="$fossilUrl/index.html/timeline?c=$fossilDate&y=ci">$manifest_date</a>
</div>
</body></html>
'