Fossil SCM

some unnecessary spacing

jan.nijtmans 2012-11-23 19:33 trunk
Commit d13143eb3be8c692d680de5cba98e3b730b76b5e
2 files changed +75 -75 +14 -14
+75 -75
--- src/skins.c
+++ src/skins.c
@@ -24,20 +24,20 @@
2424
/* @-comment: ## */
2525
/*
2626
** A black-and-white theme with the project title in a bar across the top
2727
** and no logo image.
2828
*/
29
-static const char zBuiltinSkin1[] =
29
+static const char zBuiltinSkin1[] =
3030
@ REPLACE INTO config(name,mtime,value)
3131
@ VALUES('css',now(),'/* General settings for the entire page */
3232
@ body {
3333
@ margin: 0ex 1ex;
3434
@ padding: 0px;
3535
@ background-color: white;
3636
@ font-family: sans-serif;
3737
@ }
38
-@
38
+@
3939
@ /* The project logo in the upper left-hand corner of each page */
4040
@ div.logo {
4141
@ display: table-row;
4242
@ text-align: center;
4343
@ /* vertical-align: bottom;*/
@@ -46,11 +46,11 @@
4646
@ background-color: #707070;
4747
@ color: #ffffff;
4848
@ min-width: 200px;
4949
@ white-space: nowrap;
5050
@ }
51
-@
51
+@
5252
@ /* The page title centered at the top of each page */
5353
@ div.title {
5454
@ display: table-cell;
5555
@ font-size: 1.5em;
5656
@ font-weight: bold;
@@ -58,11 +58,11 @@
5858
@ padding: 0 0 0 10px;
5959
@ color: #404040;
6060
@ vertical-align: bottom;
6161
@ width: 100%;
6262
@ }
63
-@
63
+@
6464
@ /* The login status message in the top right-hand corner */
6565
@ div.status {
6666
@ display: table-cell;
6767
@ text-align: right;
6868
@ vertical-align: bottom;
@@ -70,17 +70,17 @@
7070
@ font-size: 0.8em;
7171
@ font-weight: bold;
7272
@ min-width: 200px;
7373
@ white-space: nowrap;
7474
@ }
75
-@
75
+@
7676
@ /* The header across the top of the page */
7777
@ div.header {
7878
@ display: table;
7979
@ width: 100%;
8080
@ }
81
-@
81
+@
8282
@ /* The main menu bar that appears at the top of the page beneath
8383
@ ** the header */
8484
@ div.mainmenu {
8585
@ padding: 5px 10px 5px 10px;
8686
@ font-size: 0.9em;
@@ -117,11 +117,11 @@
117117
@ }
118118
@ /* Hyperlink colors */
119119
@ div.content a { color: #604000; }
120120
@ div.content a:link { color: #604000;}
121121
@ div.content a:visited { color: #600000; }
122
-@
122
+@
123123
@ /* Some pages have section dividers */
124124
@ div.section {
125125
@ margin-bottom: 0px;
126126
@ margin-top: 1em;
127127
@ padding: 1px 1px 1px 1px;
@@ -129,11 +129,11 @@
129129
@ font-weight: bold;
130130
@ background-color: #404040;
131131
@ color: white;
132132
@ white-space: nowrap;
133133
@ }
134
-@
134
+@
135135
@ /* The "Date" that occurs on the left hand side of timelines */
136136
@ div.divider {
137137
@ background: #a0a0a0;
138138
@ border: 2px #505050 solid;
139139
@ font-size: 1em; font-weight: normal;
@@ -141,21 +141,21 @@
141141
@ margin: .2em 0 .2em 0;
142142
@ float: left;
143143
@ clear: left;
144144
@ white-space: nowrap;
145145
@ }
146
-@
146
+@
147147
@ /* The footer at the very bottom of the page */
148148
@ div.footer {
149149
@ font-size: 0.8em;
150150
@ margin-top: 12px;
151151
@ padding: 5px 10px 5px 10px;
152152
@ text-align: right;
153153
@ background-color: #404040;
154154
@ color: white;
155155
@ }
156
-@
156
+@
157157
@ /* The label/value pairs on (for example) the vinfo page */
158158
@ table.label-value th {
159159
@ vertical-align: top;
160160
@ text-align: right;
161161
@ padding: 0.2ex 2ex;
@@ -211,30 +211,30 @@
211211
@ }
212212
@ </th1></div>
213213
@ ');
214214
@ REPLACE INTO config(name,mtime,value)
215215
@ VALUES('footer',now(),'<div class="footer">
216
-@ Fossil version $manifest_version $manifest_date
216
+@ Fossil version $manifest_version $manifest_date
217217
@ </div>
218218
@ </body></html>
219219
@ ');
220220
;
221221
222222
/*
223223
** A tan theme with the project title above the user identification
224224
** and no logo image.
225225
*/
226
-static const char zBuiltinSkin2[] =
226
+static const char zBuiltinSkin2[] =
227227
@ REPLACE INTO config(name,mtime,value)
228228
@ VALUES('css',now(),'/* General settings for the entire page */
229229
@ body {
230230
@ margin: 0ex 0ex;
231231
@ padding: 0px;
232232
@ background-color: #fef3bc;
233233
@ font-family: sans-serif;
234234
@ }
235
-@
235
+@
236236
@ /* The project logo in the upper left-hand corner of each page */
237237
@ div.logo {
238238
@ display: inline;
239239
@ text-align: center;
240240
@ vertical-align: bottom;
@@ -241,11 +241,11 @@
241241
@ font-weight: bold;
242242
@ font-size: 2.5em;
243243
@ color: #a09048;
244244
@ white-space: nowrap;
245245
@ }
246
-@
246
+@
247247
@ /* The page title centered at the top of each page */
248248
@ div.title {
249249
@ display: table-cell;
250250
@ font-size: 2em;
251251
@ font-weight: bold;
@@ -253,11 +253,11 @@
253253
@ padding: 0 0 0 5px;
254254
@ color: #a09048;
255255
@ vertical-align: bottom;
256256
@ width: 100%;
257257
@ }
258
-@
258
+@
259259
@ /* The login status message in the top right-hand corner */
260260
@ div.status {
261261
@ display: table-cell;
262262
@ text-align: right;
263263
@ vertical-align: bottom;
@@ -265,17 +265,17 @@
265265
@ padding: 5px 5px 0 0;
266266
@ font-size: 0.8em;
267267
@ font-weight: bold;
268268
@ white-space: nowrap;
269269
@ }
270
-@
270
+@
271271
@ /* The header across the top of the page */
272272
@ div.header {
273273
@ display: table;
274274
@ width: 100%;
275275
@ }
276
-@
276
+@
277277
@ /* The main menu bar that appears at the top of the page beneath
278278
@ ** the header */
279279
@ div.mainmenu {
280280
@ padding: 5px 10px 5px 10px;
281281
@ font-size: 0.9em;
@@ -283,11 +283,11 @@
283283
@ text-align: center;
284284
@ letter-spacing: 1px;
285285
@ background-color: #a09048;
286286
@ color: black;
287287
@ }
288
-@
288
+@
289289
@ /* The submenu bar that *sometimes* appears below the main menu */
290290
@ div.submenu, div.sectionmenu {
291291
@ padding: 3px 10px 3px 0px;
292292
@ font-size: 0.9em;
293293
@ text-align: center;
@@ -302,21 +302,21 @@
302302
@ }
303303
@ div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover {
304304
@ color: #a09048;
305305
@ background-color: white;
306306
@ }
307
-@
307
+@
308308
@ /* All page content from the bottom of the menu or submenu down to
309309
@ ** the footer */
310310
@ div.content {
311311
@ padding: 1ex 5px;
312312
@ }
313313
@ div.content a { color: #706532; }
314314
@ div.content a:link { color: #706532; }
315315
@ div.content a:visited { color: #704032; }
316316
@ div.content a:hover { background-color: white; color: #706532; }
317
-@
317
+@
318318
@ /* Some pages have section dividers */
319319
@ div.section {
320320
@ margin-bottom: 0px;
321321
@ margin-top: 1em;
322322
@ padding: 3px 3px 0 3px;
@@ -324,11 +324,11 @@
324324
@ font-weight: bold;
325325
@ background-color: #a09048;
326326
@ color: white;
327327
@ white-space: nowrap;
328328
@ }
329
-@
329
+@
330330
@ /* The "Date" that occurs on the left hand side of timelines */
331331
@ div.divider {
332332
@ background: #e1d498;
333333
@ border: 2px #a09048 solid;
334334
@ font-size: 1em; font-weight: normal;
@@ -336,33 +336,33 @@
336336
@ margin: .2em 0 .2em 0;
337337
@ float: left;
338338
@ clear: left;
339339
@ white-space: nowrap;
340340
@ }
341
-@
341
+@
342342
@ /* The footer at the very bottom of the page */
343343
@ div.footer {
344344
@ font-size: 0.8em;
345345
@ margin-top: 12px;
346346
@ padding: 5px 10px 5px 10px;
347347
@ text-align: right;
348348
@ background-color: #a09048;
349349
@ color: white;
350350
@ }
351
-@
351
+@
352352
@ /* Hyperlink colors */
353353
@ div.footer a { color: white; }
354354
@ div.footer a:link { color: white; }
355355
@ div.footer a:visited { color: white; }
356356
@ div.footer a:hover { background-color: white; color: #558195; }
357
-@
357
+@
358358
@ /* <verbatim> blocks */
359359
@ pre.verbatim {
360360
@ background-color: #f5f5f5;
361361
@ padding: 0.5em;
362362
@ }
363
-@
363
+@
364364
@ /* The label/value pairs on (for example) the ci page */
365365
@ table.label-value th {
366366
@ vertical-align: top;
367367
@ text-align: right;
368368
@ padding: 0.2ex 2ex;
@@ -430,39 +430,39 @@
430430
431431
/*
432432
** Black letters on a white or cream background with the main menu
433433
** stuck on the left-hand side.
434434
*/
435
-static const char zBuiltinSkin3[] =
435
+static const char zBuiltinSkin3[] =
436436
@ REPLACE INTO config(name,mtime,value)
437437
@ VALUES('css',now(),'/* General settings for the entire page */
438438
@ body {
439439
@ margin:0px 0px 0px 0px;
440440
@ padding:0px;
441441
@ font-family:verdana, arial, helvetica, "sans serif";
442442
@ color:#333;
443443
@ background-color:white;
444444
@ }
445
-@
445
+@
446446
@ /* consistent colours */
447447
@ h2 {
448448
@ color: #333;
449449
@ }
450450
@ h3 {
451451
@ color: #333;
452452
@ }
453
-@
453
+@
454454
@ /* The project logo in the upper left-hand corner of each page */
455455
@ div.logo {
456456
@ display: table-cell;
457457
@ text-align: left;
458458
@ vertical-align: bottom;
459459
@ font-weight: bold;
460460
@ color: #333;
461461
@ white-space: nowrap;
462462
@ }
463
-@
463
+@
464464
@ /* The page title centered at the top of each page */
465465
@ div.title {
466466
@ display: table-cell;
467467
@ font-size: 2em;
468468
@ font-weight: bold;
@@ -469,11 +469,11 @@
469469
@ text-align: center;
470470
@ color: #333;
471471
@ vertical-align: bottom;
472472
@ width: 100%;
473473
@ }
474
-@
474
+@
475475
@ /* The login status message in the top right-hand corner */
476476
@ div.status {
477477
@ display: table-cell;
478478
@ padding-right: 10px;
479479
@ text-align: right;
@@ -482,21 +482,21 @@
482482
@ color: #333;
483483
@ font-size: 0.8em;
484484
@ font-weight: bold;
485485
@ white-space: nowrap;
486486
@ }
487
-@
487
+@
488488
@ /* The header across the top of the page */
489489
@ div.header {
490490
@ margin:10px 0px 10px 0px;
491491
@ padding:1px 0px 0px 20px;
492492
@ border-style:solid;
493493
@ border-color:black;
494494
@ border-width:1px 0px;
495495
@ background-color:#eee;
496496
@ }
497
-@
497
+@
498498
@ /* The main menu bar that appears at the top left of the page beneath
499499
@ ** the header. Width must be co-ordinated with the container below */
500500
@ div.mainmenu {
501501
@ float: left;
502502
@ margin-left: 10px;
@@ -506,11 +506,11 @@
506506
@ padding:5px;
507507
@ background-color:#eee;
508508
@ border:1px solid #999;
509509
@ width:8em;
510510
@ }
511
-@
511
+@
512512
@ /* Main menu is now a list */
513513
@ div.mainmenu ul {
514514
@ padding: 0;
515515
@ list-style:none;
516516
@ }
@@ -521,17 +521,17 @@
521521
@ }
522522
@ div.mainmenu a:hover {
523523
@ color: #eee;
524524
@ background-color: #333;
525525
@ }
526
-@
526
+@
527527
@ /* Container for the sub-menu and content so they don''t spread
528528
@ ** out underneath the main menu */
529529
@ #container {
530530
@ padding-left: 9em;
531531
@ }
532
-@
532
+@
533533
@ /* The submenu bar that *sometimes* appears below the main menu */
534534
@ div.submenu, div.sectionmenu {
535535
@ padding: 3px 10px 3px 10px;
536536
@ font-size: 0.9em;
537537
@ text-align: center;
@@ -548,17 +548,17 @@
548548
@ }
549549
@ div.submenu a:hover, div.sectionmenu>a.button:hover {
550550
@ color: #eee;
551551
@ background-color: #333;
552552
@ }
553
-@
553
+@
554554
@ /* All page content from the bottom of the menu or submenu down to
555555
@ ** the footer */
556556
@ div.content {
557557
@ padding: 2ex 1ex 0ex 2ex;
558558
@ }
559
-@
559
+@
560560
@ /* Some pages have section dividers */
561561
@ div.section {
562562
@ margin-bottom: 0px;
563563
@ margin-top: 1em;
564564
@ padding: 1px 1px 1px 1px;
@@ -569,11 +569,11 @@
569569
@ border-width:1px 0px;
570570
@ background-color: #eee;
571571
@ color: #333;
572572
@ white-space: nowrap;
573573
@ }
574
-@
574
+@
575575
@ /* The "Date" that occurs on the left hand side of timelines */
576576
@ div.divider {
577577
@ background: #eee;
578578
@ border: 2px #999 solid;
579579
@ font-size: 1em; font-weight: normal;
@@ -582,27 +582,27 @@
582582
@ float: left;
583583
@ clear: left;
584584
@ color: #333;
585585
@ white-space: nowrap;
586586
@ }
587
-@
587
+@
588588
@ /* The footer at the very bottom of the page */
589589
@ div.footer {
590590
@ font-size: 0.8em;
591591
@ margin-top: 12px;
592592
@ padding: 5px 10px 5px 10px;
593593
@ text-align: right;
594594
@ background-color: #eee;
595595
@ color: #555;
596596
@ }
597
-@
597
+@
598598
@ /* <verbatim> blocks */
599599
@ pre.verbatim {
600600
@ background-color: #f5f5f5;
601601
@ padding: 0.5em;
602602
@ }
603
-@
603
+@
604604
@ /* The label/value pairs on (for example) the ci page */
605605
@ table.label-value th {
606606
@ vertical-align: top;
607607
@ text-align: right;
608608
@ padding: 0.2ex 2ex;
@@ -673,11 +673,11 @@
673673
674674
675675
/*
676676
** Shadow boxes and rounded corners.
677677
*/
678
-static const char zBuiltinSkin4[] =
678
+static const char zBuiltinSkin4[] =
679679
@ REPLACE INTO config(name,mtime,value)
680680
@ VALUES('css',now(),'/* General settings for the entire page */
681681
@ html {
682682
@ min-height: 100%;
683683
@ }
@@ -687,28 +687,28 @@
687687
@ background-color: white;
688688
@ color: #333;
689689
@ font-family: Verdana, sans-serif;
690690
@ font-size: 0.8em;
691691
@ }
692
-@
692
+@
693693
@ /* The project logo in the upper left-hand corner of each page */
694694
@ div.logo {
695695
@ display: table-cell;
696696
@ text-align: right;
697697
@ vertical-align: bottom;
698698
@ font-weight: normal;
699699
@ white-space: nowrap;
700700
@ }
701
-@
701
+@
702702
@ /* Widths */
703703
@ div.header, div.mainmenu, div.submenu, div.content, div.footer {
704704
@ max-width: 900px;
705705
@ margin: auto;
706706
@ padding: 3px 20px 3px 20px;
707707
@ clear: both;
708708
@ }
709
-@
709
+@
710710
@ /* The page title at the top of each page */
711711
@ div.title {
712712
@ display: table-cell;
713713
@ padding-left: 10px;
714714
@ font-size: 2em;
@@ -719,21 +719,21 @@
719719
@ font-family: Verdana, sans-serif;
720720
@ font-weight: bold;
721721
@ color: #558195;
722722
@ text-shadow: 0px 2px 2px #999999;
723723
@ }
724
-@
724
+@
725725
@ /* The login status message in the top right-hand corner */
726726
@ div.status {
727727
@ display: table-cell;
728728
@ text-align: right;
729729
@ vertical-align: bottom;
730730
@ color: #333;
731731
@ margin-right: -20px;
732732
@ white-space: nowrap;
733733
@ }
734
-@
734
+@
735735
@ /* The main menu bar that appears at the top of the page beneath
736736
@ ** the header */
737737
@ div.mainmenu {
738738
@ text-align: center;
739739
@ color: white;
@@ -743,11 +743,11 @@
743743
@ padding-top: 8px;
744744
@ padding-bottom: 8px;
745745
@ background-color: #446979;
746746
@ box-shadow: 0px 3px 4px #333333;
747747
@ }
748
-@
748
+@
749749
@ /* The submenu bar that *sometimes* appears below the main menu */
750750
@ div.submenu {
751751
@ padding-top:10px;
752752
@ padding-bottom:0;
753753
@ text-align: right;
@@ -768,24 +768,24 @@
768768
@ color: #000;
769769
@ font-family: Arial;
770770
@ text-decoration: none;
771771
@ margin:auto;
772772
@ border-radius: 5px;
773
-@ background-color: #e0e0e0 ;
773
+@ background-color: #e0e0e0;
774774
@ text-shadow: 0px -1px 0px #eee;
775775
@ border: 1px solid #000;
776776
@ }
777
-@
777
+@
778778
@ div.mainmenu a:hover {
779779
@ color: #000;
780780
@ background-color: white;
781781
@ }
782
-@
782
+@
783783
@ div.submenu a:hover, div.sectionmenu>a.button:hover {
784
-@ background-color: #c0c0c0 ;
784
+@ background-color: #c0c0c0;
785785
@ }
786
-@
786
+@
787787
@ /* All page content from the bottom of the menu or submenu down to
788788
@ ** the footer */
789789
@ div.content {
790790
@ background-color: #fff;
791791
@ box-shadow: 0px 3px 4px #999;
@@ -792,12 +792,12 @@
792792
@ border-bottom-right-radius: 5px;
793793
@ border-bottom-left-radius: 5px;
794794
@ padding-bottom: 1em;
795795
@ min-height:40%;
796796
@ }
797
-@
798
-@
797
+@
798
+@
799799
@ /* Some pages have section dividers */
800800
@ div.section {
801801
@ margin-bottom: 0.5em;
802802
@ margin-top: 1em;
803803
@ margin-right: auto;
@@ -809,69 +809,69 @@
809809
@ border-radius: 5px;
810810
@ background-color: #446979;
811811
@ box-shadow: 0px 3px 4px #333333;
812812
@ white-space: nowrap;
813813
@ }
814
-@
814
+@
815815
@ /* The "Date" that occurs on the left hand side of timelines */
816816
@ div.divider {
817
-@ font-size: 1.2em;
817
+@ font-size: 1.2em;
818818
@ font-family: Georgia, serif;
819819
@ font-weight: bold;
820820
@ margin-top: 1em;
821821
@ white-space: nowrap;
822822
@ }
823
-@
823
+@
824824
@ /* The footer at the very bottom of the page */
825825
@ div.footer {
826826
@ font-size: 0.9em;
827827
@ text-align: right;
828828
@ margin-bottom: 1em;
829829
@ color: #666;
830830
@ }
831
-@
831
+@
832832
@ /* Hyperlink colors in the footer */
833833
@ div.footer a { color: white; }
834834
@ div.footer a:link { color: white; }
835835
@ div.footer a:visited { color: white; }
836836
@ div.footer a:hover { background-color: white; color: #558195; }
837
-@
837
+@
838838
@ /* <verbatim> blocks */
839839
@ pre.verbatim, blockquote pre {
840840
@ font-family: Dejavu Sans Mono, Monaco, Lucida Console, monospace;
841841
@ background-color: #f3f3f3;
842842
@ padding: 0.5em;
843843
@ white-space: pre-wrap;
844844
@ }
845
-@
845
+@
846846
@ blockquote pre {
847847
@ border: 1px #000 dashed;
848848
@ }
849
-@
849
+@
850850
@ /* The label/value pairs on (for example) the ci page */
851851
@ table.label-value th {
852852
@ vertical-align: top;
853853
@ text-align: right;
854854
@ padding: 0.2ex 2ex;
855855
@ }
856
-@
857
-@
856
+@
857
+@
858858
@ table.report {
859859
@ border-collapse:collapse;
860860
@ border: 1px solid #999;
861861
@ margin: 1em 0 1em 0;
862862
@ }
863
-@
863
+@
864864
@ table.report tr th {
865865
@ padding: 3px 5px;
866
-@ text-transform : capitalize;
866
+@ text-transform: capitalize;
867867
@ }
868
-@
868
+@
869869
@ table.report tr td {
870870
@ padding: 3px 5px;
871871
@ }
872
-@
872
+@
873873
@ textarea {
874874
@ font-size: 1em;
875875
@ }');
876876
@ REPLACE INTO config(name,mtime,value) VALUES('header',now(),'<html>
877877
@ <head>
@@ -952,11 +952,11 @@
952952
** Fossil repository. Additionally, if the Tcl integration feature is
953953
** enabled, the loaded version of Tcl is included, with a hyperlink to the
954954
** official Tcl/Tk web site. The footer also contains a TH1 script block
955955
** to help accomplish these tasks.
956956
*/
957
-static const char zBuiltinSkin5[] =
957
+static const char zBuiltinSkin5[] =
958958
@ REPLACE INTO config(name,mtime,value)
959959
@ VALUES('css',now(),'/* General settings for the entire page */
960960
@ body {
961961
@ margin: 0ex 1ex;
962962
@ padding: 0px;
@@ -982,11 +982,11 @@
982982
@ font-weight: bold;
983983
@ text-align: center;
984984
@ padding: 0 0 0 1em;
985985
@ color: #558195;
986986
@ vertical-align: bottom;
987
-@ width: 100% ;
987
+@ width: 100%;
988988
@ }
989989
@
990990
@ /* The login status message in the top right-hand corner */
991991
@ div.status {
992992
@ display: table-cell;
@@ -1000,11 +1000,11 @@
10001000
@ }
10011001
@
10021002
@ /* The header across the top of the page */
10031003
@ div.header {
10041004
@ display: table;
1005
-@ width: 100% ;
1005
+@ width: 100%;
10061006
@ }
10071007
@
10081008
@ /* The main menu bar that appears at the top of the page beneath
10091009
@ ** the header */
10101010
@ div.mainmenu {
@@ -1085,11 +1085,11 @@
10851085
@ /* Hyperlink colors in the footer */
10861086
@ div.footer a { color: white; }
10871087
@ div.footer a:link { color: white; }
10881088
@ div.footer a:visited { color: white; }
10891089
@ div.footer a:hover { background-color: white; color: #558195; }
1090
-@
1090
+@
10911091
@ /* verbatim blocks */
10921092
@ pre.verbatim {
10931093
@ background-color: #f5f5f5;
10941094
@ padding: 0.5em;
10951095
@}
@@ -1397,11 +1397,11 @@
13971397
style_header("Skins");
13981398
if( zErr ){
13991399
@ <p><font color="red">%h(zErr)</font></p>
14001400
}
14011401
@ <p>A "skin" is a combination of
1402
- @ <a href="setup_editcss">CSS</a>,
1402
+ @ <a href="setup_editcss">CSS</a>,
14031403
@ <a href="setup_header">Header</a>,
14041404
@ <a href="setup_footer">Footer</a>, and
14051405
@ <a href="setup_logo">Logo</a> that determines the look and feel
14061406
@ of the web interface.</p>
14071407
@
@@ -1411,11 +1411,11 @@
14111411
z = aBuiltinSkin[i].zName;
14121412
if( fossil_strcmp(aBuiltinSkin[i].zValue, zCurrent)==0 ){
14131413
@ <li><p>%h(z).&nbsp;&nbsp; <b>Currently In Use</b></p>
14141414
}else{
14151415
@ <li><form action="%s(g.zTop)/setup_skin" method="post"><div>
1416
- @ %h(z).&nbsp;&nbsp;
1416
+ @ %h(z).&nbsp;&nbsp;
14171417
@ <input type="hidden" name="sn" value="%h(z)" />
14181418
@ <input type="submit" name="load" value="Use This Skin" />
14191419
@ </div></form></li>
14201420
}
14211421
}
@@ -1429,11 +1429,11 @@
14291429
const char *zV = db_column_text(&q, 1);
14301430
if( fossil_strcmp(zV, zCurrent)==0 ){
14311431
@ <li><p>%h(zN).&nbsp;&nbsp; <b>Currently In Use</b></p>
14321432
}else{
14331433
@ <li><form action="%s(g.zTop)/setup_skin" method="post">
1434
- @ %h(zN).&nbsp;&nbsp;
1434
+ @ %h(zN).&nbsp;&nbsp;
14351435
@ <input type="hidden" name="sn" value="%h(zN)">
14361436
@ <input type="submit" name="load" value="Use This Skin">
14371437
@ <input type="submit" name="del1" value="Delete This Skin">
14381438
@ </form></li>
14391439
}
14401440
--- src/skins.c
+++ src/skins.c
@@ -24,20 +24,20 @@
24 /* @-comment: ## */
25 /*
26 ** A black-and-white theme with the project title in a bar across the top
27 ** and no logo image.
28 */
29 static const char zBuiltinSkin1[] =
30 @ REPLACE INTO config(name,mtime,value)
31 @ VALUES('css',now(),'/* General settings for the entire page */
32 @ body {
33 @ margin: 0ex 1ex;
34 @ padding: 0px;
35 @ background-color: white;
36 @ font-family: sans-serif;
37 @ }
38 @
39 @ /* The project logo in the upper left-hand corner of each page */
40 @ div.logo {
41 @ display: table-row;
42 @ text-align: center;
43 @ /* vertical-align: bottom;*/
@@ -46,11 +46,11 @@
46 @ background-color: #707070;
47 @ color: #ffffff;
48 @ min-width: 200px;
49 @ white-space: nowrap;
50 @ }
51 @
52 @ /* The page title centered at the top of each page */
53 @ div.title {
54 @ display: table-cell;
55 @ font-size: 1.5em;
56 @ font-weight: bold;
@@ -58,11 +58,11 @@
58 @ padding: 0 0 0 10px;
59 @ color: #404040;
60 @ vertical-align: bottom;
61 @ width: 100%;
62 @ }
63 @
64 @ /* The login status message in the top right-hand corner */
65 @ div.status {
66 @ display: table-cell;
67 @ text-align: right;
68 @ vertical-align: bottom;
@@ -70,17 +70,17 @@
70 @ font-size: 0.8em;
71 @ font-weight: bold;
72 @ min-width: 200px;
73 @ white-space: nowrap;
74 @ }
75 @
76 @ /* The header across the top of the page */
77 @ div.header {
78 @ display: table;
79 @ width: 100%;
80 @ }
81 @
82 @ /* The main menu bar that appears at the top of the page beneath
83 @ ** the header */
84 @ div.mainmenu {
85 @ padding: 5px 10px 5px 10px;
86 @ font-size: 0.9em;
@@ -117,11 +117,11 @@
117 @ }
118 @ /* Hyperlink colors */
119 @ div.content a { color: #604000; }
120 @ div.content a:link { color: #604000;}
121 @ div.content a:visited { color: #600000; }
122 @
123 @ /* Some pages have section dividers */
124 @ div.section {
125 @ margin-bottom: 0px;
126 @ margin-top: 1em;
127 @ padding: 1px 1px 1px 1px;
@@ -129,11 +129,11 @@
129 @ font-weight: bold;
130 @ background-color: #404040;
131 @ color: white;
132 @ white-space: nowrap;
133 @ }
134 @
135 @ /* The "Date" that occurs on the left hand side of timelines */
136 @ div.divider {
137 @ background: #a0a0a0;
138 @ border: 2px #505050 solid;
139 @ font-size: 1em; font-weight: normal;
@@ -141,21 +141,21 @@
141 @ margin: .2em 0 .2em 0;
142 @ float: left;
143 @ clear: left;
144 @ white-space: nowrap;
145 @ }
146 @
147 @ /* The footer at the very bottom of the page */
148 @ div.footer {
149 @ font-size: 0.8em;
150 @ margin-top: 12px;
151 @ padding: 5px 10px 5px 10px;
152 @ text-align: right;
153 @ background-color: #404040;
154 @ color: white;
155 @ }
156 @
157 @ /* The label/value pairs on (for example) the vinfo page */
158 @ table.label-value th {
159 @ vertical-align: top;
160 @ text-align: right;
161 @ padding: 0.2ex 2ex;
@@ -211,30 +211,30 @@
211 @ }
212 @ </th1></div>
213 @ ');
214 @ REPLACE INTO config(name,mtime,value)
215 @ VALUES('footer',now(),'<div class="footer">
216 @ Fossil version $manifest_version $manifest_date
217 @ </div>
218 @ </body></html>
219 @ ');
220 ;
221
222 /*
223 ** A tan theme with the project title above the user identification
224 ** and no logo image.
225 */
226 static const char zBuiltinSkin2[] =
227 @ REPLACE INTO config(name,mtime,value)
228 @ VALUES('css',now(),'/* General settings for the entire page */
229 @ body {
230 @ margin: 0ex 0ex;
231 @ padding: 0px;
232 @ background-color: #fef3bc;
233 @ font-family: sans-serif;
234 @ }
235 @
236 @ /* The project logo in the upper left-hand corner of each page */
237 @ div.logo {
238 @ display: inline;
239 @ text-align: center;
240 @ vertical-align: bottom;
@@ -241,11 +241,11 @@
241 @ font-weight: bold;
242 @ font-size: 2.5em;
243 @ color: #a09048;
244 @ white-space: nowrap;
245 @ }
246 @
247 @ /* The page title centered at the top of each page */
248 @ div.title {
249 @ display: table-cell;
250 @ font-size: 2em;
251 @ font-weight: bold;
@@ -253,11 +253,11 @@
253 @ padding: 0 0 0 5px;
254 @ color: #a09048;
255 @ vertical-align: bottom;
256 @ width: 100%;
257 @ }
258 @
259 @ /* The login status message in the top right-hand corner */
260 @ div.status {
261 @ display: table-cell;
262 @ text-align: right;
263 @ vertical-align: bottom;
@@ -265,17 +265,17 @@
265 @ padding: 5px 5px 0 0;
266 @ font-size: 0.8em;
267 @ font-weight: bold;
268 @ white-space: nowrap;
269 @ }
270 @
271 @ /* The header across the top of the page */
272 @ div.header {
273 @ display: table;
274 @ width: 100%;
275 @ }
276 @
277 @ /* The main menu bar that appears at the top of the page beneath
278 @ ** the header */
279 @ div.mainmenu {
280 @ padding: 5px 10px 5px 10px;
281 @ font-size: 0.9em;
@@ -283,11 +283,11 @@
283 @ text-align: center;
284 @ letter-spacing: 1px;
285 @ background-color: #a09048;
286 @ color: black;
287 @ }
288 @
289 @ /* The submenu bar that *sometimes* appears below the main menu */
290 @ div.submenu, div.sectionmenu {
291 @ padding: 3px 10px 3px 0px;
292 @ font-size: 0.9em;
293 @ text-align: center;
@@ -302,21 +302,21 @@
302 @ }
303 @ div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover {
304 @ color: #a09048;
305 @ background-color: white;
306 @ }
307 @
308 @ /* All page content from the bottom of the menu or submenu down to
309 @ ** the footer */
310 @ div.content {
311 @ padding: 1ex 5px;
312 @ }
313 @ div.content a { color: #706532; }
314 @ div.content a:link { color: #706532; }
315 @ div.content a:visited { color: #704032; }
316 @ div.content a:hover { background-color: white; color: #706532; }
317 @
318 @ /* Some pages have section dividers */
319 @ div.section {
320 @ margin-bottom: 0px;
321 @ margin-top: 1em;
322 @ padding: 3px 3px 0 3px;
@@ -324,11 +324,11 @@
324 @ font-weight: bold;
325 @ background-color: #a09048;
326 @ color: white;
327 @ white-space: nowrap;
328 @ }
329 @
330 @ /* The "Date" that occurs on the left hand side of timelines */
331 @ div.divider {
332 @ background: #e1d498;
333 @ border: 2px #a09048 solid;
334 @ font-size: 1em; font-weight: normal;
@@ -336,33 +336,33 @@
336 @ margin: .2em 0 .2em 0;
337 @ float: left;
338 @ clear: left;
339 @ white-space: nowrap;
340 @ }
341 @
342 @ /* The footer at the very bottom of the page */
343 @ div.footer {
344 @ font-size: 0.8em;
345 @ margin-top: 12px;
346 @ padding: 5px 10px 5px 10px;
347 @ text-align: right;
348 @ background-color: #a09048;
349 @ color: white;
350 @ }
351 @
352 @ /* Hyperlink colors */
353 @ div.footer a { color: white; }
354 @ div.footer a:link { color: white; }
355 @ div.footer a:visited { color: white; }
356 @ div.footer a:hover { background-color: white; color: #558195; }
357 @
358 @ /* <verbatim> blocks */
359 @ pre.verbatim {
360 @ background-color: #f5f5f5;
361 @ padding: 0.5em;
362 @ }
363 @
364 @ /* The label/value pairs on (for example) the ci page */
365 @ table.label-value th {
366 @ vertical-align: top;
367 @ text-align: right;
368 @ padding: 0.2ex 2ex;
@@ -430,39 +430,39 @@
430
431 /*
432 ** Black letters on a white or cream background with the main menu
433 ** stuck on the left-hand side.
434 */
435 static const char zBuiltinSkin3[] =
436 @ REPLACE INTO config(name,mtime,value)
437 @ VALUES('css',now(),'/* General settings for the entire page */
438 @ body {
439 @ margin:0px 0px 0px 0px;
440 @ padding:0px;
441 @ font-family:verdana, arial, helvetica, "sans serif";
442 @ color:#333;
443 @ background-color:white;
444 @ }
445 @
446 @ /* consistent colours */
447 @ h2 {
448 @ color: #333;
449 @ }
450 @ h3 {
451 @ color: #333;
452 @ }
453 @
454 @ /* The project logo in the upper left-hand corner of each page */
455 @ div.logo {
456 @ display: table-cell;
457 @ text-align: left;
458 @ vertical-align: bottom;
459 @ font-weight: bold;
460 @ color: #333;
461 @ white-space: nowrap;
462 @ }
463 @
464 @ /* The page title centered at the top of each page */
465 @ div.title {
466 @ display: table-cell;
467 @ font-size: 2em;
468 @ font-weight: bold;
@@ -469,11 +469,11 @@
469 @ text-align: center;
470 @ color: #333;
471 @ vertical-align: bottom;
472 @ width: 100%;
473 @ }
474 @
475 @ /* The login status message in the top right-hand corner */
476 @ div.status {
477 @ display: table-cell;
478 @ padding-right: 10px;
479 @ text-align: right;
@@ -482,21 +482,21 @@
482 @ color: #333;
483 @ font-size: 0.8em;
484 @ font-weight: bold;
485 @ white-space: nowrap;
486 @ }
487 @
488 @ /* The header across the top of the page */
489 @ div.header {
490 @ margin:10px 0px 10px 0px;
491 @ padding:1px 0px 0px 20px;
492 @ border-style:solid;
493 @ border-color:black;
494 @ border-width:1px 0px;
495 @ background-color:#eee;
496 @ }
497 @
498 @ /* The main menu bar that appears at the top left of the page beneath
499 @ ** the header. Width must be co-ordinated with the container below */
500 @ div.mainmenu {
501 @ float: left;
502 @ margin-left: 10px;
@@ -506,11 +506,11 @@
506 @ padding:5px;
507 @ background-color:#eee;
508 @ border:1px solid #999;
509 @ width:8em;
510 @ }
511 @
512 @ /* Main menu is now a list */
513 @ div.mainmenu ul {
514 @ padding: 0;
515 @ list-style:none;
516 @ }
@@ -521,17 +521,17 @@
521 @ }
522 @ div.mainmenu a:hover {
523 @ color: #eee;
524 @ background-color: #333;
525 @ }
526 @
527 @ /* Container for the sub-menu and content so they don''t spread
528 @ ** out underneath the main menu */
529 @ #container {
530 @ padding-left: 9em;
531 @ }
532 @
533 @ /* The submenu bar that *sometimes* appears below the main menu */
534 @ div.submenu, div.sectionmenu {
535 @ padding: 3px 10px 3px 10px;
536 @ font-size: 0.9em;
537 @ text-align: center;
@@ -548,17 +548,17 @@
548 @ }
549 @ div.submenu a:hover, div.sectionmenu>a.button:hover {
550 @ color: #eee;
551 @ background-color: #333;
552 @ }
553 @
554 @ /* All page content from the bottom of the menu or submenu down to
555 @ ** the footer */
556 @ div.content {
557 @ padding: 2ex 1ex 0ex 2ex;
558 @ }
559 @
560 @ /* Some pages have section dividers */
561 @ div.section {
562 @ margin-bottom: 0px;
563 @ margin-top: 1em;
564 @ padding: 1px 1px 1px 1px;
@@ -569,11 +569,11 @@
569 @ border-width:1px 0px;
570 @ background-color: #eee;
571 @ color: #333;
572 @ white-space: nowrap;
573 @ }
574 @
575 @ /* The "Date" that occurs on the left hand side of timelines */
576 @ div.divider {
577 @ background: #eee;
578 @ border: 2px #999 solid;
579 @ font-size: 1em; font-weight: normal;
@@ -582,27 +582,27 @@
582 @ float: left;
583 @ clear: left;
584 @ color: #333;
585 @ white-space: nowrap;
586 @ }
587 @
588 @ /* The footer at the very bottom of the page */
589 @ div.footer {
590 @ font-size: 0.8em;
591 @ margin-top: 12px;
592 @ padding: 5px 10px 5px 10px;
593 @ text-align: right;
594 @ background-color: #eee;
595 @ color: #555;
596 @ }
597 @
598 @ /* <verbatim> blocks */
599 @ pre.verbatim {
600 @ background-color: #f5f5f5;
601 @ padding: 0.5em;
602 @ }
603 @
604 @ /* The label/value pairs on (for example) the ci page */
605 @ table.label-value th {
606 @ vertical-align: top;
607 @ text-align: right;
608 @ padding: 0.2ex 2ex;
@@ -673,11 +673,11 @@
673
674
675 /*
676 ** Shadow boxes and rounded corners.
677 */
678 static const char zBuiltinSkin4[] =
679 @ REPLACE INTO config(name,mtime,value)
680 @ VALUES('css',now(),'/* General settings for the entire page */
681 @ html {
682 @ min-height: 100%;
683 @ }
@@ -687,28 +687,28 @@
687 @ background-color: white;
688 @ color: #333;
689 @ font-family: Verdana, sans-serif;
690 @ font-size: 0.8em;
691 @ }
692 @
693 @ /* The project logo in the upper left-hand corner of each page */
694 @ div.logo {
695 @ display: table-cell;
696 @ text-align: right;
697 @ vertical-align: bottom;
698 @ font-weight: normal;
699 @ white-space: nowrap;
700 @ }
701 @
702 @ /* Widths */
703 @ div.header, div.mainmenu, div.submenu, div.content, div.footer {
704 @ max-width: 900px;
705 @ margin: auto;
706 @ padding: 3px 20px 3px 20px;
707 @ clear: both;
708 @ }
709 @
710 @ /* The page title at the top of each page */
711 @ div.title {
712 @ display: table-cell;
713 @ padding-left: 10px;
714 @ font-size: 2em;
@@ -719,21 +719,21 @@
719 @ font-family: Verdana, sans-serif;
720 @ font-weight: bold;
721 @ color: #558195;
722 @ text-shadow: 0px 2px 2px #999999;
723 @ }
724 @
725 @ /* The login status message in the top right-hand corner */
726 @ div.status {
727 @ display: table-cell;
728 @ text-align: right;
729 @ vertical-align: bottom;
730 @ color: #333;
731 @ margin-right: -20px;
732 @ white-space: nowrap;
733 @ }
734 @
735 @ /* The main menu bar that appears at the top of the page beneath
736 @ ** the header */
737 @ div.mainmenu {
738 @ text-align: center;
739 @ color: white;
@@ -743,11 +743,11 @@
743 @ padding-top: 8px;
744 @ padding-bottom: 8px;
745 @ background-color: #446979;
746 @ box-shadow: 0px 3px 4px #333333;
747 @ }
748 @
749 @ /* The submenu bar that *sometimes* appears below the main menu */
750 @ div.submenu {
751 @ padding-top:10px;
752 @ padding-bottom:0;
753 @ text-align: right;
@@ -768,24 +768,24 @@
768 @ color: #000;
769 @ font-family: Arial;
770 @ text-decoration: none;
771 @ margin:auto;
772 @ border-radius: 5px;
773 @ background-color: #e0e0e0 ;
774 @ text-shadow: 0px -1px 0px #eee;
775 @ border: 1px solid #000;
776 @ }
777 @
778 @ div.mainmenu a:hover {
779 @ color: #000;
780 @ background-color: white;
781 @ }
782 @
783 @ div.submenu a:hover, div.sectionmenu>a.button:hover {
784 @ background-color: #c0c0c0 ;
785 @ }
786 @
787 @ /* All page content from the bottom of the menu or submenu down to
788 @ ** the footer */
789 @ div.content {
790 @ background-color: #fff;
791 @ box-shadow: 0px 3px 4px #999;
@@ -792,12 +792,12 @@
792 @ border-bottom-right-radius: 5px;
793 @ border-bottom-left-radius: 5px;
794 @ padding-bottom: 1em;
795 @ min-height:40%;
796 @ }
797 @
798 @
799 @ /* Some pages have section dividers */
800 @ div.section {
801 @ margin-bottom: 0.5em;
802 @ margin-top: 1em;
803 @ margin-right: auto;
@@ -809,69 +809,69 @@
809 @ border-radius: 5px;
810 @ background-color: #446979;
811 @ box-shadow: 0px 3px 4px #333333;
812 @ white-space: nowrap;
813 @ }
814 @
815 @ /* The "Date" that occurs on the left hand side of timelines */
816 @ div.divider {
817 @ font-size: 1.2em;
818 @ font-family: Georgia, serif;
819 @ font-weight: bold;
820 @ margin-top: 1em;
821 @ white-space: nowrap;
822 @ }
823 @
824 @ /* The footer at the very bottom of the page */
825 @ div.footer {
826 @ font-size: 0.9em;
827 @ text-align: right;
828 @ margin-bottom: 1em;
829 @ color: #666;
830 @ }
831 @
832 @ /* Hyperlink colors in the footer */
833 @ div.footer a { color: white; }
834 @ div.footer a:link { color: white; }
835 @ div.footer a:visited { color: white; }
836 @ div.footer a:hover { background-color: white; color: #558195; }
837 @
838 @ /* <verbatim> blocks */
839 @ pre.verbatim, blockquote pre {
840 @ font-family: Dejavu Sans Mono, Monaco, Lucida Console, monospace;
841 @ background-color: #f3f3f3;
842 @ padding: 0.5em;
843 @ white-space: pre-wrap;
844 @ }
845 @
846 @ blockquote pre {
847 @ border: 1px #000 dashed;
848 @ }
849 @
850 @ /* The label/value pairs on (for example) the ci page */
851 @ table.label-value th {
852 @ vertical-align: top;
853 @ text-align: right;
854 @ padding: 0.2ex 2ex;
855 @ }
856 @
857 @
858 @ table.report {
859 @ border-collapse:collapse;
860 @ border: 1px solid #999;
861 @ margin: 1em 0 1em 0;
862 @ }
863 @
864 @ table.report tr th {
865 @ padding: 3px 5px;
866 @ text-transform : capitalize;
867 @ }
868 @
869 @ table.report tr td {
870 @ padding: 3px 5px;
871 @ }
872 @
873 @ textarea {
874 @ font-size: 1em;
875 @ }');
876 @ REPLACE INTO config(name,mtime,value) VALUES('header',now(),'<html>
877 @ <head>
@@ -952,11 +952,11 @@
952 ** Fossil repository. Additionally, if the Tcl integration feature is
953 ** enabled, the loaded version of Tcl is included, with a hyperlink to the
954 ** official Tcl/Tk web site. The footer also contains a TH1 script block
955 ** to help accomplish these tasks.
956 */
957 static const char zBuiltinSkin5[] =
958 @ REPLACE INTO config(name,mtime,value)
959 @ VALUES('css',now(),'/* General settings for the entire page */
960 @ body {
961 @ margin: 0ex 1ex;
962 @ padding: 0px;
@@ -982,11 +982,11 @@
982 @ font-weight: bold;
983 @ text-align: center;
984 @ padding: 0 0 0 1em;
985 @ color: #558195;
986 @ vertical-align: bottom;
987 @ width: 100% ;
988 @ }
989 @
990 @ /* The login status message in the top right-hand corner */
991 @ div.status {
992 @ display: table-cell;
@@ -1000,11 +1000,11 @@
1000 @ }
1001 @
1002 @ /* The header across the top of the page */
1003 @ div.header {
1004 @ display: table;
1005 @ width: 100% ;
1006 @ }
1007 @
1008 @ /* The main menu bar that appears at the top of the page beneath
1009 @ ** the header */
1010 @ div.mainmenu {
@@ -1085,11 +1085,11 @@
1085 @ /* Hyperlink colors in the footer */
1086 @ div.footer a { color: white; }
1087 @ div.footer a:link { color: white; }
1088 @ div.footer a:visited { color: white; }
1089 @ div.footer a:hover { background-color: white; color: #558195; }
1090 @
1091 @ /* verbatim blocks */
1092 @ pre.verbatim {
1093 @ background-color: #f5f5f5;
1094 @ padding: 0.5em;
1095 @}
@@ -1397,11 +1397,11 @@
1397 style_header("Skins");
1398 if( zErr ){
1399 @ <p><font color="red">%h(zErr)</font></p>
1400 }
1401 @ <p>A "skin" is a combination of
1402 @ <a href="setup_editcss">CSS</a>,
1403 @ <a href="setup_header">Header</a>,
1404 @ <a href="setup_footer">Footer</a>, and
1405 @ <a href="setup_logo">Logo</a> that determines the look and feel
1406 @ of the web interface.</p>
1407 @
@@ -1411,11 +1411,11 @@
1411 z = aBuiltinSkin[i].zName;
1412 if( fossil_strcmp(aBuiltinSkin[i].zValue, zCurrent)==0 ){
1413 @ <li><p>%h(z).&nbsp;&nbsp; <b>Currently In Use</b></p>
1414 }else{
1415 @ <li><form action="%s(g.zTop)/setup_skin" method="post"><div>
1416 @ %h(z).&nbsp;&nbsp;
1417 @ <input type="hidden" name="sn" value="%h(z)" />
1418 @ <input type="submit" name="load" value="Use This Skin" />
1419 @ </div></form></li>
1420 }
1421 }
@@ -1429,11 +1429,11 @@
1429 const char *zV = db_column_text(&q, 1);
1430 if( fossil_strcmp(zV, zCurrent)==0 ){
1431 @ <li><p>%h(zN).&nbsp;&nbsp; <b>Currently In Use</b></p>
1432 }else{
1433 @ <li><form action="%s(g.zTop)/setup_skin" method="post">
1434 @ %h(zN).&nbsp;&nbsp;
1435 @ <input type="hidden" name="sn" value="%h(zN)">
1436 @ <input type="submit" name="load" value="Use This Skin">
1437 @ <input type="submit" name="del1" value="Delete This Skin">
1438 @ </form></li>
1439 }
1440
--- src/skins.c
+++ src/skins.c
@@ -24,20 +24,20 @@
24 /* @-comment: ## */
25 /*
26 ** A black-and-white theme with the project title in a bar across the top
27 ** and no logo image.
28 */
29 static const char zBuiltinSkin1[] =
30 @ REPLACE INTO config(name,mtime,value)
31 @ VALUES('css',now(),'/* General settings for the entire page */
32 @ body {
33 @ margin: 0ex 1ex;
34 @ padding: 0px;
35 @ background-color: white;
36 @ font-family: sans-serif;
37 @ }
38 @
39 @ /* The project logo in the upper left-hand corner of each page */
40 @ div.logo {
41 @ display: table-row;
42 @ text-align: center;
43 @ /* vertical-align: bottom;*/
@@ -46,11 +46,11 @@
46 @ background-color: #707070;
47 @ color: #ffffff;
48 @ min-width: 200px;
49 @ white-space: nowrap;
50 @ }
51 @
52 @ /* The page title centered at the top of each page */
53 @ div.title {
54 @ display: table-cell;
55 @ font-size: 1.5em;
56 @ font-weight: bold;
@@ -58,11 +58,11 @@
58 @ padding: 0 0 0 10px;
59 @ color: #404040;
60 @ vertical-align: bottom;
61 @ width: 100%;
62 @ }
63 @
64 @ /* The login status message in the top right-hand corner */
65 @ div.status {
66 @ display: table-cell;
67 @ text-align: right;
68 @ vertical-align: bottom;
@@ -70,17 +70,17 @@
70 @ font-size: 0.8em;
71 @ font-weight: bold;
72 @ min-width: 200px;
73 @ white-space: nowrap;
74 @ }
75 @
76 @ /* The header across the top of the page */
77 @ div.header {
78 @ display: table;
79 @ width: 100%;
80 @ }
81 @
82 @ /* The main menu bar that appears at the top of the page beneath
83 @ ** the header */
84 @ div.mainmenu {
85 @ padding: 5px 10px 5px 10px;
86 @ font-size: 0.9em;
@@ -117,11 +117,11 @@
117 @ }
118 @ /* Hyperlink colors */
119 @ div.content a { color: #604000; }
120 @ div.content a:link { color: #604000;}
121 @ div.content a:visited { color: #600000; }
122 @
123 @ /* Some pages have section dividers */
124 @ div.section {
125 @ margin-bottom: 0px;
126 @ margin-top: 1em;
127 @ padding: 1px 1px 1px 1px;
@@ -129,11 +129,11 @@
129 @ font-weight: bold;
130 @ background-color: #404040;
131 @ color: white;
132 @ white-space: nowrap;
133 @ }
134 @
135 @ /* The "Date" that occurs on the left hand side of timelines */
136 @ div.divider {
137 @ background: #a0a0a0;
138 @ border: 2px #505050 solid;
139 @ font-size: 1em; font-weight: normal;
@@ -141,21 +141,21 @@
141 @ margin: .2em 0 .2em 0;
142 @ float: left;
143 @ clear: left;
144 @ white-space: nowrap;
145 @ }
146 @
147 @ /* The footer at the very bottom of the page */
148 @ div.footer {
149 @ font-size: 0.8em;
150 @ margin-top: 12px;
151 @ padding: 5px 10px 5px 10px;
152 @ text-align: right;
153 @ background-color: #404040;
154 @ color: white;
155 @ }
156 @
157 @ /* The label/value pairs on (for example) the vinfo page */
158 @ table.label-value th {
159 @ vertical-align: top;
160 @ text-align: right;
161 @ padding: 0.2ex 2ex;
@@ -211,30 +211,30 @@
211 @ }
212 @ </th1></div>
213 @ ');
214 @ REPLACE INTO config(name,mtime,value)
215 @ VALUES('footer',now(),'<div class="footer">
216 @ Fossil version $manifest_version $manifest_date
217 @ </div>
218 @ </body></html>
219 @ ');
220 ;
221
222 /*
223 ** A tan theme with the project title above the user identification
224 ** and no logo image.
225 */
226 static const char zBuiltinSkin2[] =
227 @ REPLACE INTO config(name,mtime,value)
228 @ VALUES('css',now(),'/* General settings for the entire page */
229 @ body {
230 @ margin: 0ex 0ex;
231 @ padding: 0px;
232 @ background-color: #fef3bc;
233 @ font-family: sans-serif;
234 @ }
235 @
236 @ /* The project logo in the upper left-hand corner of each page */
237 @ div.logo {
238 @ display: inline;
239 @ text-align: center;
240 @ vertical-align: bottom;
@@ -241,11 +241,11 @@
241 @ font-weight: bold;
242 @ font-size: 2.5em;
243 @ color: #a09048;
244 @ white-space: nowrap;
245 @ }
246 @
247 @ /* The page title centered at the top of each page */
248 @ div.title {
249 @ display: table-cell;
250 @ font-size: 2em;
251 @ font-weight: bold;
@@ -253,11 +253,11 @@
253 @ padding: 0 0 0 5px;
254 @ color: #a09048;
255 @ vertical-align: bottom;
256 @ width: 100%;
257 @ }
258 @
259 @ /* The login status message in the top right-hand corner */
260 @ div.status {
261 @ display: table-cell;
262 @ text-align: right;
263 @ vertical-align: bottom;
@@ -265,17 +265,17 @@
265 @ padding: 5px 5px 0 0;
266 @ font-size: 0.8em;
267 @ font-weight: bold;
268 @ white-space: nowrap;
269 @ }
270 @
271 @ /* The header across the top of the page */
272 @ div.header {
273 @ display: table;
274 @ width: 100%;
275 @ }
276 @
277 @ /* The main menu bar that appears at the top of the page beneath
278 @ ** the header */
279 @ div.mainmenu {
280 @ padding: 5px 10px 5px 10px;
281 @ font-size: 0.9em;
@@ -283,11 +283,11 @@
283 @ text-align: center;
284 @ letter-spacing: 1px;
285 @ background-color: #a09048;
286 @ color: black;
287 @ }
288 @
289 @ /* The submenu bar that *sometimes* appears below the main menu */
290 @ div.submenu, div.sectionmenu {
291 @ padding: 3px 10px 3px 0px;
292 @ font-size: 0.9em;
293 @ text-align: center;
@@ -302,21 +302,21 @@
302 @ }
303 @ div.mainmenu a:hover, div.submenu a:hover, div.sectionmenu>a.button:hover {
304 @ color: #a09048;
305 @ background-color: white;
306 @ }
307 @
308 @ /* All page content from the bottom of the menu or submenu down to
309 @ ** the footer */
310 @ div.content {
311 @ padding: 1ex 5px;
312 @ }
313 @ div.content a { color: #706532; }
314 @ div.content a:link { color: #706532; }
315 @ div.content a:visited { color: #704032; }
316 @ div.content a:hover { background-color: white; color: #706532; }
317 @
318 @ /* Some pages have section dividers */
319 @ div.section {
320 @ margin-bottom: 0px;
321 @ margin-top: 1em;
322 @ padding: 3px 3px 0 3px;
@@ -324,11 +324,11 @@
324 @ font-weight: bold;
325 @ background-color: #a09048;
326 @ color: white;
327 @ white-space: nowrap;
328 @ }
329 @
330 @ /* The "Date" that occurs on the left hand side of timelines */
331 @ div.divider {
332 @ background: #e1d498;
333 @ border: 2px #a09048 solid;
334 @ font-size: 1em; font-weight: normal;
@@ -336,33 +336,33 @@
336 @ margin: .2em 0 .2em 0;
337 @ float: left;
338 @ clear: left;
339 @ white-space: nowrap;
340 @ }
341 @
342 @ /* The footer at the very bottom of the page */
343 @ div.footer {
344 @ font-size: 0.8em;
345 @ margin-top: 12px;
346 @ padding: 5px 10px 5px 10px;
347 @ text-align: right;
348 @ background-color: #a09048;
349 @ color: white;
350 @ }
351 @
352 @ /* Hyperlink colors */
353 @ div.footer a { color: white; }
354 @ div.footer a:link { color: white; }
355 @ div.footer a:visited { color: white; }
356 @ div.footer a:hover { background-color: white; color: #558195; }
357 @
358 @ /* <verbatim> blocks */
359 @ pre.verbatim {
360 @ background-color: #f5f5f5;
361 @ padding: 0.5em;
362 @ }
363 @
364 @ /* The label/value pairs on (for example) the ci page */
365 @ table.label-value th {
366 @ vertical-align: top;
367 @ text-align: right;
368 @ padding: 0.2ex 2ex;
@@ -430,39 +430,39 @@
430
431 /*
432 ** Black letters on a white or cream background with the main menu
433 ** stuck on the left-hand side.
434 */
435 static const char zBuiltinSkin3[] =
436 @ REPLACE INTO config(name,mtime,value)
437 @ VALUES('css',now(),'/* General settings for the entire page */
438 @ body {
439 @ margin:0px 0px 0px 0px;
440 @ padding:0px;
441 @ font-family:verdana, arial, helvetica, "sans serif";
442 @ color:#333;
443 @ background-color:white;
444 @ }
445 @
446 @ /* consistent colours */
447 @ h2 {
448 @ color: #333;
449 @ }
450 @ h3 {
451 @ color: #333;
452 @ }
453 @
454 @ /* The project logo in the upper left-hand corner of each page */
455 @ div.logo {
456 @ display: table-cell;
457 @ text-align: left;
458 @ vertical-align: bottom;
459 @ font-weight: bold;
460 @ color: #333;
461 @ white-space: nowrap;
462 @ }
463 @
464 @ /* The page title centered at the top of each page */
465 @ div.title {
466 @ display: table-cell;
467 @ font-size: 2em;
468 @ font-weight: bold;
@@ -469,11 +469,11 @@
469 @ text-align: center;
470 @ color: #333;
471 @ vertical-align: bottom;
472 @ width: 100%;
473 @ }
474 @
475 @ /* The login status message in the top right-hand corner */
476 @ div.status {
477 @ display: table-cell;
478 @ padding-right: 10px;
479 @ text-align: right;
@@ -482,21 +482,21 @@
482 @ color: #333;
483 @ font-size: 0.8em;
484 @ font-weight: bold;
485 @ white-space: nowrap;
486 @ }
487 @
488 @ /* The header across the top of the page */
489 @ div.header {
490 @ margin:10px 0px 10px 0px;
491 @ padding:1px 0px 0px 20px;
492 @ border-style:solid;
493 @ border-color:black;
494 @ border-width:1px 0px;
495 @ background-color:#eee;
496 @ }
497 @
498 @ /* The main menu bar that appears at the top left of the page beneath
499 @ ** the header. Width must be co-ordinated with the container below */
500 @ div.mainmenu {
501 @ float: left;
502 @ margin-left: 10px;
@@ -506,11 +506,11 @@
506 @ padding:5px;
507 @ background-color:#eee;
508 @ border:1px solid #999;
509 @ width:8em;
510 @ }
511 @
512 @ /* Main menu is now a list */
513 @ div.mainmenu ul {
514 @ padding: 0;
515 @ list-style:none;
516 @ }
@@ -521,17 +521,17 @@
521 @ }
522 @ div.mainmenu a:hover {
523 @ color: #eee;
524 @ background-color: #333;
525 @ }
526 @
527 @ /* Container for the sub-menu and content so they don''t spread
528 @ ** out underneath the main menu */
529 @ #container {
530 @ padding-left: 9em;
531 @ }
532 @
533 @ /* The submenu bar that *sometimes* appears below the main menu */
534 @ div.submenu, div.sectionmenu {
535 @ padding: 3px 10px 3px 10px;
536 @ font-size: 0.9em;
537 @ text-align: center;
@@ -548,17 +548,17 @@
548 @ }
549 @ div.submenu a:hover, div.sectionmenu>a.button:hover {
550 @ color: #eee;
551 @ background-color: #333;
552 @ }
553 @
554 @ /* All page content from the bottom of the menu or submenu down to
555 @ ** the footer */
556 @ div.content {
557 @ padding: 2ex 1ex 0ex 2ex;
558 @ }
559 @
560 @ /* Some pages have section dividers */
561 @ div.section {
562 @ margin-bottom: 0px;
563 @ margin-top: 1em;
564 @ padding: 1px 1px 1px 1px;
@@ -569,11 +569,11 @@
569 @ border-width:1px 0px;
570 @ background-color: #eee;
571 @ color: #333;
572 @ white-space: nowrap;
573 @ }
574 @
575 @ /* The "Date" that occurs on the left hand side of timelines */
576 @ div.divider {
577 @ background: #eee;
578 @ border: 2px #999 solid;
579 @ font-size: 1em; font-weight: normal;
@@ -582,27 +582,27 @@
582 @ float: left;
583 @ clear: left;
584 @ color: #333;
585 @ white-space: nowrap;
586 @ }
587 @
588 @ /* The footer at the very bottom of the page */
589 @ div.footer {
590 @ font-size: 0.8em;
591 @ margin-top: 12px;
592 @ padding: 5px 10px 5px 10px;
593 @ text-align: right;
594 @ background-color: #eee;
595 @ color: #555;
596 @ }
597 @
598 @ /* <verbatim> blocks */
599 @ pre.verbatim {
600 @ background-color: #f5f5f5;
601 @ padding: 0.5em;
602 @ }
603 @
604 @ /* The label/value pairs on (for example) the ci page */
605 @ table.label-value th {
606 @ vertical-align: top;
607 @ text-align: right;
608 @ padding: 0.2ex 2ex;
@@ -673,11 +673,11 @@
673
674
675 /*
676 ** Shadow boxes and rounded corners.
677 */
678 static const char zBuiltinSkin4[] =
679 @ REPLACE INTO config(name,mtime,value)
680 @ VALUES('css',now(),'/* General settings for the entire page */
681 @ html {
682 @ min-height: 100%;
683 @ }
@@ -687,28 +687,28 @@
687 @ background-color: white;
688 @ color: #333;
689 @ font-family: Verdana, sans-serif;
690 @ font-size: 0.8em;
691 @ }
692 @
693 @ /* The project logo in the upper left-hand corner of each page */
694 @ div.logo {
695 @ display: table-cell;
696 @ text-align: right;
697 @ vertical-align: bottom;
698 @ font-weight: normal;
699 @ white-space: nowrap;
700 @ }
701 @
702 @ /* Widths */
703 @ div.header, div.mainmenu, div.submenu, div.content, div.footer {
704 @ max-width: 900px;
705 @ margin: auto;
706 @ padding: 3px 20px 3px 20px;
707 @ clear: both;
708 @ }
709 @
710 @ /* The page title at the top of each page */
711 @ div.title {
712 @ display: table-cell;
713 @ padding-left: 10px;
714 @ font-size: 2em;
@@ -719,21 +719,21 @@
719 @ font-family: Verdana, sans-serif;
720 @ font-weight: bold;
721 @ color: #558195;
722 @ text-shadow: 0px 2px 2px #999999;
723 @ }
724 @
725 @ /* The login status message in the top right-hand corner */
726 @ div.status {
727 @ display: table-cell;
728 @ text-align: right;
729 @ vertical-align: bottom;
730 @ color: #333;
731 @ margin-right: -20px;
732 @ white-space: nowrap;
733 @ }
734 @
735 @ /* The main menu bar that appears at the top of the page beneath
736 @ ** the header */
737 @ div.mainmenu {
738 @ text-align: center;
739 @ color: white;
@@ -743,11 +743,11 @@
743 @ padding-top: 8px;
744 @ padding-bottom: 8px;
745 @ background-color: #446979;
746 @ box-shadow: 0px 3px 4px #333333;
747 @ }
748 @
749 @ /* The submenu bar that *sometimes* appears below the main menu */
750 @ div.submenu {
751 @ padding-top:10px;
752 @ padding-bottom:0;
753 @ text-align: right;
@@ -768,24 +768,24 @@
768 @ color: #000;
769 @ font-family: Arial;
770 @ text-decoration: none;
771 @ margin:auto;
772 @ border-radius: 5px;
773 @ background-color: #e0e0e0;
774 @ text-shadow: 0px -1px 0px #eee;
775 @ border: 1px solid #000;
776 @ }
777 @
778 @ div.mainmenu a:hover {
779 @ color: #000;
780 @ background-color: white;
781 @ }
782 @
783 @ div.submenu a:hover, div.sectionmenu>a.button:hover {
784 @ background-color: #c0c0c0;
785 @ }
786 @
787 @ /* All page content from the bottom of the menu or submenu down to
788 @ ** the footer */
789 @ div.content {
790 @ background-color: #fff;
791 @ box-shadow: 0px 3px 4px #999;
@@ -792,12 +792,12 @@
792 @ border-bottom-right-radius: 5px;
793 @ border-bottom-left-radius: 5px;
794 @ padding-bottom: 1em;
795 @ min-height:40%;
796 @ }
797 @
798 @
799 @ /* Some pages have section dividers */
800 @ div.section {
801 @ margin-bottom: 0.5em;
802 @ margin-top: 1em;
803 @ margin-right: auto;
@@ -809,69 +809,69 @@
809 @ border-radius: 5px;
810 @ background-color: #446979;
811 @ box-shadow: 0px 3px 4px #333333;
812 @ white-space: nowrap;
813 @ }
814 @
815 @ /* The "Date" that occurs on the left hand side of timelines */
816 @ div.divider {
817 @ font-size: 1.2em;
818 @ font-family: Georgia, serif;
819 @ font-weight: bold;
820 @ margin-top: 1em;
821 @ white-space: nowrap;
822 @ }
823 @
824 @ /* The footer at the very bottom of the page */
825 @ div.footer {
826 @ font-size: 0.9em;
827 @ text-align: right;
828 @ margin-bottom: 1em;
829 @ color: #666;
830 @ }
831 @
832 @ /* Hyperlink colors in the footer */
833 @ div.footer a { color: white; }
834 @ div.footer a:link { color: white; }
835 @ div.footer a:visited { color: white; }
836 @ div.footer a:hover { background-color: white; color: #558195; }
837 @
838 @ /* <verbatim> blocks */
839 @ pre.verbatim, blockquote pre {
840 @ font-family: Dejavu Sans Mono, Monaco, Lucida Console, monospace;
841 @ background-color: #f3f3f3;
842 @ padding: 0.5em;
843 @ white-space: pre-wrap;
844 @ }
845 @
846 @ blockquote pre {
847 @ border: 1px #000 dashed;
848 @ }
849 @
850 @ /* The label/value pairs on (for example) the ci page */
851 @ table.label-value th {
852 @ vertical-align: top;
853 @ text-align: right;
854 @ padding: 0.2ex 2ex;
855 @ }
856 @
857 @
858 @ table.report {
859 @ border-collapse:collapse;
860 @ border: 1px solid #999;
861 @ margin: 1em 0 1em 0;
862 @ }
863 @
864 @ table.report tr th {
865 @ padding: 3px 5px;
866 @ text-transform: capitalize;
867 @ }
868 @
869 @ table.report tr td {
870 @ padding: 3px 5px;
871 @ }
872 @
873 @ textarea {
874 @ font-size: 1em;
875 @ }');
876 @ REPLACE INTO config(name,mtime,value) VALUES('header',now(),'<html>
877 @ <head>
@@ -952,11 +952,11 @@
952 ** Fossil repository. Additionally, if the Tcl integration feature is
953 ** enabled, the loaded version of Tcl is included, with a hyperlink to the
954 ** official Tcl/Tk web site. The footer also contains a TH1 script block
955 ** to help accomplish these tasks.
956 */
957 static const char zBuiltinSkin5[] =
958 @ REPLACE INTO config(name,mtime,value)
959 @ VALUES('css',now(),'/* General settings for the entire page */
960 @ body {
961 @ margin: 0ex 1ex;
962 @ padding: 0px;
@@ -982,11 +982,11 @@
982 @ font-weight: bold;
983 @ text-align: center;
984 @ padding: 0 0 0 1em;
985 @ color: #558195;
986 @ vertical-align: bottom;
987 @ width: 100%;
988 @ }
989 @
990 @ /* The login status message in the top right-hand corner */
991 @ div.status {
992 @ display: table-cell;
@@ -1000,11 +1000,11 @@
1000 @ }
1001 @
1002 @ /* The header across the top of the page */
1003 @ div.header {
1004 @ display: table;
1005 @ width: 100%;
1006 @ }
1007 @
1008 @ /* The main menu bar that appears at the top of the page beneath
1009 @ ** the header */
1010 @ div.mainmenu {
@@ -1085,11 +1085,11 @@
1085 @ /* Hyperlink colors in the footer */
1086 @ div.footer a { color: white; }
1087 @ div.footer a:link { color: white; }
1088 @ div.footer a:visited { color: white; }
1089 @ div.footer a:hover { background-color: white; color: #558195; }
1090 @
1091 @ /* verbatim blocks */
1092 @ pre.verbatim {
1093 @ background-color: #f5f5f5;
1094 @ padding: 0.5em;
1095 @}
@@ -1397,11 +1397,11 @@
1397 style_header("Skins");
1398 if( zErr ){
1399 @ <p><font color="red">%h(zErr)</font></p>
1400 }
1401 @ <p>A "skin" is a combination of
1402 @ <a href="setup_editcss">CSS</a>,
1403 @ <a href="setup_header">Header</a>,
1404 @ <a href="setup_footer">Footer</a>, and
1405 @ <a href="setup_logo">Logo</a> that determines the look and feel
1406 @ of the web interface.</p>
1407 @
@@ -1411,11 +1411,11 @@
1411 z = aBuiltinSkin[i].zName;
1412 if( fossil_strcmp(aBuiltinSkin[i].zValue, zCurrent)==0 ){
1413 @ <li><p>%h(z).&nbsp;&nbsp; <b>Currently In Use</b></p>
1414 }else{
1415 @ <li><form action="%s(g.zTop)/setup_skin" method="post"><div>
1416 @ %h(z).&nbsp;&nbsp;
1417 @ <input type="hidden" name="sn" value="%h(z)" />
1418 @ <input type="submit" name="load" value="Use This Skin" />
1419 @ </div></form></li>
1420 }
1421 }
@@ -1429,11 +1429,11 @@
1429 const char *zV = db_column_text(&q, 1);
1430 if( fossil_strcmp(zV, zCurrent)==0 ){
1431 @ <li><p>%h(zN).&nbsp;&nbsp; <b>Currently In Use</b></p>
1432 }else{
1433 @ <li><form action="%s(g.zTop)/setup_skin" method="post">
1434 @ %h(zN).&nbsp;&nbsp;
1435 @ <input type="hidden" name="sn" value="%h(zN)">
1436 @ <input type="submit" name="load" value="Use This Skin">
1437 @ <input type="submit" name="del1" value="Delete This Skin">
1438 @ </form></li>
1439 }
1440
+14 -14
--- src/style.c
+++ src/style.c
@@ -66,11 +66,11 @@
6666
**
6767
** The form of the anchor tag is determined by the g.javascriptHyperlink
6868
** variable. The href="URL" form is used if g.javascriptHyperlink is false.
6969
** If g.javascriptHyperlink is true then the
7070
** id="ID" form is used and javascript is generated in the footer to cause
71
-** href values to be inserted after the page has loaded. If
71
+** href values to be inserted after the page has loaded. If
7272
** g.perm.History is false, then the <a id="ID"> form is still
7373
** generated but the javascript is not generated so the links never
7474
** activate.
7575
**
7676
** Filling in the href="URL" using javascript is a defense against bots.
@@ -218,21 +218,21 @@
218218
** Draw the header.
219219
*/
220220
void style_header(const char *zTitleFormat, ...){
221221
va_list ap;
222222
char *zTitle;
223
- const char *zHeader = db_get("header", (char*)zDefaultHeader);
223
+ const char *zHeader = db_get("header", (char*)zDefaultHeader);
224224
login_check_credentials();
225225
226226
va_start(ap, zTitleFormat);
227227
zTitle = vmprintf(zTitleFormat, ap);
228228
va_end(ap);
229
-
229
+
230230
cgi_destination(CGI_HEADER);
231231
232232
@ <!DOCTYPE html>
233
-
233
+
234234
if( g.thTrace ) Th_Trace("BEGIN_HEADER<br />\n", -1);
235235
236236
/* Generate the header up through the main menu */
237237
Th_Store("project_name", db_get("project-name","Unnamed Fossil Project"));
238238
Th_Store("title", zTitle);
@@ -295,11 +295,11 @@
295295
*/
296296
void style_footer(void){
297297
const char *zFooter;
298298
299299
if( !headerHasBeenGenerated ) return;
300
-
300
+
301301
/* Go back and put the submenu at the top of the page. We delay the
302302
** creation of the submenu until the end so that we can add elements
303303
** to the submenu while generating page text.
304304
*/
305305
cgi_destination(CGI_HEADER);
@@ -336,11 +336,11 @@
336336
337337
zFooter = db_get("footer", (char*)zDefaultFooter);
338338
if( g.thTrace ) Th_Trace("BEGIN_FOOTER<br />\n", -1);
339339
Th_Render(zFooter);
340340
if( g.thTrace ) Th_Trace("END_FOOTER<br />\n", -1);
341
-
341
+
342342
/* Render trace log if TH1 tracing is enabled. */
343343
if( g.thTrace ){
344344
cgi_append_content("<span class=\"thTrace\"><hr />\n", -1);
345345
cgi_append_content(blob_str(&g.thLog), blob_size(&g.thLog));
346346
cgi_append_content("</span>\n", -1);
@@ -366,11 +366,11 @@
366366
367367
/* @-comment: // */
368368
/*
369369
** The default page header.
370370
*/
371
-const char zDefaultHeader[] =
371
+const char zDefaultHeader[] =
372372
@ <html>
373373
@ <head>
374374
@ <base href="$baseurl/$current_page" />
375375
@ <title>$<project_name>: $<title></title>
376376
@ <link rel="alternate" type="application/rss+xml" title="RSS Feed"
@@ -425,11 +425,11 @@
425425
;
426426
427427
/*
428428
** The default page footer
429429
*/
430
-const char zDefaultFooter[] =
430
+const char zDefaultFooter[] =
431431
@ <div class="footer">
432432
@ Fossil version $release_version $manifest_version $manifest_date
433433
@ </div>
434434
@ </body></html>
435435
;
@@ -439,11 +439,11 @@
439439
** It's assembled by different strings for each class.
440440
** The default css conatains all definitions.
441441
** The style sheet, send to the client only contains the ones,
442442
** not defined in the user defined css.
443443
*/
444
-const char zDefaultCSS[] =
444
+const char zDefaultCSS[] =
445445
@ /* General settings for the entire page */
446446
@ body {
447447
@ margin: 0ex 1ex;
448448
@ padding: 0px;
449449
@ background-color: white;
@@ -468,11 +468,11 @@
468468
@ font-weight: bold;
469469
@ text-align: center;
470470
@ padding: 0 0 0 1em;
471471
@ color: #558195;
472472
@ vertical-align: bottom;
473
-@ width: 100% ;
473
+@ width: 100%;
474474
@ }
475475
@
476476
@ /* The login status message in the top right-hand corner */
477477
@ div.status {
478478
@ display: table-cell;
@@ -486,11 +486,11 @@
486486
@ }
487487
@
488488
@ /* The header across the top of the page */
489489
@ div.header {
490490
@ display: table;
491
-@ width: 100% ;
491
+@ width: 100%;
492492
@ }
493493
@
494494
@ /* The main menu bar that appears at the top of the page beneath
495495
@ ** the header */
496496
@ div.mainmenu {
@@ -571,11 +571,11 @@
571571
@ /* Hyperlink colors in the footer */
572572
@ div.footer a { color: white; }
573573
@ div.footer a:link { color: white; }
574574
@ div.footer a:visited { color: white; }
575575
@ div.footer a:hover { background-color: white; color: #558195; }
576
-@
576
+@
577577
@ /* verbatim blocks */
578578
@ pre.verbatim {
579579
@ background-color: #f5f5f5;
580580
@ padding: 0.5em;
581581
@}
@@ -688,16 +688,16 @@
688688
@ text-decoration: line-through;
689689
},
690690
{ "table.browser",
691691
"format for the file display table",
692692
@ /* the format for wiki errors */
693
- @ width: 100% ;
693
+ @ width: 100%;
694694
@ border: 0;
695695
},
696696
{ "td.browser",
697697
"format for cells in the file browser",
698
- @ width: 24% ;
698
+ @ width: 24%;
699699
@ vertical-align: top;
700700
},
701701
{ "ul.browser",
702702
"format for the list in the file browser",
703703
@ margin-left: 0.5em;
704704
--- src/style.c
+++ src/style.c
@@ -66,11 +66,11 @@
66 **
67 ** The form of the anchor tag is determined by the g.javascriptHyperlink
68 ** variable. The href="URL" form is used if g.javascriptHyperlink is false.
69 ** If g.javascriptHyperlink is true then the
70 ** id="ID" form is used and javascript is generated in the footer to cause
71 ** href values to be inserted after the page has loaded. If
72 ** g.perm.History is false, then the <a id="ID"> form is still
73 ** generated but the javascript is not generated so the links never
74 ** activate.
75 **
76 ** Filling in the href="URL" using javascript is a defense against bots.
@@ -218,21 +218,21 @@
218 ** Draw the header.
219 */
220 void style_header(const char *zTitleFormat, ...){
221 va_list ap;
222 char *zTitle;
223 const char *zHeader = db_get("header", (char*)zDefaultHeader);
224 login_check_credentials();
225
226 va_start(ap, zTitleFormat);
227 zTitle = vmprintf(zTitleFormat, ap);
228 va_end(ap);
229
230 cgi_destination(CGI_HEADER);
231
232 @ <!DOCTYPE html>
233
234 if( g.thTrace ) Th_Trace("BEGIN_HEADER<br />\n", -1);
235
236 /* Generate the header up through the main menu */
237 Th_Store("project_name", db_get("project-name","Unnamed Fossil Project"));
238 Th_Store("title", zTitle);
@@ -295,11 +295,11 @@
295 */
296 void style_footer(void){
297 const char *zFooter;
298
299 if( !headerHasBeenGenerated ) return;
300
301 /* Go back and put the submenu at the top of the page. We delay the
302 ** creation of the submenu until the end so that we can add elements
303 ** to the submenu while generating page text.
304 */
305 cgi_destination(CGI_HEADER);
@@ -336,11 +336,11 @@
336
337 zFooter = db_get("footer", (char*)zDefaultFooter);
338 if( g.thTrace ) Th_Trace("BEGIN_FOOTER<br />\n", -1);
339 Th_Render(zFooter);
340 if( g.thTrace ) Th_Trace("END_FOOTER<br />\n", -1);
341
342 /* Render trace log if TH1 tracing is enabled. */
343 if( g.thTrace ){
344 cgi_append_content("<span class=\"thTrace\"><hr />\n", -1);
345 cgi_append_content(blob_str(&g.thLog), blob_size(&g.thLog));
346 cgi_append_content("</span>\n", -1);
@@ -366,11 +366,11 @@
366
367 /* @-comment: // */
368 /*
369 ** The default page header.
370 */
371 const char zDefaultHeader[] =
372 @ <html>
373 @ <head>
374 @ <base href="$baseurl/$current_page" />
375 @ <title>$<project_name>: $<title></title>
376 @ <link rel="alternate" type="application/rss+xml" title="RSS Feed"
@@ -425,11 +425,11 @@
425 ;
426
427 /*
428 ** The default page footer
429 */
430 const char zDefaultFooter[] =
431 @ <div class="footer">
432 @ Fossil version $release_version $manifest_version $manifest_date
433 @ </div>
434 @ </body></html>
435 ;
@@ -439,11 +439,11 @@
439 ** It's assembled by different strings for each class.
440 ** The default css conatains all definitions.
441 ** The style sheet, send to the client only contains the ones,
442 ** not defined in the user defined css.
443 */
444 const char zDefaultCSS[] =
445 @ /* General settings for the entire page */
446 @ body {
447 @ margin: 0ex 1ex;
448 @ padding: 0px;
449 @ background-color: white;
@@ -468,11 +468,11 @@
468 @ font-weight: bold;
469 @ text-align: center;
470 @ padding: 0 0 0 1em;
471 @ color: #558195;
472 @ vertical-align: bottom;
473 @ width: 100% ;
474 @ }
475 @
476 @ /* The login status message in the top right-hand corner */
477 @ div.status {
478 @ display: table-cell;
@@ -486,11 +486,11 @@
486 @ }
487 @
488 @ /* The header across the top of the page */
489 @ div.header {
490 @ display: table;
491 @ width: 100% ;
492 @ }
493 @
494 @ /* The main menu bar that appears at the top of the page beneath
495 @ ** the header */
496 @ div.mainmenu {
@@ -571,11 +571,11 @@
571 @ /* Hyperlink colors in the footer */
572 @ div.footer a { color: white; }
573 @ div.footer a:link { color: white; }
574 @ div.footer a:visited { color: white; }
575 @ div.footer a:hover { background-color: white; color: #558195; }
576 @
577 @ /* verbatim blocks */
578 @ pre.verbatim {
579 @ background-color: #f5f5f5;
580 @ padding: 0.5em;
581 @}
@@ -688,16 +688,16 @@
688 @ text-decoration: line-through;
689 },
690 { "table.browser",
691 "format for the file display table",
692 @ /* the format for wiki errors */
693 @ width: 100% ;
694 @ border: 0;
695 },
696 { "td.browser",
697 "format for cells in the file browser",
698 @ width: 24% ;
699 @ vertical-align: top;
700 },
701 { "ul.browser",
702 "format for the list in the file browser",
703 @ margin-left: 0.5em;
704
--- src/style.c
+++ src/style.c
@@ -66,11 +66,11 @@
66 **
67 ** The form of the anchor tag is determined by the g.javascriptHyperlink
68 ** variable. The href="URL" form is used if g.javascriptHyperlink is false.
69 ** If g.javascriptHyperlink is true then the
70 ** id="ID" form is used and javascript is generated in the footer to cause
71 ** href values to be inserted after the page has loaded. If
72 ** g.perm.History is false, then the <a id="ID"> form is still
73 ** generated but the javascript is not generated so the links never
74 ** activate.
75 **
76 ** Filling in the href="URL" using javascript is a defense against bots.
@@ -218,21 +218,21 @@
218 ** Draw the header.
219 */
220 void style_header(const char *zTitleFormat, ...){
221 va_list ap;
222 char *zTitle;
223 const char *zHeader = db_get("header", (char*)zDefaultHeader);
224 login_check_credentials();
225
226 va_start(ap, zTitleFormat);
227 zTitle = vmprintf(zTitleFormat, ap);
228 va_end(ap);
229
230 cgi_destination(CGI_HEADER);
231
232 @ <!DOCTYPE html>
233
234 if( g.thTrace ) Th_Trace("BEGIN_HEADER<br />\n", -1);
235
236 /* Generate the header up through the main menu */
237 Th_Store("project_name", db_get("project-name","Unnamed Fossil Project"));
238 Th_Store("title", zTitle);
@@ -295,11 +295,11 @@
295 */
296 void style_footer(void){
297 const char *zFooter;
298
299 if( !headerHasBeenGenerated ) return;
300
301 /* Go back and put the submenu at the top of the page. We delay the
302 ** creation of the submenu until the end so that we can add elements
303 ** to the submenu while generating page text.
304 */
305 cgi_destination(CGI_HEADER);
@@ -336,11 +336,11 @@
336
337 zFooter = db_get("footer", (char*)zDefaultFooter);
338 if( g.thTrace ) Th_Trace("BEGIN_FOOTER<br />\n", -1);
339 Th_Render(zFooter);
340 if( g.thTrace ) Th_Trace("END_FOOTER<br />\n", -1);
341
342 /* Render trace log if TH1 tracing is enabled. */
343 if( g.thTrace ){
344 cgi_append_content("<span class=\"thTrace\"><hr />\n", -1);
345 cgi_append_content(blob_str(&g.thLog), blob_size(&g.thLog));
346 cgi_append_content("</span>\n", -1);
@@ -366,11 +366,11 @@
366
367 /* @-comment: // */
368 /*
369 ** The default page header.
370 */
371 const char zDefaultHeader[] =
372 @ <html>
373 @ <head>
374 @ <base href="$baseurl/$current_page" />
375 @ <title>$<project_name>: $<title></title>
376 @ <link rel="alternate" type="application/rss+xml" title="RSS Feed"
@@ -425,11 +425,11 @@
425 ;
426
427 /*
428 ** The default page footer
429 */
430 const char zDefaultFooter[] =
431 @ <div class="footer">
432 @ Fossil version $release_version $manifest_version $manifest_date
433 @ </div>
434 @ </body></html>
435 ;
@@ -439,11 +439,11 @@
439 ** It's assembled by different strings for each class.
440 ** The default css conatains all definitions.
441 ** The style sheet, send to the client only contains the ones,
442 ** not defined in the user defined css.
443 */
444 const char zDefaultCSS[] =
445 @ /* General settings for the entire page */
446 @ body {
447 @ margin: 0ex 1ex;
448 @ padding: 0px;
449 @ background-color: white;
@@ -468,11 +468,11 @@
468 @ font-weight: bold;
469 @ text-align: center;
470 @ padding: 0 0 0 1em;
471 @ color: #558195;
472 @ vertical-align: bottom;
473 @ width: 100%;
474 @ }
475 @
476 @ /* The login status message in the top right-hand corner */
477 @ div.status {
478 @ display: table-cell;
@@ -486,11 +486,11 @@
486 @ }
487 @
488 @ /* The header across the top of the page */
489 @ div.header {
490 @ display: table;
491 @ width: 100%;
492 @ }
493 @
494 @ /* The main menu bar that appears at the top of the page beneath
495 @ ** the header */
496 @ div.mainmenu {
@@ -571,11 +571,11 @@
571 @ /* Hyperlink colors in the footer */
572 @ div.footer a { color: white; }
573 @ div.footer a:link { color: white; }
574 @ div.footer a:visited { color: white; }
575 @ div.footer a:hover { background-color: white; color: #558195; }
576 @
577 @ /* verbatim blocks */
578 @ pre.verbatim {
579 @ background-color: #f5f5f5;
580 @ padding: 0.5em;
581 @}
@@ -688,16 +688,16 @@
688 @ text-decoration: line-through;
689 },
690 { "table.browser",
691 "format for the file display table",
692 @ /* the format for wiki errors */
693 @ width: 100%;
694 @ border: 0;
695 },
696 { "td.browser",
697 "format for cells in the file browser",
698 @ width: 24%;
699 @ vertical-align: top;
700 },
701 { "ul.browser",
702 "format for the list in the file browser",
703 @ margin-left: 0.5em;
704

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button