Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Fixes to the "gradient" skin - now used by Fossil itself. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
c2c7af53023dbb88d100bb9611bda177 |
| User & Date: | drh 2011-03-03 13:46:34.842 |
Context
|
2011-03-03
| ||
| 13:56 | Additional tweaks to the download page generator. check-in: 9ad77bd96b user: drh tags: trunk | |
| 13:46 | Fixes to the "gradient" skin - now used by Fossil itself. check-in: c2c7af5302 user: drh tags: trunk | |
| 13:39 | Updates to the homepage (move the "Download" link first) and improvements to the download page generator. check-in: 7834ca9133 user: drh tags: trunk | |
Changes
Changes to src/skins.c.
| ︙ | ︙ | |||
607 608 609 610 611 612 613 |
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
@ </th1></nobr></div>
@ </div>
| | | 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 |
@ if {[info exists login]} {
@ puts "Logged in as $login"
@ } else {
@ puts "Not logged in"
@ }
@ </th1></nobr></div>
@ </div>
@ <div class="mainmenu"><th1>
@ html "<li><a href=''$home$index_page''>Home</a></li>"
@ if {[anycap jor]} {
@ html "<li><a href=''$home/timeline''>Timeline</a></li>"
@ }
@ if {[hascap oh]} {
@ html "<li><a href=''$home/dir?ci=tip''>Files</a></li>"
@ }
|
| ︙ | ︙ | |||
716 717 718 719 720 721 722 723 724 725 726 727 728 729 | @ -moz-border-top-left-radius: 5px; @ -webkit-border-top-right-radius: 5px; @ -webkit-border-top-left-radius: 5px; @ -border-top-right-radius: 5px; @ -border-top-left-radius: 5px; @ border-top-left-radius: 5px; @ border-top-right-radius: 5px; @ min-height: 2em; @ background-color: #446979; @ background: -webkit-gradient(linear,left bottom,left top, color-stop(0.02, rgb(51,81,94)), color-stop(0.76, rgb(85,129,149))); @ background: -moz-linear-gradient(center bottom,rgb(51,81,94) 2%, rgb(85,129,149) 76%); @ -webkit-box-shadow: 0px 3px 4px #333333; @ -moz-box-shadow: 0px 3px 4px #333333; @ box-shadow: 0px 3px 4px #333333; | > | 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 | @ -moz-border-top-left-radius: 5px; @ -webkit-border-top-right-radius: 5px; @ -webkit-border-top-left-radius: 5px; @ -border-top-right-radius: 5px; @ -border-top-left-radius: 5px; @ border-top-left-radius: 5px; @ border-top-right-radius: 5px; @ padding-top: 1em; @ min-height: 2em; @ background-color: #446979; @ background: -webkit-gradient(linear,left bottom,left top, color-stop(0.02, rgb(51,81,94)), color-stop(0.76, rgb(85,129,149))); @ background: -moz-linear-gradient(center bottom,rgb(51,81,94) 2%, rgb(85,129,149) 76%); @ -webkit-box-shadow: 0px 3px 4px #333333; @ -moz-box-shadow: 0px 3px 4px #333333; @ box-shadow: 0px 3px 4px #333333; |
| ︙ | ︙ |