8 font-family: Helvetica, Arial, sans-serif;
10 color: rgb(40%,40%,40%)
21 background-color: silver;
26 background-color: silver;
30 background-color: silver;
51 padding-bottom: 0.3em;
55 padding-bottom: 0.3em;
58 /* Local configs for browsing locally downloaded files */
59 @import url(local.css)