# converted from SQL config format
#-- http://www.mail-archive.com/fossil-users@lists.fossil-scm.org/msg01296.html
#-- The "skin" configuration exported from
#-- repository "o:/fossil/fossil.fsl"
#-- on 2010-01-15 10:11:10
config /config 6021
1326393341 'css' value '/* General settings for the entire page */
body {
margin: 0ex 1ex;
padding: 0;
background-color: #333;
font-family: Verdana, "Lucida Grande", "Lucida Sans Unicode", Arial,
sans-serif;
font-size: 12pt;
color: #000;
text-align: center; /* workaround for IE box centering */
}
/* Header includes logo and project name */
div.header {
margin: auto;
min-width: 850px;
width: 80%;
margin-top: 20px;
}
/* The project logo at the top of each page */
div.logo {
text-align: center;
font-weight: bold;
color: #fff;
text-shadow: 0 1px #000;
}
/* The page title under main menu */
div.title {
font-size: 1.2em;
font-weight: bold;
text-align: left;
color: #333;
margin-left: 20px;
margin-top: 0;
padding-top: 20px;
text-shadow: 0 1px #fff;
}
/* The login status message in the top right-hand corner */
div.status {
float: right;
text-align: right;
color: #777;
font-size: 0.8em;
margin-top: 20px;
margin-right: 20px;
}
/* The main menu bar that appears at the top of the page beneath
** the header */
div.mainmenu {
padding: 10px 0;
font-size: 0.9em;
font-weight: bold;
text-align: center;
background: #315FD5;
-webkit-border-top-left-radius: 10px;
-webkit-border-top-right-radius: 10px;
-moz-border-radius-topleft: 10px;
-moz-border-radius-topright: 10px;
border-top-left-radius: 10px;
border-top-right-radius: 10px;
border-top: 1px solid #69F;
border-bottom: 1px solid #152952;
text-shadow: 0 -1px #152952;
margin-bottom: 0;
}
/* The submenu bar that *sometimes* appears below the main menu */
div.submenu {
padding: 3px 10px 3px 0px;
font-size: 0.75em;
text-align: center;
color: #333;
margin-top: -23px; /* push it to top between page title and status */
margin-bottom: 2px;
}
div.mainmenu a:link, div.mainmenu a:visited {
padding: 3px 10px 3px 10px;
color: #fff;
text-decoration: none;
border: 0;
}
div.submenu a:link, div.submenu a:visited {
padding: 1px 10px;
color: #222;
border: 1px solid #BDBDBD;
background: #EEE;
-webkit-border-radius: 10px;
-moz-border-radius: 10px;
border-radius: 10px;
text-decoration: none;
text-shadow: 0 1px #fff;
}
div.submenu a:hover {
color: #fff;
background: #858585;
border-color: #5B5B5B;
text-shadow: 0 1px #000;
}
div.mainmenu a:hover, div.mainmenu a:visited:hover {
color: #9CF;
text-decoration: none;
}
div.container {
margin: auto;
min-width: 850px;
width: 80%;
background: #69F;
margin-top: 20px;
}
div.container, div.subcontainer {
background: #f4f4f4;
-webkit-border-radius: 10px;
-moz-border-radius: 10px;
border-radius: 10px;
margin-bottom: 0;
text-align: left;
}
div.subcontainer {
width: 100%;
-webkit-border-top-left-radius: 0;
-webkit-border-top-right-radius: 0;
-moz-border-radius-topleft: 0;
-moz-border-radius-topright: 0;
border-top-left-radius: 0;
border-top-right-radius: 0;
}
/* All page content from the bottom of the menu or submenu down to
** the footer */
div.content {
padding: 10px 20px 20px 20px;
font-size: 0.8em;
}
/* 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;
color: #5B677E;
border-bottom: 2px solid #B6BECD;
}
/* The "Date" that occurs on the left hand side of timelines */
div.divider {
border-bottom: 2px solid #B6BECD;
font-size: 1em; font-weight: normal;
padding-bottom: .25em;
margin: .5em 0 .5em 0;
float: left;
clear: left;
color: #5B677E;
}
/* The footer at the very bottom of the page */
div.footer {
margin: auto;
min-width: 850px;
width: 80%;
font-size: 0.8em;
padding: 5px 10px 5px 10px;
text-align: right;
color: #777;
margin-top: 10px;
margin-bottom: 10px;
}
/* Make the links in the footer less ugly... */
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; }
/* <verbatim> blocks */
pre.verbatim {
background-color: #f3f3f3;
padding: 0.5em;
}
/* The label/value pairs on (for example) the ci page */
table.label-value th {
vertical-align: top;
text-align: right;
padding: 0.2ex 2ex;
}
/* For marking important UI elements which shouldn''t be
lightly dismissed. I mainly use it to mark "not yet
implemented" parts of a page. Whether or not to have
a ''border'' attribute set is arguable. */
.achtung {
color: #ff0000;
background: #ffff00;
border: 1px solid #ff0000;
}
div.miniform {
font-size: smaller;
margin: 8px;
}
hr {
height: 0;
color: #ccc;
background-color: #ccc;
border: 0;
margin-top: 15px;
margin-bottom: 15px;
border-top: 1px solid #ccc;
border-bottom: 1px solid #fff;
}
table {
font-size: 1em;
}
a:link {
color: #004080;
text-decoration: none;
}
a:visited {
color: #6A4A95;
text-decoration: none;
}
a:hover {
color: #24548F;
text-decoration: underline;
}
a:visited:hover {
color: #6A4A95;
text-decoration: underline;
}
table.report {
margin-bottom: 1em;
border: 1px solid #bbb;
border-spacing: 0;
border-collapse: collapse;
}
table.report td, table.report th {
border: 1px solid #bbb;
border-width: 1px;
border-spacing: 0;
padding: 4px;
}
/* Ticket view */
td.tkt-label {
text-align: right;
color: #666;
}
td.tkt-label-comments {
color: #666;
}
td.tkt-value, td.tkt-value-comments {
background-color: #fcfcfc;
border: 1px solid #ddd;
-webkit-border-radius: 3px;
-webkit-border-radius: 3px;
-moz-border-radius: 3px;
-moz-border-radius: 3px;
border-radius: 3px;
border-radius: 3px;
}
td.tkt-value-comments {
padding: 15px;
}'
config /config 1489
1326393341 'header' value '<html>
<head>
<title>$<project_name>: $<title></title>
<link rel="alternate" type="application/rss+xml" title="RSS Feed"
href="$baseurl/timeline.rss">
<link rel="stylesheet" href="$baseurl/style.css" type="text/css"
media="screen">
</head>
<body>
<div class="header">
<div class="logo">
<nobr>$<project_name></nobr>
</div>
</div>
<div class="container">
<div class="mainmenu"><th1>
html "<a href=''$baseurl$index_page''>Home</a> "
if {[anycap jor]} {
html "<a href=''$baseurl/timeline''>Timeline</a> "
}
if {[hascap oh]} {
html "<a href=''$baseurl/dir''>Files</a> "
}
if {[hascap o]} {
html "<a href=''$baseurl/leaves''>Leaves</a> "
html "<a href=''$baseurl/brlist''>Branches</a> "
html "<a href=''$baseurl/taglist''>Tags</a> "
}
if {[hascap r]} {
html "<a href=''$baseurl/reportlist''>Tickets</a> "
}
if {[hascap j]} {
html "<a href=''$baseurl/wiki''>Wiki</a> "
}
if {[hascap s]} {
html "<a href=''$baseurl/setup''>Admin</a> "
} elseif {[hascap a]} {
html "<a href=''$baseurl/setup_ulist''>Users</a> "
}
if {[info exists login]} {
html "<a href=''$baseurl/login''>Logout</a> "
} else {
html "<a href=''$baseurl/login''>Login</a> "
}
</th1></div>
<div class="subcontainer">
<div class="status"><nobr><th1>
if {[info exists login]} {
puts "Logged in as $login"
} else {
puts "Not logged in"
}
</th1></nobr></div>
<div class="title">$<title></div>
'
config /config 182
1326393341 'footer' value '</div><!-- / subcontainer -->
</div><!-- / container -->
<div class="footer">
Fossil version $manifest_version $manifest_date
</div>
</body></html>
'