Differences From:

File src/style.c part of check-in [677aa71bca] - The g.zExtra parameter is now always available as P("name"). This means the /wiki/xyz and /wiki?name=xyz are equivalent URLs. by drh on 2007-10-12 22:56:18. [view]

To:

File src/style.c part of check-in [8ffd32c2b7] - Add the ability to edit the CSS for all pages in the Setup menu. Other miscellaneous changes toward getting ticketing to work. by drh on 2007-10-28 20:52:52. [view]

@@ -141,8 +141,88 @@
   @ Fossil version %s(MANIFEST_VERSION) %s(MANIFEST_DATE)
   @ </div>
 }
 
+/*
+** The default Cascading Style Sheet.
+**
+** Selector order: tags, ids, classes, other
+** Content order: margin, borders, padding, fonts, colors, other
+** Note: Once things are finialize a bit we can collapse this and
+**       make it much smaller, if necessary. Right now, it's verbose
+**       but easy to edit.
+*/
+const char zDefaultCSS[] =
+@ body {
+@   margin: 0px;
+@   padding: 0px;
+@   background-color: white;
+@ }
+@ #page-title {
+@   padding: 10px 10px 10px 10px;
+@   font-size: 1.8em;
+@   font-weight: bold;
+@   background-color: #6a7ec7;
+@   color: #0a1e67;
+@ }
+@ #login-status {
+@   padding: 0px 10px 10px 0px;
+@   font-size: 0.9em;
+@   text-align: right;
+@   background-color: #6a7ec7;
+@   color: white;
+@   position: absolute;
+@   top: 10;
+@   right: 0;
+@ }
+@ #main-menu {
+@   padding: 5px 10px 5px 10px;
+@   font-size: 0.9em;
+@   font-weight: bold;
+@   text-align: center;
+@   letter-spacing: 1px;
+@   background-color: #414f84;
+@   color: white;
+@ }
+@ #sub-menu {
+@   padding: 3px 10px 3px 0px;
+@   font-size: 0.9em;
+@   text-align: center;
+@   background-color: #414f84;
+@   color: white;
+@ }
+@ #main-menu a, #main-menu a:visited, #sub-menu a, #sub-menu a:visited {
+@   padding: 3px 10px 3px 10px;
+@   color: white;
+@ }
+@ #main-menu a:hover, #sub-menu a:hover {
+@   color: #414f84;
+@   background-color: white;
+@ }
+@ #page {
+@   padding: 10px 20px 10px 20px;
+@ }
+@ #style-footer {
+@   font-size: 0.8em;
+@   margin-top: 12px;
+@   padding: 5px 10px 5px 10px;
+@   text-align: right;
+@   background-color: #414f84;
+@   color: white;
+@ }
+@ table.label-value th {
+@   text-align: right;
+@   vertical-align: top;
+@ }
+@ div.section-title {
+@   margin-bottom: 0px;
+@   padding: 1px 1px 1px 1px;
+@   font-size: 1.2em;
+@   font-weight: bold;
+@   background-color: #6a7ec7;
+@   color: #0a1e67;
+@ }
+;
 
 /*
 ** WEBPAGE: style.css
 */
@@ -153,85 +233,9 @@
   zCSS = db_get("css",0);
   if( zCSS ){
     cgi_append_content(zCSS, -1);
   }else{
-    /* No CSS file found, use our own */
-    /*
-    ** Selector order: tags, ids, classes, other
-    ** Content order: margin, borders, padding, fonts, colors, other
-    ** Note: Once things are finialize a bit we can collapse this and
-    **       make it much smaller, if necessary. Right now, it's verbose
-    **       but easy to edit.
-    */
-    @ body {
-    @   margin: 0px;
-    @   padding: 0px;
-    @   background-color: white;
-    @ }
-    @ #page-title {
-    @   padding: 10px 10px 10px 10px;
-    @   font-size: 1.8em;
-    @   font-weight: bold;
-    @   background-color: #6a7ec7;
-    @   color: #0a1e67;
-    @ }
-    @ #login-status {
-    @   padding: 0px 10px 10px 0px;
-    @   font-size: 0.9em;
-    @   text-align: right;
-    @   background-color: #6a7ec7;
-    @   color: white;
-    @   position: absolute;
-    @   top: 10;
-    @   right: 0;
-    @ }
-    @ #main-menu {
-    @   padding: 5px 10px 5px 10px;
-    @   font-size: 0.9em;
-    @   font-weight: bold;
-    @   text-align: center;
-    @   letter-spacing: 1px;
-    @   background-color: #414f84;
-    @   color: white;
-    @ }
-    @ #sub-menu {
-    @   padding: 3px 10px 3px 0px;
-    @   font-size: 0.9em;
-    @   text-align: center;
-    @   background-color: #414f84;
-    @   color: white;
-    @ }
-    @ #main-menu a, #main-menu a:visited, #sub-menu a, #sub-menu a:visited {
-    @   padding: 3px 10px 3px 10px;
-    @   color: white;
-    @ }
-    @ #main-menu a:hover, #sub-menu a:hover {
-    @   color: #414f84;
-    @   background-color: white;
-    @ }
-    @ #page {
-    @   padding: 10px 20px 10px 20px;
-    @ }
-    @ #style-footer {
-    @   font-size: 0.8em;
-    @   margin-top: 12px;
-    @   padding: 5px 10px 5px 10px;
-    @   text-align: right;
-    @   background-color: #414f84;
-    @   color: white;
-    @ }
-    @ table.label-value th {
-    @   text-align: right;
-    @   vertical-align: top;
-    @ }
-    @ div.section-title {
-    @   margin-bottom: 0px;
-    @   padding: 1px 1px 1px 1px;
-    @   font-size: 1.2em;
-    @   font-weight: bold;
-    @   background-color: #6a7ec7;
-    @   color: #0a1e67;
-    @ }
+    cgi_append_content(zDefaultCSS, -1);
   }
 }
 
 /*