/* Prevent repositioning of elements when the right scrollbar appears */
html {
	overflow-y: scroll;
}

/* Same as h1 > small */
h2 {
	font-weight: normal;
	font-size: 24.5px;
}

/* Key mapping tables */
.key {
    background-color: #F7F7F7;
    border: 1px solid #CCCCCC;
    border-radius: 3px 3px 3px 3px;
    box-shadow: 0 1px 0 rgba(0, 0, 0, 0.2), 0 0 0 2px #FFFFFF inset;
    color: #333333;
    display: inline-block;
    font-family: Arial,Helvetica,sans-serif;
    font-size: 11px;
    line-height: 1.4;
    margin: 0 0.1em;
    padding: 0.1em 0.6em;
    text-shadow: 0 1px 0 #FFFFFF;
    white-space: nowrap;
}

.key-small {
	padding: 2px 4px;
	font-size: 12px;
}

span.eurkey {
	font-variant: small-caps;
}

/* Don't display dotted border on select tab */
li.active a:focus { 
    outline: none; 
}

pre {
  overflow: auto;
  word-wrap: normal;
  white-space: pre;
}