/* Set the background and text colour, font family, and margins */
body {
	background-color: rgb(0, 30, 50);
	/* background-color: rgb(10, 20, 30); */
	color: rgb(200, 200, 240);
	margin: 1%;
	font-family: sans-serif;
}
/* Give all <p> elements a bit extra padding on both sides (but not top or bottom) */
p {
	padding-left: 1%;
	padding-right: 1%;
}
/* Will scale images down to 600 pixels wide */
img {
	max-width: 600px;
	height: auto;
}
/* If display is smaller than 600 pixels wide, images will instead be set to 95% device width */
@media (max-width:600px) {
	img {
		width: 95%;
		height: auto;
	}
}
/* Set link colours */
a {
	color: rgb(0, 200, 200);
}
a:visited {
	color: rgb(0, 150, 100);
}
/* Background is slightly darker and paragraph has extra margins and padding */
section {
	background-color: rgb(10, 20, 30);
	/* background-color: rgb(0, 30, 50); */
	margin: 1%;
	padding: 1%;
}

/* Puts some space around the navigation links */
nav a {
	padding: 1%;
}

/* Element is not displayed by default */
.spoiler {
	display: none;
}