body {
  font-family: system-ui, -apple-system, Segoe UI, Roboto, Ubuntu, Cantarell,
    Noto Sans, sans-serif, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial,
    sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";  
  scroll-behavior: smooth;
  color: #1c1e21;
  margin: 0;
}


header {
  font-family: monospace, monospace;
  grid-area: header;
  display: flex;
  align-items: center;
  height: 3.8rem;
  background-color: white;
  position: sticky;
  top: 0;
  padding-top: 0.03rem;
}

header img {
  height: 2.4rem;
  margin-left: 0.7rem;
  margin-right: 0.2rem;
}

header ul li {
  font-family: monospace, monospace;
  font-size: larger;
  display: inline;
  padding-right: 0.8rem;
}
header ul {
  padding: 1.6rem;
}
header ul li a {
  text-decoration: none;
  color: darkblue;
}

header a {
  padding: 0.4rem;
  
}


header ul li a:hover {
  text-decoration: underline;
}
header a.active {
  padding: 0.1rem 0.4rem;
  border-radius: 0.2rem;
  transition: color 0.5s;
}
.header a.active:hover {
  text-decoration: none;
}


header + div.banner {
  align-items: center;
  text-align: center;
  line-height: 1.5rem;
  display: flex;
  flex-direction: column;

  background:
	linear-gradient(-90deg, rgba(0, 0, 0, .04) 0.05rem, transparent 0.05rem),
	linear-gradient(rgba(0,0,0,.04) 1px, transparent 0.05rem),
	#f0f0f0;
  background-size:
	0.6rem 0.6rem,
	0.6rem 0.6rem,
    6rem 6rem,
    6rem 6rem,
    6rem 6rem,
    6rem 6rem,
    6rem 6rem,
    6rem 6rem;
  padding: 1.5rem 3rem;
  text-shadow: 0.05rem 0.05rem white;
}

header + div.banner a {
   color: #666;
}

section {
  margin: 2rem;
}

section hr + ul {
  font-family: monospace, monospace;
  list-style-type: none;  
}

section hr + ul li a {
   color: blue;
}


table {
  border-spacing: 0;
  margin: 2rem 0 2rem 0;
}

th {
  background-color: #eee;
  border-bottom: 0.1rem solid black;	
}

tr th:first-child, td:first-child {
  padding-left: 0;
}

tr th, td {
  padding: 0.2rem 0rem 0.2rem 2rem;
}


pre {
  padding: 1rem 1rem 1rem 1rem;	
}

footer {
  grid-area: footer;
  color: black;
  border-top: 1px solid #f0f0f0;
  height: 4rem;
  display: flex;
  align-items: center;
  justify-content: center;
}

footer span {
  padding: 1rem;
}

footer a {
  color: darkblue;
}

.reverse {
  color: white;
  background-color: black;
  padding: .5rem 1rem .5rem 1rem;
  margin-right: .5rem;
}