.nowrap {
white-space: nowrap;
}
+input.select-on-focus {
+ font-family: monospace;
+ background: inherit;
+ border: thin #ccc solid;
+ border-radius: .2em;
+ padding: .15em .5em;
+}
+input.select-on-focus:focus {
+ border-color: #9bf;
+}
/* top nav */
$top-nav-bg: #3c163d;
ul.nav.nav-tabs {
font-size: 90%
}
+
+.hover-dropdown:hover .dropdown-menu {
+ display: block;
+}