html {
	font-size: 200%;
}
h1 {
	background-color: darkgreen;

}
pre {
	background: rgba(50, 50, 50, 0.5);
}



/* Color palette from https://www.color-hex.com/color-palette/1044860 */
pre a:link {
	color: rgb(212,223,231);
}
pre a:visited {
        color: rgb(224,214,221);
}
pre a:hover {
        color: rgb(231,231,231);
}
pre a:active {
        color: rgb(214,224,217);
}

body {
	color: white;
	background-image: url("grid.png");
	background-size: 3%;
}