Collection of themes/skins for the Fossil SCM. Public write access, just make an account.

⌈⌋ branch:  Fossil Skins Extra


Check-in [892c5f4a68]

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

Overview
SHA1 Hash:892c5f4a68b28a14a75885e6c1fcb5a83d9b2dff
Date: 2015-02-12 09:51:55
User: mario
Comment:Fix config length field (must include card prefix size).
Tags And Properties
  • branch=trunk inherited from [9f6fc9a491]
  • sym-trunk inherited from [9f6fc9a491]
Context
2015-02-24
20:45
[6d24f6c61f] Use HEX() in query, and hex2bin() in PHP for safer CSV export and binary extraction. Add .erb file type alias. (user: mario, tags: trunk)
2015-02-12
09:51
[892c5f4a68] Fix config length field (must include card prefix size). (user: mario, tags: trunk)
08:04
[3c74754c68] Fix Github template 'main table tr' border. Add styles for new dropdown timeline submenu fields. (user: mario, tags: trunk)
Changes

Changes to github.txt.

1
2
3
4
5
6
7
8
9
10
11
12
...
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
...
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
...
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
# 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;
................................................................................

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




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


          </article>
       </main>

    </section>

................................................................................
    </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"
................................................................................
          <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)

|

|
|







 







|
|







 







|
|







 







|
|







1
2
3
4
5
6
7
8
9
10
11
12
...
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
...
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
...
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
# 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;
................................................................................

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




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


          </article>
       </main>

    </section>

................................................................................
    </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"
................................................................................
          <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
...
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
# 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 {
................................................................................
    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" />
|
|

|
|







 







|
|






|
|







1
2
3
4
5
6
7
8
9
10
11
12
...
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
# 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 {
................................................................................
    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" />