@font-face {
  font-family:'Noto Color Emoji';
  src: local('Noto Color Emoji'),
       url('https://akfoerster.de/NotoColorEmoji-Regular.woff2') format('woff2'),
       url('https://akfoerster.de/NotoColorEmoji-Regular.ttf') format('truetype');
}

@media print {
a { color:inherit; text-decoration:none }
nav { display:none }
}

@media screen and (min-width:1280px) { body { font-size:20pt } }

@media screen {
html { color:#D2B48C; background-color:#210; }
nav { background-color:#444; color:#FFF; }
input, button { background-color:#000; color:#FFF; }
nav a { color:inherit; font-size:50%; }
main a:hover, main a:focus { color:#210; background-color:#D2B48C; }
main a { color:#D2B48C; background-color:#210; }
span.unbekannt { color:#8B4513; }
span.Fehlertyp { color:#A00; }
}

body, pre { font-family:'Noto Sans Mono','Ubuntu Sans Mono',monospace; font-weight:bold; }
nav { text-align:center; padding:1ex; }
input[type=url], input[type=text] { width:60%; }
h1 { text-align:center; }
main { display:table; margin:1ex auto; }
main a { text-decoration:none; }
i { font-weight:normal; font-style:normal;
    font-family:'Noto Color Emoji',emoji,sans-serif }
span.unbekannt { text-decoration:line-through; }