html {
    font-family: monospace;
}
body {
    background-color: white;
    color: black;
}
a {
    color: red;
}
a:hover, a:visited {
    color: orange:;
}
pre {
    border: 2px solid red;
    padding-top: 7px;
}
.header {
    text-align: center;
    border-bottom: 2px solid red;
}
.footer {
    border-top: 2px solid red;
    text-align: center;
}

@media(prefer-color-scheme: dark) {
    body {
	background-color: black;
	color: white;
    }
    a {
	color: white;
    }
    a:hover, a:visited {
	color: silver;
    }
    pre {
	border: 2px solid silver;
    }
    .header {
	border-bottom: 2px solid silver;
    }
    .footer {
	border-top: 2px solid silver;
    }
}