5 src: url(/static/fonts/WL-Nav.eot);
9 src: url(/static/fonts/WL-Nav.ttf) format("truetype");
23 /*line-height: 1.4em;*/
31 color: #0d7e85; /*#1199a2;*/ /* #01adba; */
32 text-decoration: none;
35 /* jquery UI overrides us */
36 .ui-menu .ui-menu-item a {
37 color: #0d7e85 !important;
38 line-height: 1.636em !important;
42 font-family: Georgia !important;
43 font-size: 1em !important;
47 background: #EEEEEE !important; /* #E2E2E2 ? */
48 border-radius: 0px !important;
88 font-family: "Andale Mono", "Lucida Sans Typewriter", "Courier New";
89 /* font-weight: bold; */
120 border: 1px solid #ddd;
123 -moz-box-shadow: 2px 2px 2px #ddd;
124 -webkit-box-shadow: 2px 2px 2px #ddd;
125 box-shadow: 2px 2px 2px #ddd;
129 #header-content, div#main-content, div#half-header-content, #footer-content {
139 .inline-tag-lists p span:first-child {
147 .theme-list-link:after {
151 vertical-align: middle;
156 .hidden-box-wrapper {
162 border: 1px solid #ddd;
163 padding: 1em 1em .5em 1em;
165 -moz-box-shadow: 2px 2px 2px #ddd;
166 -webkit-box-shadow: 2px 2px 2px #ddd;
167 box-shadow: 2px 2px 2px #ddd;
176 -moz-column-width: 12em;
177 -webkit-column-width: 12em;
199 /* just on search page */
202 margin-bottom: 1.6em;