/*
 * This Source Code Form is subject to the terms of the Mozilla Public License,
 * v. 2.0. If a copy of the MPL was not distributed with this file, You can
 * obtain one at https://mozilla.org/MPL/2.0/
 *
 * Copyright (C) 2005-2021, Peter Johnson (gravatar.com/delphidabbler).
 *
 * CSS for the CodeSnip HTML help file.
 */


body {
  font-family: Arial;
  font-size: 9pt;
  margin: 0.5em;
}

h1 {
  font-size: 12pt;
  font-weight: bold;
  color: navy;
  margin: 0 0 0.5em 0;
  padding-bottom: 2px;
  border-bottom: 1px silver solid;
}

h2 {
  font-size: 10pt;
  font-weight: bold;
  margin: 0.8em 0 0 0;
}

h3 {
  font-size: 9pt;
  font-weight: bold;
  font-style: italic;
  margin: 0.8em 0 0 0;
}

p {
  margin: 0.5em 0 0 0;
  padding: 0;
}

pre {
  margin: 0.5em 0 0 0;
  padding: 0;
  font-family: "Courier New";
  font-size: 8pt;
}
pre.source-code {
  background-color: #eef;
  border: 1px silver dotted;
  padding: 0.5em;
}

ul, ol {
  margin: 0.5em 0 0 2em;
  padding: 0;
}
ul {
  list-style-type: square;
}
ul li,
ol li,
ul.spaced li,
ol.spaced li,
li div {
  margin-top: 0.5em;
}
ul.unspaced li,
ol.unspaced li {
  margin-top: 0;
}
ul.unspaced li.first,
ol.unspaced li.first {
  margin-top: 0.5em;
}

a:link,
a:active,
a:visited,
a:hover {
  color: green;
  text-decoration: underline;
}

a:link.weblink,
a:active.weblink,
a:visited.weblink,
a:hover.weblink {
  color: blue;
  text-decoration: underline;
}

img.glyph {
  width: 16px;
  height: 16px;
  border: 0;
}

table {
  font-family: Arial;
  font-size: 9pt;
  margin: 0.5em 0 0 0;
  padding: 0;
}

tr {
  vertical-align: top;
  padding: 0;
  margin: 0;
}

td, th {
  padding: 4px;
  margin: 1px;
}

table.menu {
  background-color: #ccc;
  margin-left: 1em;
}

table.bordered {
  padding: 0;
}

table.bordered {
  background-color: #ccc;
}

table.bordered th {
  background-color: white;
}

table.menu td.img {
  width: 24px;
  height: 24px;
  background-color: white;
  text-align: center;
}

table.menu td.item {
  width: 6em;
  font-style: italic;
  background-color: #eee;
}

table.menu td.mainitem {
  width: 5em;
  font-weight: bold;
  background-color: #eee;
}

table.menu td.desc,
table.bordered td {
  background-color: white;
}

table.bordered td.centre {
  text-align: center;
}

pre.reml,
code.reml {
  color: purple;
}

.indent {
  margin-left: 2em;
}

.smallcaps {
  font-variant: small-caps;
}

.warning {
  color: red;
}

.todo {
  background-color: yellow;
}

.bordered {
  border: 1px silver solid;
  padding: 0.25em;
}
