body {
  font-family: fira-sans, sans;
  font-size: 10pt;
  background-color: transparent;
}
div.notification {
  position: relative;
  float: right;
  width: 600px;
  border: 3px outset #6c5d53;
  /* border-radius: 5px; */
  padding: 10px;
  background-color: #e6e6e6;
}
div.content {
  padding-left: 60px;
}
img.logo {
  float: left;
  border-radius: 50%;
}
p.heading {
  margin: 0px;
  font-weight: bold;
  text-decoration: underline;
}
p.hint {
  display: none;
}
pre {
  font-family: fira-mono, mono;
  white-space: pre-wrap;
}
span.link {
  color: #863600;
}
span.tag {
  font-family: monospace;
  background-color: #e6e6e6;
}