.warning {
    font-weight: bold;
    color: #c24510;
}

.solution {
    font-style: italic;
    color: #20733a;
}

.file {
    font-style: normal;
    color: #536b1f;
}

.little {
    font-size: 80%;
    font-style: italic;
}

body {
    text-align: center;
}

form {
    text-align: center;
}

table.grey td {
    border: 1px solid #BBBBBB;
}

input {
	background-color: #FFFFCC;
	color: olive;
	font-weight: bold;	
}

input.submit {
	border: 1px solid olive;
}