# 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; } /* 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 ' $<project_name>: $<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: " html "<input name=\"s\" type=\"text\" size=\"30\" maxlength=\"40\" " if {[hascap o]} { html "value=\"\" " } else { html "disabled value=\"please log on!\" " } html "/> " 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 / <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>'