1/** 2 * This file provides the design styles for the direct / menu jump links. 3 * 4 */ 5 6 7.nav-direct { 8 background-color: @nav_direct_background; 9 margin-top: -1px; 10 11 p { 12 box-sizing: border-box; 13 text-align: center; 14 position: absolute; 15 left: 0; 16 top: -1px; 17 width: 100%; 18 height: 1px; 19 20 a:link, 21 a:visited { 22 .sr-out(); 23 24 box-shadow: @box-shadow; 25 display: block; 26 width: 100%; 27 background-color: @nav_direct_background; 28 border-bottom: 1px solid @ini_border_light; 29 color: @nav_direct_color; 30 line-height: @line-height-default; 31 text-decoration: none; 32 padding: 1em; 33 box-sizing: border-box; 34 border-radius: 0; 35 } 36 37 a:focus, 38 a:hover, 39 a:active { 40 top: 0; 41 left: 0; 42 text-decoration: underline; 43 min-height: 50px; 44 } 45 46 a:hover, 47 a:active { 48 text-decoration: none; 49 } 50 } 51} 52