/***************************************
 * basic CSS stylings for gwt elements *
 ***************************************/

root { 
    display: block;
    margin: 0;
    height: 100%;
    overflow: hidden;
}

html, body {
	position: fixed;
	overflow: hidden;
}

:focus {
    outline:0;
}

.gwt-HTML {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: small;
}

.gwt-Button {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: small;
}

.gwt-CheckBox {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: small;
}

.gwt-Label {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: small;
}

.gwt-RadioButton {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: small;
}

.instructionText {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: large; 
}

.timeText {
	font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 50px; 
}

.clockText {
	font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 25px; 
}

.titleText {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: large;
	font-weight: bold;
}

.bottomMarginSmall {
	margin-bottom: 30px;
}

.bottomMarginTiny {
    margin-bottom: 10px;
}

.rightMarginSmall {
	margin-right: 10px;
}

.topMarginSmall {
    margin-top: 30px;
}

.greenButton {
	background-color: lightgreen;
	border-radius: 5px;
	padding: 5px;
	margin-left: 10px;
	margin-right: 10px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: large;
}

.pinkButton {
	background-color: lightpink;
	border-radius: 5px;
	padding: 5px;
	margin-left: 10px;
	margin-right: 10px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: large;
}

.livePointsDisplay {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	margin-bottom: 5px;
}

.pointHTML {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: xx-large;
	margin-left: 5px;
	margin-right: 5px;
}

.greenyellow {
	color: GREENYELLOW;
}

.red {
	color: RED;
}

.black {
	color: BLACK;
}
}