2
font-family: "pictos-web";
3
src: url('/otherfonts/pictos-web.eot');
4
src: local("?"), url('/otherfonts/pictos-web.woff') format('woff'), url('/otherfonts/pictos-web.ttf') format('truetype'), url('/otherfonts/pictos-web.svg#webfontIyfZbseF') format('svg');}
6
@include font-face("museosans-web", font-files("museosans-web.woff", woff, "museosans-web.ttf", truetype, "museosans-web.svg#webfontJHBEijmD", svg), 'museosans-web.eot');
9
.sans-font { font-family: 'Lucida Grande', Arial, sans-serif; }
10
.heading-font { font-family: 'Museo Sans', "museosans-web", 'serif'; }
11
.pictos { font-family: pictos, pictos-web; font-weight: normal; font-style: normal;}
12
.fixed-font { font-family: menlo, monaco, "andale mono", "courier new", fixed;}
16
ol { list-style: outside decimal; padding-left: 2.5em; }
17
ol ol { list-style: outside lower-alpha; padding-left: 2.5em; }
18
ul, ol, dl { margin-bottom: 1.5em;}
19
p { margin-bottom: 1.2em;}
20
#{headings(1,2)}{ @extend .heading-font; line-height: 1.2em; }
21
h1 { font-size: 35px; margin-bottom: 15px; padding-bottom: 6px; }
22
h2 { font-size: 26px; margin: 1em 0 15px; padding-bottom: 6px; }
23
h3 { font-size: 18px; }
24
h4 { font-size: 18px; margin: .4em 0; }
25
ul { list-style: inside disc; }
26
dt { font-weight: bold; }
29
ul { list-style: none; margin-bottom: 1em;}
30
h2 { line-height: 1.3em; margin-top: 0; padding-top: 3px;}
32
em { font-style: italic; }
33
strong { font-weight: bold; }
36
ul ul { padding-left: 1em; }
38
h2 { font-size: 26px; margin: .5em 0 .6em;
40
hr + h2 { padding-top: 0; }
41
hr + h3, h4, h5 { margin-top: 0; }
44
dl.table dt, dl.table dd { display: inline-block; }
45
dg { display: block; margin-bottom: 1.5em; }
47
.warning { color: #c00; }
b'\\ No newline at end of file'