a.back {
    text-decoration: none;
}

body {
    margin: 0 auto;
    max-width: 60em;
    padding: 1em 2em;
}

code {
    background-color: #d6d6d6;
    font-size: 1.2em;
    padding: 0 0.25em;
}

dl {
    margin-top: 0.5em;
}
dt {
    margin-top: 0.5em;
}
dd {
    margin-left: 1em;
}

h1 {
    margin-bottom: 0.5em;
}

p {
    hyphens: auto;
    margin-top: 0.5em;
    margin-bottom: 0;
    padding-top: 0;
    text-align: justify;
}

pre {
    margin-left: 1em;
    overflow: auto;
}

.tooltip { /* hide and position tooltip */
  top: 1em;
  left: 1em;
  background-color: black;
  color: white;
  border-radius: 5px;
  opacity: 0;
  position: absolute;
  -webkit-transition: opacity 0.5s;
  -moz-transition: opacity 0.5s;
  -ms-transition: opacity 0.5s;
  -o-transition: opacity 0.5s;
  transition: opacity 0.5s;
}

.hover {
    position: relative;
}

.hover:hover .tooltip { /* display tooltip on hover */
    opacity: 1;
}