Fossil

Differences From Artifact [7cd2de6d76]:

• File src/skins.c — part of check-in [9f6b1964fb] at 2014-09-09 06:54:38 on branch baruch-multishun — Allow shunning/unshunning multiple files at a time (user: baruch size: 39160) [more...]

To Artifact [6376e6ed48]:

• File src/skins.c — part of check-in [3d2690a976] at 2014-09-16 20:50:58 on branch trunk — Fix typo in CSS, see [bed6662935]. (user: mistachkin size: 39161) [more...]

768
769
770
771
772
773
774
775
776
777
778
779
780
781
782

@ }
@ div.mainmenu a, div.mainmenu a:visited {
@   padding: 3px 10px 3px 10px;
@   color: white;
@   text-decoration: none;
@ }
@ div.submenu a, div.submenu a:visited, a.button,
@ div.sectionmenu>a.button:link, div.sectinmenu>a.button:visited {
@   padding: 2px 8px;
@   color: #000;
@   font-family: Arial;
@   text-decoration: none;
@   margin:auto;
@   border-radius: 5px;
@   background-color: #e0e0e0;

|

768
769
770
771
772
773
774
775
776
777
778
779
780
781
782

@ }
@ div.mainmenu a, div.mainmenu a:visited {
@   padding: 3px 10px 3px 10px;
@   color: white;
@   text-decoration: none;
@ }
@ div.submenu a, div.submenu a:visited, a.button,
@ div.sectionmenu>a.button:link, div.sectionmenu>a.button:visited {
@   padding: 2px 8px;
@   color: #000;
@   font-family: Arial;
@   text-decoration: none;
@   margin:auto;
@   border-radius: 5px;
@   background-color: #e0e0e0;