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 {
155 @include border-radius-all( 5px );
172 @include border-radius-all( 0 );
178 @include border-radius-all( 0 );
201 margin: .5em 0 0 .5em;
215 border-left: 1px solid #DDDDDD;
216 border-right: 1px solid #DDDDDD;
232 border-radius: 5px 5px 0 0;
233 border-top: 1px solid #DDDDDD;
237 border-bottom: 2px solid #CACACA;
238 border-radius: 0 0 5px 5px;
248 @media only screen and ( max-width: 700px ) {
249 /* Screens below 700 pixels wide */
257 background: transparent url( "../lib/bootstrap/img/glyphicons-halflings.png" ) no-repeat;
258 background-position: 0 -24px;
259 margin: 14px 14px 0 14px;
278 border-bottom: 1px solid #555;
283 border-top: 1px solid #555;
311 @media only screen and ( min-width: 480px ) and ( max-width: 608px ) {
312 /* Screens between 480 and 608 pixels wide */
318 @media only screen and ( min-width: 608px ) {
320 border-bottom: 1px solid #D6D6D6;
327 border-bottom-width: 0;
329 border-right-width: 0;
339 @media only screen and ( min-width: 608px ) and ( max-width: 767px ) {
340 /* Screens between 608 and 767 pixels wide */
349 .navbar-static-bottom {
354 .row-fluid input.span6 {
359 @media only screen and ( max-width: 767px ) {
360 /* Screens below 767 pixels wide */
386 @include border-radius-all( 7px );
401 @include border-radius-all( 0 );
403 border-bottom: 1px solid #D8D8D8;
407 text-decoration: none;
412 border-right-width: 1px;
413 border-top: 1px solid #D8D8D8;
419 border-radius: 0 0 7px 7px;
435 #menu h4 a.menu-open,
436 #search-facets h4 a.menu-open {
437 border-bottom: 1px solid #D8D8D8;
438 border-radius: 7px 7px 0 0;
447 @media only screen and ( max-width: 800px ) {
448 /* Screens below 800 pixels wide */
473 @media only screen and ( min-width: 768px ) {
474 /* Screens above 768 pixels wide */
481 @include border-radius-all( 0 );
483 border-right: 1px solid #D8D8D8;
490 padding: 1em 0 1em 0;
511 @media only screen and ( min-width: 768px ) and ( max-width: 984px ) {
512 /* Screens between 768 and 984 pixels wide */
513 .librarypulldown .transl1 {
518 @media only screen and ( min-width: 984px ) {
519 /* Screens above 969 pixels wide */
520 .librarypulldown .transl1 {
533 border-left: 1px solid #DDD;
548 @media only screen and ( max-width: 1040px ) {
565 border-bottom: 1px solid #DDD;
566 border-top: 1px solid #DDD;