body {
	background-color: #E1C8E7;
}

div {
	font-size: 150%;
}

button {
	font-size: 90%;
	margin: 10px;
}

hr {
	border: 3px solid rgb(181, 189, 68);
}

p {
	font-size: 150%;
	margin-top: 0;
	margin-bottom: 0;
	float: none;
}

pre {
	font-size: 180%;
}

h2 {
	margin: 10px;
}

table {
	float: left;
    border: 5px solid black;
	text-align: right;
	margin: 10px;
}

th, td {
	text-align: right;
	font-size: 150%;
}

.noChange {
	border: 7px solid rgb(40, 131, 131);
}

.floatleft {
	padding-top: 40px;
	justify-content: center;
	align-items: center;
	float: left;
	font-size: 150%;
}

.slider {
	width: 400px;
}

.restcol {
	background-color: red;
	width: 60px;
}

.restcolhilit {
	background-color: rgb(241, 179, 156);
	border-width: 5px;
	border-color: rgb(0, 247, 255);
	width: 60px;
}

.nofloat {
	font-size: 100%;
	clear: both;
}

#info {
	font-size: 120%;
}