.default-color-scheme {
--background-color: #1E1D20;
--foreground-color: #f5f5f5;
--blue: #048BA8;
--keppel: #0DB39E;
--medium-aquamarine: #16DB93;
--light-green: #83E377;
--inchworm: #B9E769;
--corn: #EFEA5A;
--fuzzy-wuzzy: #C16E70;
--old-rose: #CE8D8F;
}
html, body {
position: relative;
width: 100%;
height: 100%;
body {
color: #333;
margin: 0;
padding: 0;
box-sizing: border-box;
font-family: sans-serif, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue";
a {
color: rgb(0,100,200);
text-decoration: none;
a:hover {
text-decoration: underline;
a:visited {
color: rgb(0,80,160);
label {
display: block;
input, button, select, textarea {
font-family: inherit;
font-size: inherit;
-webkit-padding: 0.4em 0;
padding: 0.4em;
margin: 0 0 0.5em 0;
border: 1px solid #ccc;
border-radius: 2px;
input:disabled {
color: #ccc;
button {
outline: none;