body {
    background-color: #cdcdcd; /* also hardcoded in main.js :: resize(), exitFullscreen() */
    font-family: sans-serif;
    font-size: 11pt;
}

hr {
    height: 1px;
    border: none;
    background-color: black;
	
	margin: 10px 0px;
}

i {
	font-size: smaller;
	font-weight: normal;
}

button {
    background-color: #bbb;
    border: 1px #555 solid;

    font-size: 11pt;
}

button:hover {
    background-color: #fb0;
}