Collection of themes/skins for the Fossil SCM

⌈⌋ ⎇ branch:  Fossil Skins Extra


Documentation

# converted from SQL config format
# https://chiselapp.com/user/wst/repository/WST-Skin-1/
#-- The "skin" configuration exported from
#-- repository "E:/fossil-w32/mordor.fossil"
#-- on 2010-08-01 07:05:19
config /config 7240
1326393024 'css' value '/* ***************************************************************
* used colors:
* cccccc background color for entire page, visible on page frame
* ccccee background color for hovered content links
* dddddd background for content-headers
* eeeeee background color for content
* f7f7f7 bordor-color for top shadow
* aaaaaa bordor-color for bottom shadow
* 555566 main font color and background for main menu and font
*        color for hovered menu entries and visited content links
* 666699 background color for submenu and font color for content
* white  font color for main/submenu and background color for
*        highlighted menu entries
* lightgrey
*        font color for small main menu entries
*************************************************************** */
/* General settings for the entire page */
body {
  margin: 0ex 1ex;
  padding: 0px;
  font-family: Georgia, Nimrod, Times New Roman, serif;
}
@media print {
  body {
    background-color: white;
  }
}
@media screen {
  body {
    background-color: #cccccc;
  }
}

div.section, h1, h2, h3, h4, h5 {
  font-weight:normal;
  margin: 0 0 0.5em 0;
  background-color: #dddddd;
  border-style: solid; 
  border-width: 2px; 
  border-top-color: #f7f7f7;
  border-left-color: #f7f7f7;
  border-bottom-color: #aaaaaa;
  border-right-color: #aaaaaa;
  padding-left: 1em;
  padding-right: 2em;
}

div.section, h1 { margin-top: 1em;   text-align: center; font-size: 1.5em; }
h2 { margin-top: 0.8em; font-size: 1.3em; }
h3 { margin-top: 0.6em; font-size: 1.2em; }
h4 { margin-top: 0.4em; font-size: 1.1em; }
h5 { margin-top: 0.2em; font-size: 1.0em; }

/* The project logo in the upper left-hand corner of each page */
div.logo {
  display: table-cell;
  text-align: center;
  vertical-align: center;
  font-weight: normal;
  color: #555566
}

div.logo a, div.logo a:visited {
  text-decoration: none;
  color: #555566
}

/* The page title centered at the top of each page */
div.title {
  display: table-cell;
  font-size: 2em;
  font-weight: bold;
  text-align: center;
  padding: 0 0 0 1em;
  color: #555566;
  vertical-align: center;
  font-weight:normal;
  width: 100%;
}

/* The login status message in the top right-hand corner */
div.status {
  text-align: right;
  vertical-align: bottom;
  font-family: Arial, sans serif;
  font-size: 0.8em;
  font-weight: normal;
  color: #555566
}
@media print {
  div.status {
    display: none;
  }
}
@media screen {
  div.status {
    display: table-cell;
  }
}

/* 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-family: Arial, sans serif;
  font-size: 0.9em;
  font-weight: bold;
  text-align: center;
  letter-spacing: 1px;
  background-color: #555566;
  color: white;
  border-right-style: solid; 
  border-right-width: 2px; 
  border-right-color: #aaaaaa;
  border-top-style: solid; 
  border-top-width: 2px; 
  border-top-color: #f7f7f7;
  border-left-style: solid; 
  border-left-width: 2px; 
  border-left-color: #f7f7f7;
}
@media print {
  div.mainmenu {
    display: none;
  }
}

/* The submenu bar that *sometimes* appears below the main menu */
div.submenu {
  padding: 3px 10px 3px 0px;
  font-family: Arial, sans serif;
  font-size: 0.9em;
  text-align: center;
  background-color: #666699;
  color: white;
  border-right-style: solid; 
  border-right-width: 2px; 
  border-right-color: #aaaaaa;
  border-left-style: solid; 
  border-left-width: 2px; 
  border-left-color: #f7f7f7;
}
@media print {
  div.submenu {
    display: none;
  }
}
div.mainmenu a, div.mainmenu a:visited, div.submenu a, div.submenu a:visited {
  padding: 3px 10px 3px 10px;
  color: white;
  text-decoration: none;
}
span.mainmenusmall, span.mainmenusmall a, span.mainmenusmall a:visited {
  padding: 3px 3px 3px 0px;
  font-size: 0.8em;
  vertical-align: top;
  color: lightgrey;
  text-decoration: none;
}
div.mainmenu a:hover, div.submenu a:hover {
  color: #555566;
  background-color: white;
}

/* All page content from the bottom of the menu or submenu down to
** the footer */
div.content {
  padding: 1ex 1ex 1ex 2ex;
  border-top-style: solid; 
  border-top-width: 2px; 
  border-top-color: #aaaaaa;
  line-height: 1.5;
  border-bottom-width: 0.1em;
}
@media print {
  div.content {
    background-color: white;
  }
}
@media screen {
  div.content {
    background-color: #eeeeee;
  }
}

div.content a {
  color: #666699;
}

div.content a:visited {
  color: #555566;
}

div.content a:hover {
  color: #555566;
  background-color: #ccccee;
}

div.content table {
  font-family: Lucida Console, Courier New, Courier, monospace;
  font-size: smaller;
}
@media printer {
  div.content table {
    background: white;
  }
}
@media screen {
  div.content table {
    background: #eeeeee;
  }
}

/* Some pages have section dividers */
/* rendered like h1!
div.section {
  margin-bottom: 0px;
  margin-top: 1em;
  padding: 1px 1px 1px 1px;
  font-size: 1.2em;
  font-weight: bold;
  background-color: #555566;
  color: white;
}
*/

/* The "Date" that occurs on the left hand side of timelines */
div.divider {
  background: #a1c4d4;
  border: 2px #558195 solid;
  font-size: 1em; font-weight: normal;
  padding: .25em;
  margin: .2em 0 .2em 0;
  float: left;
  clear: left;
}

/* The footer at the very bottom of the page */
div.footer {
  font-family: Arial, sans serif;
  font-size: 0.8em;
  margin-top: 12px;
  padding: 5px 10px 5px 10px;
  text-align: center;
  background-color: #555566;
  color: white;
  border-bottom-style: solid; 
  border-bottom-width: 2px; 
  border-bottom-color: #aaaaaa;
  border-right-style: solid; 
  border-right-width: 2px; 
  border-right-color: #aaaaaa;
  border-top-style: solid; 
  border-top-width: 2px; 
  border-top-color: #f7f7f7;
  border-left-style: solid; 
  border-left-width: 2px; 
  border-left-color: #f7f7f7;
}
/* and below the footer at the very bottom of the page */
div.bfooter {
  font-family: Arial, sans serif;
  font-size: 0.7em;
  margin-top: 0px;
  padding: 5px 10px 5px 10px;
  text-align: center;
  color: #555566;
}
@media print {
  div.footer, div.bfooter {
    display: none;
  }
}

/* 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: #555566; }

div.bfooter a, html a { color: #666699; }

div.bfooter a:visited, html a:visited { color: #555566; }

div.bfooter a:hover, html a:hover { color: #555566;background-color: white; }

/* <verbatim> blocks */
pre.verbatim {
   background-color: #fafafa;
   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;
}
'
config /config 1651
1326393024 '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">
<link rel="shortcut icon" href="$baseurl/logo" />
</head>
<body>
<div class="header">
  <div class="logo">
    <a href="$baseurl$index_page">
      <img src="$baseurl/logo" alt="logo" height="20" width="20">
      <nobr>$<project_name></nobr>
    </a>
  </div>
  <div class="title">$<title></div>
  <div class="status"><nobr><th1>
     if {[info exists login]} {
       puts "Logged in as $login - "
       html "<a href=''$baseurl/login''>Logout</a> "
     } else {
       puts "Not logged in - "
       html "<a href=''$baseurl/login''>Login</a> "
     }
  </th1></nobr></div>
</div>
<div class="mainmenu"><th1>
html "<a href=''$baseurl$index_page''>Home</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/timeline''>Timeline</a> "
  html "<a href=''$baseurl/brlist''>Branches</a> "
  html "<a href=''$baseurl/taglist''>Tags</a> "
}
if {[hascap r]} {
  html "<a href=''$baseurl/rptview?rn=2''>Tickets</a>"
  html "<span class=''mainmenusmall''>"
    html "<a href=''$baseurl/reportlist''>all</a>"
    html "<a href=''$baseurl/tktnew''>+</a>"
  html "</span>"
}
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> "
}
</th1></div>
'
config /config 2079
1326393024 'footer' value '<div class="footer">
<th1> 
  # repository/site specific configuration
  # adress of main server
  set serverAdress "http://mordor:8000"
  # adresses of hosts, to be handled as local
  set localAdresses [list "http://127.0.0.1:8000" "http://localhost:8000" "http://auenland:8000" "http://samgamdschi:8000" "http://numenor:8000" ]
  # which fossil-repo should be referenced in the footer
  set fossilReferenceAdress "http://Mordor/fossilscm"
</th1>
<th1>
  html "<form action=\"$baseurl/timeline\" method=\"post\">"
    html "search timeline:&nbsp;"
    html "<input name=\"s\" type=\"text\" size=\"30\" maxlength=\"40\" "
      if {[hascap o]} {
        html "value=\"\" "
      } else {
        html "disabled value=\"please log on!\" "
      }
    html "/>&nbsp;"
    html "<input type=\"submit\" "
    if {[hascap o]} {
      html "value=\"Go\" "
    } else {
      html "disabled value=\"disabled\" "
    }
    html "/>"
    if {[hascap o]} {
      html " / <a href=\"$baseurl/doc/tip/index.wiki\">Wiki-Index</a>"
    }
  html "</form>"
</th1>
</div>
<div class="bfooter">
<th1>
  # check, if baseurl starts with one of the local adresses
  set isLocal -1
  for {set li 0} {$li < [llength $localAdresses]} {set li [expr $li+1]} {
    if {[string first [lindex $localAdresses $li] $baseurl] != -1} {
      set isLocal $li
    }
  }
  # get repository-part of baseurl by stripping all up to the first /
  if {[string last "/" $baseurl] == 0} {
    set repository ""  
  } else {
    set repository [string range $baseurl [expr [string last "/" $baseurl]+1] end]
  }
  # buildt display/adress parts for footer
  if {$isLocal == -1} {
    set typeDsp "remote"
    set link "[lindex $localAdresses 1]"
    set linkDsp "local"
  } else {
    set typeDsp "local"
    set link "$serverAdress"
    set linkDsp "remote"
  }
</th1>
running $typeDsp&nbsp;/&nbsp;<a href="$link/$repository">$linkDsp version</a>
of $project_name@$serverAdress
powered by <a href="$fossilReferenceAdress">Fossil</a>
version $manifest_version $manifest_date
</div>
</body></html>'