/* This style overrides several colors from style.css (the old style) since the Night mode has become the default */

/* 2023-07-09: after consulting https://www.whocanuse.com/ 
   it has been decided to make the dark theme the default 
@media (prefers-color-scheme: dark) {
:root {
    color-scheme: dark;
} */

body {
    background-color: rgb(7, 40, 79);
}

.tdheader {
    background-color: rgb(32, 65, 104);
}

.tdcontent {
    background-color: rgb(23, 55, 94);
}

.tdfooter {
    background-color: rgb(32, 65, 104);
}

.tddarkheader {
    background-color: rgb(7, 40, 79);
}
table.realtable {
    background-color: rgb(32, 65, 104) !important;
}

.newsDate {
    background-color: rgb(7, 40, 79);
}

hr {
    border-color: rgb(121, 147, 183);
    background-color: rgb(121, 147, 183);
}

.bestellformular {
	border: 2px solid rgb(121, 147, 183);
}

/* } */