/* Indelligent v2.0 - Ported from style_h.css */

body {
  background-color: #CAD9DD;
  font-family: arial, sans-serif;
  color: #000080;
}

h1 {
  font-family: arial, sans-serif;
  font-size: 1.25em;
  font-weight: bold;
  color: #000080;
}

h2 {
  font-family: arial, sans-serif;
  font-size: 1em;
  font-weight: bold;
  color: #000080;
  margin-left: 4em;
}

h3 {
  font-family: arial, sans-serif;
  font-size: 1em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 5em;
  color: #000080;
}

p {
  font-family: arial, sans-serif;
  font-size: 0.75em;
  margin-left: 0.5em;
  margin-top: 0;
  margin-bottom: 0.5em;
  text-indent: 2em;
  color: #000080;
}

p.img {
  font-family: arial, sans-serif;
  font-size: 0.75em;
  margin-left: 0;
  margin-top: 0;
  margin-bottom: 0.5em;
  text-indent: 0;
  color: #000080;
}

p.syn {
  font-family: arial, sans-serif;
  font-size: 0.75em;
  margin-left: 11em;
  text-indent: -2em;
  color: #000080;
  margin-top: 0;
  margin-bottom: 0;
}

p.author {
  font-family: arial, sans-serif;
  font-size: 0.6em;
  color: #000080;
  text-align: right;
  margin-top: 3em;
  margin-bottom: 0;
}

table.a1 {
  border: 2px solid #CAD9DD;
  text-align: left;
  word-wrap: normal;
}

table.a2 {
  border: 2px outset #FFFFFF;
  text-align: left;
  word-wrap: normal;
  cursor: pointer;
}

table.a3 {
  border: 2px inset #FFFFFF;
  text-align: left;
  word-wrap: normal;
}

td {
  font-family: arial, sans-serif;
  color: #000080;
  text-align: center;
}

td.sm {
  font-size: 0.75em;
}

td.white {
  font-size: 0.75em;
  color: #000080;
  background-color: #FFFFFF;
}

td.stat0 {
  font-size: 0.75em;
  font-weight: bold;
  color: #000000;
  background-color: #FFFFFF;
  text-align: left;
}

td.stat1 {
  font-size: 1em;
  font-weight: bold;
  color: #000000;
  background-color: #FFFFFF;
  text-align: left;
}

td.stat2 {
  font-size: 0.75em;
  font-weight: bold;
  color: #000080;
  background-color: #FFFFDD;
}

td.stat3 {
  font-size: 0.75em;
  font-weight: bold;
  color: #C00000;
  background-color: #FFFFFF;
  text-align: left;
}

td.stat4 {
  font-size: 1em;
  font-weight: bold;
  color: #DDDDDD;
  text-align: right;
}

td.stat5 {
  text-align: left;
}

td.stat6 {
  font-size: 0.75em;
  color: #000000;
  background-color: #FFFFFF;
}

th {
  font-family: arial, sans-serif;
  font-size: 1.25em;
  font-weight: bold;
  color: #000080;
  text-align: center;
}

ul, ol {
  font-family: arial, sans-serif;
  margin-top: 0;
  margin-bottom: 0;
  color: #000080;
}

li {
  font-family: arial, sans-serif;
  color: #000080;
  margin-top: 0;
  margin-bottom: 0;
}

a {
  font-family: arial, sans-serif;
  font-weight: bold;
  color: #000080;
}

a:visited {
  color: #836A56;
}

a:hover {
  color: #FF0000;
}

a.h {
  color: #0000CC;
  font-weight: normal;
}

a.h:visited {
  color: #0000CC;
  font-weight: normal;
}

a.h:hover {
  color: #FF0000;
  font-weight: normal;
}

a.h1 {
  color: #000080;
}

a.h1:visited {
  color: #000080;
}

a.h1:hover {
  color: #FF0000;
}

.stat {
  font-family: arial, sans-serif;
  font-weight: bold;
  color: #C00000;
}

.btn {
  font-family: arial, sans-serif;
  font-size: 15px;
  font-weight: bold;
  text-decoration: none;
  color: #FFFFFF;
  background-color: #000080;
  border: 2px solid #000080;
  padding: 4px 12px;
  cursor: pointer;
}

.btn:hover {
  background-color: #0000B0;
  border-color: #0000B0;
}

form {
  margin-top: 0;
  margin-bottom: 0;
}

input {
  font-family: arial, sans-serif;
  font-size: 0.75em;
}

input.but {
  background-color: transparent;
  font-family: arial, sans-serif;
  font-size: 0.75em;
  color: #000080;
  font-weight: bold;
}

select {
  font-family: arial, sans-serif;
}

span.upd {
  font-family: arial, sans-serif;
  font-size: 0.6em;
  font-weight: normal;
  color: #000080;
}

div.a {
  font-size: 0.75em;
}

a .qmark,
.qmark {
  display: inline-block;
  box-sizing: border-box;
  width: 16px;
  height: 16px;
  line-height: 16px;
  text-align: center;
  text-indent: 0 !important;
  font-family: arial, sans-serif;
  font-size: 11px;
  font-weight: normal;
  color: #FFFFFF !important;
  background-color: #000080;
  border: none;
  border-radius: 50%;
  cursor: pointer;
  text-decoration: none;
  vertical-align: middle;
  overflow: hidden;
}

textarea {
  font-family: Courier, monospace;
  font-size: 0.85em;
}

/* Code blocks with copy button */
.code-block {
  position: relative;
  margin: 0.75em 0 0.75em 2em;
  max-width: 42em;
}

.code-block pre {
  background-color: #f4f4f0;
  border: 1px solid #c0c0c0;
  border-radius: 4px;
  padding: 0.75em 1em;
  padding-right: 2.5em;
  margin: 0;
  overflow-x: auto;
  white-space: pre;
}

.code-block pre code {
  font-family: Courier, monospace;
  font-size: 0.75em;
  color: #000080;
  line-height: 1.5;
}

.code-block pre code .comment {
  color: #808080;
}

.copy-btn {
  position: absolute;
  top: 0.4em;
  right: 0.4em;
  background: none;
  border: 1px solid transparent;
  border-radius: 4px;
  cursor: pointer;
  padding: 3px 5px;
  color: #808080;
  line-height: 1;
}

.copy-btn:hover {
  background-color: #e0e0dc;
  border-color: #c0c0c0;
  color: #000080;
}

.copy-btn.copied {
  color: #008000;
}

/* Ronn-generated man page content */
#man-content {
  font-family: Courier, monospace;
}

#man-content h2 { margin-left: 1em; }
#man-content h3 { margin-left: 2em; }
#man-content p { margin-left: 4em; text-indent: 0; }

#man-content strong {
  color: #FF0000;
  font-weight: normal;
}

#man-content code {
  font-family: Courier, monospace;
}

#man-content pre {
  background-color: #f4f4f0;
  border: 1px solid #c0c0c0;
  border-radius: 4px;
  padding: 0.75em 1em;
  margin: 0.5em 0 0.5em 4em;
  max-width: 42em;
  overflow-x: auto;
}

#man-content .code-block {
  margin-left: 4em;
  max-width: 42em;
}

#man-content .code-block pre {
  margin: 0;
  max-width: none;
}

#man-content dl { margin-left: 4em; }
#man-content dt { font-family: Courier, monospace; font-weight: bold; }
#man-content dd { margin-left: 2em; font-size: 0.75em; }