6 @content-font-family: sans-serif;
7 @content-font-color: black;
8 @content-font-size: 0.8em;
9 @content-line-height: 1.5em;
10 @content-padding: 1.5em 1.5em 1.5em 1.75em;
11 @content-heading-font-size: 1.6em;
12 @content-heading-font-family: sans-serif;
15 @menu-link-color: #0645ad;
18 @menu-main-font-size: inherit;
19 @menu-main-heading-font-size: 0.75em;
20 @menu-main-heading-padding: 0 1.75em 0.25em 0.25em;
22 @menu-main-body-font-size: 0.75em;
23 @menu-main-body-link-color: #0645ad;
24 @menu-main-body-link-visited-color: #0b0080;
25 @menu-main-body-margin: 0 0 0 1.25em;
26 @menu-main-body-padding: 0;
27 @menu-main-logo-left: 0.5em;
30 @menu-personal-font-size: 0.75em;
33 @collapsible-nav-heading-color: #4D4D4D;
34 @collapsible-nav-heading-collapsed-color: #0645AD;
36 @collapsible-nav-heading-padding: 4px 0 3px 1.5em;
37 @collapsible-nav-body-margin: 0 0 0 1.25em;