html {
  min-height: 100%;
  background: linear-gradient(to top, indigo, midnightblue);
}

body {
  min-height: 100%;
  max-width: 36rem;
  margin: 1em auto;
  padding: 0 2em;

  border-radius: 10px;
  box-shadow: 0 .25rem 1rem;
  background: white;


  font-family: sans-serif;
  line-height: 1.25;
}

#header {
  border-radius: 0 0 10px 10px;
  box-shadow: 0 .1rem .25rem black;
  background: lightgray;

  display: flex;
  flex-flow: row wrap;
  align-items: center;
  justify-content: center;
  padding: 0 1rem;
}

#header > h1 {
  margin: 0;
  color: black;
  text-shadow: 0 .1rem 0 white;
  font-size: 175%;
  display: inline;
}

#nav {
  flex-grow: 1;

  display: flex;
  flex-flow: row wrap;
  justify-content: space-evenly;

  padding: .5em 0;
}

#nav > a {
  background: rgba(0, 0, 0, .15);
  border-radius: 10px;
  box-shadow: 0 .1rem .1rem black;
  padding: .25em .5em;
  margin: .15em;
  text-decoration: none;
  font-size: 115%;
}

#nav > a.current {
  background: rgba(128, 0, 255, .15);
}

#last_edit {
  padding: 1rem 0;
  color: gray;
  font-size: .75em;
  text-align: right;
}

.tip {
  border-bottom: dotted 1px gray;
  cursor: help;
  font-size: 100%;
}

pre {
  font-family: sans-serif;
  line-height: 1.5;
  margin: 0;
}

pre, span, p {
  font-size: 1em;
}

p {
  line-height: 1.5;
}

@media (orientation: portrait) {
  body {
    font-size: 175%;
    max-width: 100%;
    border-radius: 30px;
  }

  #header {
    border-radius: 0 0 30px 30px;
  }
}

/* tooltips for mobile devices -- https://stackoverflow.com/a/60660207 */

@media (pointer: coarse), (hover: none) {
  [title] {
    position: relative;
    display: inline-flex;
    justify-content: center;
  }

  [title]:hover::after {
    content: attr(title);

    position: absolute;
    bottom: 100%;

    color: black;
    background: lavender;
    border-radius: 10px;
    box-shadow: 0 .1rem .1rem;

    width: 100%;
    padding: 1em;
  }
}
