@import url(/static/css/combo-style.css);

html, body { margin: 0; padding: 0; }
article {
  font-family: sans-serif;
  margin: auto;
  max-width: 50em;
}
ins {
  background: #aaffaa;
}
ins img {
  outline: 5px solid #aaffaa;
}
del {
  background: #ffaaaa;
}
del img {
  outline: 5px solid #ffaaaa;
}
header {
  position: sticky;
  background: #222;
  top: 0;
}
nav ul {
  margin: 0;
  padding: 0;
  list-style: none;
  display: flex;
  gap: 1em;
}
nav ul li::before {
  content: none;
}
nav ul a {
  display: block;
  padding: 1em;
  color: #eef;
}
header p.authors {
  color: #aaa;
  margin: 0;
  padding: 0 0 1em 1em;
}
header h1 {
  color: white;
  margin: 0;
  padding: 1em;
}
header h1 a {
  color: #eef;
  text-decoration: underline;
}

img {
  max-width: 100%;
}

ul.index li {
  margin-bottom: 0.5em;
}

ul.index.weeks {
  display: flex;
  flex-wrap: wrap;
  margin: 0;
  padding: 0;
}

ul.index.weeks li {
  margin: 0;
  padding: 0;
  margin-right: 3px;
}

ul.index.weeks li::before {
  content: none;
}

ul.index.weeks li a {
  display: block;
  padding: 1em;
}

ul.index.weeks li a:hover {
  background: #eee;
}

div.textcell h1 {
  line-height: 120%;
}

div.textcell.diff {
  width: auto;
}