body {
	background-image: url("/static/bg-tile.png");
	background-color: #000;
	background-attachment:fixed;
	color: #F0DBFF;
	font-family: sans-serif;
	margin-left: auto;
	margin-right: auto;
	overflow-wrap: break-word;
}

/* wide screens */
@media all and (min-width: 800px) { 
	body {
		font-size: larger;
		max-width: max-content;
	}
}

/* small screens */
@media not all and (min-width: 800px) {
	body {
		margin-left: 15px;
		margin-right: 15px;
	}
}

a {
	color: white;
}

a:visited {
	color: white;
}

main, footer {
	margin-left: auto;
	margin-right: auto;
	max-width: 60ch;
}

pre {
	white-space: pre-wrap;
}

#em {
	background-color: white;
	color: black;
	padding: 10px;
	padding-top: 10px;
	padding-bottom: 10px;
}

#eb {
	margin: 20px;
}

#h { font-size: smaller; }

#h > label { margin-right: 5px; }

textarea, input[type="text"] {
	border: 2px solid #F0DBFF;
	background-color: transparent;
	color: inherit;
	font-size: inherit;
	padding: 5px;
}

input[type="text"] {
	font-family: inherit;
}

button, input[type="submit"] {
	border: 0;
	border-radius: 5px;
	padding: 5px;
	font-family: inherit;
	font-size: inherit;
	color: black;
	background-color: #F0DBFF;
	min-width: 100px;
}

button:active, input[type="submit"]:active {
	background-color: #AfA5bd;
}

footer > p {
	font-size: small;
}

.leaderboard {
	background-color: black;
	border: 2px solid #F0DBFF;
	padding: 0;
}

.leaderboard summary {
	padding: 10px;
}

.leaderboard .inner {
	margin: 0;
	padding: 0;
	border-top: 2px solid #F0DBFF;
	max-height: 400px;
	overflow-y: scroll;
}

.leaderboard .inner > div {
	display: flex;
	justify-content: space-between;
	border-bottom: 2px solid #F0DBFF;
	padding-left: 30px;
	padding-right: 40px;
	font-size: smaller;
}

.leaderboard .inner > div > p {
	margin-top: 12px;
	margin-bottom: 12px;
}

.leaderboard .inner > div:last-of-type {
	border: none;
}

.leaderboard .info {
	display: block;
	padding-left: 20px;
	padding-right: 20px;
	padding-top: 10px;
	padding-bottom: 10px;
	margin: 0;
	font-size: 75%;
	border-top: 2px solid #F0DBFF;
}