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;
80 font-family: "Andale Mono", "Lucida Sans Typewriter", "Courier New";
81 /* font-weight: bold; */
112 border: 1px solid #ddd;
115 -moz-box-shadow: 2px 2px 2px #ddd;
116 -webkit-box-shadow: 2px 2px 2px #ddd;
117 box-shadow: 2px 2px 2px #ddd;
124 .inline-tag-lists p span:first-child {
132 .theme-list-link:after {
136 vertical-align: middle;
141 .hidden-box-wrapper {
148 border: 1px solid #ddd;
149 padding: 1em 1em .5em 1em;
151 -moz-box-shadow: 2px 2px 2px #ddd;
152 -webkit-box-shadow: 2px 2px 2px #ddd;
153 box-shadow: 2px 2px 2px #ddd;
162 -moz-column-width: 12em;
163 -webkit-column-width: 12em;
184 /* just on search page */
187 margin-bottom: 1.6em;