3 @media only screen and ( min-width: 0 ) and ( max-width: 304px ) {
4 /* Screens bewteen 0 and 304 pixels wide */
13 @media only screen and ( min-width: 0 ) and ( max-width: 440px ){
14 /* Screens bewteen 0 and 390 pixels wide */
15 .ui-tabs .ui-tabs-nav li a,
29 @media only screen and ( min-width: 342px ) and ( max-width: 479px ) {
30 /* Screens bewteen 342 and 479 pixels wide */
39 /* Override Bootstrap Responsive CSS fixed navbar */
40 @media ( max-width: 979px ) {
42 .navbar-fixed-bottom {
49 @media only screen and ( max-width: 608px ) {
50 /* Screens below 608 pixels wide */
100 .table td.bibliocol {
109 @include border-radius-all( 4px );
110 background-color: #F2F2EF;
111 border: 1px solid #DDD;
132 .librarypulldown .transl1,
134 @include border-radius-all( 5px );
135 box-sizing: border-box;
148 .librarypulldown .transl1 {
154 @include border-radius-all( 5px );
162 @include border-radius-all( 0 );
168 @include border-radius-all( 0 );
191 margin: .5em 0 0 .5em;
205 border-left: 1px solid #DDDDDD;
206 border-right: 1px solid #DDDDDD;
222 border-radius: 5px 5px 0 0;
223 border-top: 1px solid #DDDDDD;
227 border-bottom: 2px solid #CACACA;
228 border-radius: 0 0 5px 5px;
238 @media only screen and ( max-width: 700px ) {
239 /* Screens below 700 pixels wide */
247 background: transparent url( "../lib/bootstrap/img/glyphicons-halflings.png" ) no-repeat;
248 background-position: 0 -24px;
249 margin: 14px 14px 0 14px;
268 border-bottom: 1px solid #555;
273 border-top: 1px solid #555;
301 @media only screen and ( min-width: 480px ) and ( max-width: 608px ) {
302 /* Screens between 480 and 608 pixels wide */
308 @media only screen and ( min-width: 608px ) {
310 border-bottom: 1px solid #D6D6D6;
317 border-bottom-width: 0;
319 border-right-width: 0;
329 @media only screen and ( min-width: 608px ) and ( max-width: 767px ) {
330 /* Screens between 608 and 767 pixels wide */
339 .navbar-static-bottom {
344 .row-fluid input.span6 {
349 @media only screen and ( max-width: 767px ) {
350 /* Screens below 767 pixels wide */
377 @include border-radius-all( 7px );
392 @include border-radius-all( 0 );
394 border-bottom: 1px solid #D8D8D8;
398 text-decoration: none;
403 border-right-width: 1px;
404 border-top: 1px solid #D8D8D8;
410 border-radius: 0 0 7px 7px;
426 #menu h4 a.menu-open,
427 #search-facets h4 a.menu-open {
428 border-bottom: 1px solid #D8D8D8;
429 border-radius: 7px 7px 0 0;
438 @media only screen and ( max-width: 800px ) {
439 /* Screens below 800 pixels wide */
458 @media only screen and ( min-width: 768px ) {
459 /* Screens above 768 pixels wide */
466 @include border-radius-all( 0 );
468 border-right: 1px solid #D8D8D8;
475 padding: 1em 0 1em 0;
488 @media only screen and ( min-width: 768px ) and ( max-width: 984px ) {
489 /* Screens between 768 and 984 pixels wide */
490 .librarypulldown .transl1 {
495 @media only screen and ( min-width: 984px ) {
496 /* Screens above 969 pixels wide */
497 .librarypulldown .transl1 {
503 @media only screen and ( max-width: 1040px ) {
520 border-bottom: 1px solid #DDD;
521 border-top: 1px solid #DDD;