923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
|
;
/*
** This skin is intended to be almost identical to the default one, with the
** following changes to the header and footer:
**
** 1. The logo image in the header is a hyperlink to the root of the web
** site containing the repository using the same scheme (i.e. HTTP or
** HTTPS) as the base URL for the repository. The header contains a TH1
** script block to help accomplish this task.
**
** 2. The Fossil version information in the footer has been augmented with
** hyperlinks to the corresponding points on the timeline in the official
** Fossil repository. Additionally, if the Tcl integration feature is
** enabled, the loaded version of Tcl is included, with a hyperlink to the
** official Tcl/Tk web site.
*/
static const char zBuiltinSkin5[] =
@ REPLACE INTO config(name,mtime,value)
@ VALUES('css',now(),'/* General settings for the entire page */
@ body {
@ margin: 0ex 1ex;
@ padding: 0px;
|
|
|
|
|
|
>
|
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
|
;
/*
** This skin is intended to be almost identical to the default one, with the
** following changes to the header and footer:
**
** 1. The logo image in the header has been modified to be a hyperlink to the
** root of the web site containing the repository using the same scheme
** (i.e. HTTP or HTTPS) as the base URL for the repository. The header
** contains a TH1 script block to help accomplish these tasks.
**
** 2. The Fossil version information in the footer has been augmented with
** hyperlinks to the corresponding points on the timeline in the official
** Fossil repository. Additionally, if the Tcl integration feature is
** enabled, the loaded version of Tcl is included, with a hyperlink to the
** official Tcl/Tk web site. The footer also contains a TH1 script block
** to help accomplish these tasks.
*/
static const char zBuiltinSkin5[] =
@ REPLACE INTO config(name,mtime,value)
@ VALUES('css',now(),'/* General settings for the entire page */
@ body {
@ margin: 0ex 1ex;
@ padding: 0px;
|