@import url("haiku.css");

/*
 * Override haiku.css
 */

:root {
  --horizontal-margin: 20px;
}

html {
  background: #fff;
}

body {
  color: #000000;
  font-family: inherit;
  min-width: 20em;
}

/* "justify" alignment in haiku.css does not work well with URLs or code fragments. */
p {
  text-align: left;
}

p.rubric {
  font-size: 1.2em;
  color: #892601;
  font-weight: normal;
}

li {
  line-height: 1.5;
}

div.line-block {
  text-align: left;
}

code {
  background-color: #f0f0f0;
  font-size: calc(1em);
  word-break: break-all;
}

pre {
  background-color: #f8f8f8;
  line-height: 1.3;
  font-size: calc(1em);
  white-space: pre-wrap;
}

a:visited {
  font-weight: 500;
}

a:link {
  font-weight: 500;
}

a.headerlink {
  color: #ffdacc;
  padding-left: 5px;
}

a.headerlink:hover {
  color: #ffdacc;
}

dl.glossary dt {
  font-weight: bold;
  color: #892601;
  font-size: 100%;
}

section#glossary span.std.std-ref:before {
  content: "§";
  font-size: 80%;
}

section#glossary span.doc:before {
  content: "§";
  font-size: 80%;
}

div.note {
  background: #fff4f0 url(alert_info_32.png) 15px 15px no-repeat;
}

div.header {
  height: unset;
  padding: 0 var(--horizontal-margin);
}

div.header h1 {
  letter-spacing: 0;
}

div.header h2 {
  display: none;
}

div.content {
  font-size: inherit;
  margin-left: var(--horizontal-margin);
  margin-right: var(--horizontal-margin);
}

h1 {
  font-size: 2.0em;
  font-weight: bold;
  border-bottom: 1px solid #ccc;
}

h2 {
  font-size: 1.8em;
  font-weight: bold;
  border-bottom: 1px solid #ccc;
}

h3 {
  font-size: 1.6em;
  font-weight: bold;
}

h4 {
  font-size: 1.4em;
  font-weight: bold;
}

div.topnav {
  display: none;
}

div.bottomnav {
  display: none;
}

div.bottomnav p {
  margin-right: var(--horizontal-margin);
}

section#changelog span.section-number {
  display: none;
}

/*
 * Override pygments.css
 */

div.highlight-kink pre span.c1 {
  font-style: italic;
}

/* vim: set et sw=2 sts=2 : */