Collection of themes/skins for the Fossil SCM

⌈⌋ ⎇ branch:  Fossil Skins Extra


Check-in [892c5f4a68]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fix config length field (must include card prefix size).
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 892c5f4a68b28a14a75885e6c1fcb5a83d9b2dff
User & Date: mario 2015-02-12 09:51:55
Context
2015-02-24
20:45
Use HEX() in query, and hex2bin() in PHP for safer CSV export and binary extraction. Add .erb file type alias. check-in: 6d24f6c61f user: mario tags: trunk
2015-02-12
09:51
Fix config length field (must include card prefix size). check-in: 892c5f4a68 user: mario tags: trunk
08:04
Fix Github template 'main table tr' border. Add styles for new dropdown timeline submenu fields. check-in: 3c74754c68 user: mario tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to github.txt.

1
2
3
4
5
6
7
8
9
10
11
12
# Fossil skin configuration "github" for simple `fossil import skin.txt`
# 2015-02-12T08-03-12Z
#
config /config 10629
1423728192 'css' value '/* fonts */
@import url(http://fonts.googleapis.com/css?family=Viga);

/* no body spacing */
html, body {
   border: 0; padding: 0; margin: 0;
   background: #fefefe;
   font: normal normal 400 10pt/16pt Arial,sans-serif;

|

|
|







1
2
3
4
5
6
7
8
9
10
11
12
# Fossil skin configuration "github" for simple `fossil import skin.txt`
# 2015-02-12T09-39-20Z
#
config /config 10652
1423733960 'css' value '/* fonts */
@import url(http://fonts.googleapis.com/css?family=Viga);

/* no body spacing */
html, body {
   border: 0; padding: 0; margin: 0;
   background: #fefefe;
   font: normal normal 400 10pt/16pt Arial,sans-serif;
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501

/* ------------------------ Fossil internal styles ------------------------ */




'
config /config 1972
1423728192 'footer' value '             <br><br><br>


          </article>
       </main>

    </section>








|
|







486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501

/* ------------------------ Fossil internal styles ------------------------ */




'
config /config 1998
1423733960 'footer' value '             <br><br><br>


          </article>
       </main>

    </section>

548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
    </footer>
  </div>

</body>
</html>

'
config /config 7996
1423728192 'header' value '<th1>

 #-- Determine current page type
 set pagename ""
 if {[regexp {^(index|home)[?]?} $current_page]} {
    set pagecat "index"
 } else { if {[regexp {^wiki\?name=} $current_page]} {
       set pagecat "wiki"







|
|







548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
    </footer>
  </div>

</body>
</html>

'
config /config 8022
1423733960 'header' value '<th1>

 #-- Determine current page type
 set pagename ""
 if {[regexp {^(index|home)[?]?} $current_page]} {
    set pagecat "index"
 } else { if {[regexp {^wiki\?name=} $current_page]} {
       set pagecat "wiki"
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
          <h2 class=page-title>$title</h2>
          <article style=padding:7pt>




'
config /config 10929
1423728192 'th1-setup' value '
#-- Pre-increment  [++ varname]
proc ++ {varname} {
   upvar 1 $varname i
   return [uplevel 1 "set {$varname} [expr 1+$i]"]
}

#-- ternary / if-shorthand (cond/then/else may be literals, or {[expressions]} themselves)







|
|







764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
          <h2 class=page-title>$title</h2>
          <article style=padding:7pt>




'
config /config 10958
1423733960 'th1-setup' value '
#-- Pre-increment  [++ varname]
proc ++ {varname} {
   upvar 1 $varname i
   return [uplevel 1 "set {$varname} [expr 1+$i]"]
}

#-- ternary / if-shorthand (cond/then/else may be literals, or {[expressions]} themselves)

Changes to parts/mkskin.

87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
 *
 */
function config_name_value_line ($name, $value) {
    global $time, $q;

    # quote for SQL context
    $value = $q->quote($value);
    $length = strlen($value);

    # and append to sql/config output
    return "config /config $length\n"
         . "$time '$name' value $value\n";
}

/**







|







87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
 *
 */
function config_name_value_line ($name, $value) {
    global $time, $q;

    # quote for SQL context
    $value = $q->quote($value);
    $length = strlen($value) + strlen("$time '$name' value ");

    # and append to sql/config output
    return "config /config $length\n"
         . "$time '$name' value $value\n";
}

/**

Changes to parts/unpackskin.

30
31
32
33
34
35
36
37
38
39
40
41
42
43

44
45
46
47
48
49
50
51
52
53
# extract meta name?
if (preg_match("/^#\V+\"([\w.\h-]+)\"/m", $src, $uu)) {
   $skin_name = $uu[1];
}

# find matching config header lines
$rx = "/^config \/config (\d+)\n"
    . "\d+ '([\w-]+)' value '/m";
preg_match_all($rx, $src, $uu, PREG_SET_ORDER|PREG_OFFSET_CAPTURE);
foreach ($uu as $row) {

    // rx fields
    list($header, $pos) = $row[0];
    $length = $row[1][0];

    $name = $row[2][0];

    // extract value
    $value = substr($src, $pos + strlen($header) - 1, $length - 2);
    $value = stripcslashes($value);

    // save to file
    file_put_contents("$tdir/$skin_name.$name", $value);
}








|






>
|


|
|





30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
# extract meta name?
if (preg_match("/^#\V+\"([\w.\h-]+)\"/m", $src, $uu)) {
   $skin_name = $uu[1];
}

# find matching config header lines
$rx = "/^config \/config (\d+)\n"
    . "(\d+ '([\w-]+)' value )'/m";
preg_match_all($rx, $src, $uu, PREG_SET_ORDER|PREG_OFFSET_CAPTURE);
foreach ($uu as $row) {

    // rx fields
    list($header, $pos) = $row[0];
    $length = $row[1][0];
    $card = $row[2][0];
    $name = $row[3][0];

    // extract value
    $value = substr($src, $pos + strlen($header), $length - 2 - strlen($card));
    $value = strtr($value, array("''"=>"'"));

    // save to file
    file_put_contents("$tdir/$skin_name.$name", $value);
}

Changes to sanfrancisco.txt.

1
2
3
4
5
6
7
8
9
10
11
12
# Fossil skin configuration "sanfrancisco" for simple import
# 2015-02-12T07-32-37Z
#
config /config 3194
1423726357 'css' value 'body {
    margin: 0 auto;
    width: 960px;
    font-family: sans-serif;
    font-size:14pt;
}

a {
|
|

|
|







1
2
3
4
5
6
7
8
9
10
11
12
# Fossil skin configuration "sanfrancisco" for simple `fossil import skin.txt`
# 2015-02-12T09-46-46Z
#
config /config 3217
1423734406 'css' value 'body {
    margin: 0 auto;
    width: 960px;
    font-family: sans-serif;
    font-size:14pt;
}

a {
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
    border-top: 1px solid #ccc;
    padding: 10px;
    font-size:.7em;
    margin-top: 10px;
    color: #ccc;
}
'
config /config 189
1423726357 'footer' value '<div class="footer">
This page was generated in about
<th1>puts [expr {([utime]+[stime]+1000)/1000*0.001}]</th1>s by
Fossil version $manifest_version $manifest_date
</div>
</body></html>
'
config /config 2447
1423726357 '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="$home/style.css?default" type="text/css"
            media="screen" />







|
|






|
|







188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
    border-top: 1px solid #ccc;
    padding: 10px;
    font-size:.7em;
    margin-top: 10px;
    color: #ccc;
}
'
config /config 215
1423734406 'footer' value '<div class="footer">
This page was generated in about
<th1>puts [expr {([utime]+[stime]+1000)/1000*0.001}]</th1>s by
Fossil version $manifest_version $manifest_date
</div>
</body></html>
'
config /config 2473
1423734406 '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="$home/style.css?default" type="text/css"
            media="screen" />