@import url('https://fonts.googleapis.com/css2?family=Noto+Sans:ital,wght@0,100..900;1,100..900&display=swap');

* {
  box-sizing: border-box;
}

html {
  background: #999;
  font-family: "Noto Sans", sans-serif;
  color: #000;
}

h1 {
  font-size: 1.25em;
  text-align: center;
  margin: 2em auto;
  color: #111;
}

body {
  background: #eee;
  font-size: 1.15em;
  width: 100%;
  max-width: 60em;
  margin: 0 auto;
  padding: 1em 0;
}

div.intro {
  padding: 0 1em;
}

span.nobrk {
  display: inline-block;
}

p {
}

a, a:visited, a:active {
  color: #11d;
}

a:hover {
  color: #000;
  background: #ff9;
}

a.prog {
  text-decoration: none;
  color: #000;
}

a.prog div {
  border-bottom: 1px #aaa solid;
  width: 100%;
  display: inline-block;
  padding: 0.5em 1em;
  background: inherit;
  min-height: 7em;
}

a.prog div:hover {
  background: #ffe;
}

div.proglist {
  border-top: 1px #aaa solid;
}

div.proglist a.prog:nth-child(odd) {
  background: #f8f8f8;
}

a.prog div img {
  width: 16em;
  float: right;
  border: 1px #222 solid;
  border-radius: 0.1em;
  margin-left: 0.5em;
}

a.prog div h3 {
  font-weight: bold;
  font-size: 1em;
  margin: 0;
  margin-bottom: 0.4em;
}

input#showarchive {
  margin-left: 2em;
}

label.archlabel {
  margin-bottom: 3em;
}

p.archivewarning {
  margin: 5em auto 0.5em auto;
  border: 1px #f55 dotted;
  padding: 0.8em 0.6em;
  border-radius: 1px;
  background: #fdd;
  color: #000;"
}

/* checkbox hack to hide proglist that follows the checked box */
input[type=checkbox]:not(:checked) ~ div.proglist {
  display: none;
}

@media (max-width: 42em) {
  a.prog div img {
    display: none;
  }

  a.prog div {
    padding-left: 0.4em;
    padding-right: 0.4em;
  }

  div.intro {
    padding-left: 0.4em;
    padding-right: 0.4em;
  }
}