1/* =Keyboard Plugin 2----------------------------------------------- */ 3 4kbd.__keyboard { 5 display: inline; 6 border-radius: 5px !important; 7 border: 1px solid @ini_border !important; 8 border-bottom: 2px solid @ini_border !important; 9 font-size: 0.85em; 10 padding: 5px 10px !important; 11 background-color: @ini_background_alt !important; 12 box-shadow: 0 2px 1px rgba(0, 0, 0, 0.2); 13 white-space: nowrap; 14 15 user-select: none; 16 -moz-user-select: none; 17 -webkit-user-select: none; 18 19 &:hover { 20 background-color: @ini_border !important; 21 } 22} 23 24@media print { 25 kbd.__keyboard { 26 border-top: 5px solid @ini_background_alt !important; 27 border-bottom: 5px solid @ini_background_alt !important; 28 border-left: 10px solid @ini_background_alt !important; 29 border-right: 10px solid @ini_background_alt !important; 30 border-top-left-radius: 5px !important; 31 border-top-right-radius: 5px !important; 32 border-bottom-left-radius: 5px !important; 33 border-bottom-right-radius: 5px !important; 34 } 35} 36