a {
  text-decoration: none;
  color: #069;
}

a:hover {
  text-decoration: underline;
}

a:visited {
  color: #036;
}

body {
  font-family: Verdana, Helvetica, arial, freesans, clean, sans-serif;
  font-size: 10pt;
  margin-left: auto;
  margin-right: auto;
  background-color: #FFF;
  color: #444;
}

code {
  font-size: 10pt;
}

.table-contents table td,
.table-contents table th,
.navheader table td,
.navfooter table td {
  font-size: 10pt;
}

.navfooter hr, 
.navheader hr {
  border: 0px;
  border-bottom: 1px solid #fc390e; /* jetty orange */
}

.navfooter a,
.navheader a {
  font-weight: bold;
  color: #fc390e;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: bold;
  margin-bottom: 12pt;
}

h1 { font-size: 18pt; }
h2 { font-size: 16pt; }
h3 { font-size: 14pt; }
h4 { font-size: 12pt; }
h5 { font-size: 10pt; }
h6 { font-size: 10pt; }

p, ul {
  margin: 1.286em 0;
  line-height: 120%;
}

dl {
  margin: 0;
  line-height: 120%;
}

pre {
  font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace;
  font-weight: normal !important;
  font-style: normal !important;
  margin: 0px;
  overflow-x: auto;
}

strong {
  color: #000;
}

/* Pretty Tables */

.table table {
  border: 1px solid #AFBADF;
  padding: 0;
  border-collapse: collapse;
}

.table tr {
  border: 0;
  padding: 0;
}

.table tr:nth-child(even) {
  background-color: #f6f6f6;
}

.table th {
  padding: 5px;
  background: #AFBADF;
  color: white;
  text-align: center;
  font-weight: bold;
}

.table td {
  border: 1px solid #CCC;
  padding: 5px;
}

h2.subtitle {
  font-variant: normal;
}

h3.author {
  font-variant: normal;
  margin-top: 2em;
  margin-bottom: 0;
}

.email {
}

.informalfigure {
  text-align: center;
}

.mediaobject {
  display: inline-block;
}

div.variablelist dd p {
  margin: 0;
  margin-top: 0;
  margin-bottom: 1em;
  margin-left: 1em;
}

span.term {
  font-weight:bold;
  padding-left:3px;
  padding-right:3px;
}

.caption p {
 margin: 0;
 text-align: right;
}

.navfooter table tr td {
  width: 33.33%;
}

.navfooter {
  margin-bottom: 1.0em;
}

.example .title {
  color: #248;
}

div .screenexample {
  background-color: #EEE;
  border:solid 1px #CCC;
  padding: 1.5em;
  color: black;
  border-radius: 15px;
}

pre.screen {
  white-space: pre;
  width: 100%;
  color: black;
  overflow-x: initial;
  white-space: pre-wrap;       /* css-3 */
  white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
  white-space: -pre-wrap;      /* Opera 4-6 */
  white-space: -o-pre-wrap;    /* Opera 7 */
  word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

div.variablelist {
  padding-left: 20px;
}

.programlisting {
  color: black;
  font-weight: normal;
}

.programlisting .hl-tag {
  color: #881280;
  font-weight: normal;
}

.programlisting .hl-string {
  color: green;
  font-weight: bold;
}

.programlisting .hl-keyword {
  color: #009;
  font-weight: bold;
}

.programlisting .hl-attribute {
  color: #fc390e;
}

.programlisting .hl-value {
  color: #009;
}

.programlisting .hl-annotation {
  color: #880;
}

.programlisting .hl-comment {
  color: gray;
  font-style: italic;
}

.caution, .important, .note, .tip, .warning {
  padding: 10px;
  padding-left: 2.0em;
  margin: 10px;
  border-style: solid;
  border-width: 1px;
  border-top-width: 4px;
}

.caution { border-color: #c60; }
.caution h3 { color: #c60; }

.warning { border-color: #900; }
.warning h3 { color: #900; }

.important { border-color: #069; }
.important h3 { color: #069; }

.note { border-color: #909; }
.note h3 { color: #909; }

.tip { border-color: #090; }
.tip h3 { color: #090; }

.caution h3, .important h3, .note h3, .tip h3, .warning h3 {
  margin: 0px;
  margin-bottom: 0.5em;
}

.jetty-callout {
  background-color: #DEF;
  text-align: left; 
  border: thin solid #CCF; 
  padding: 4px; 
}

.jetty-callout h5 {
  font-size: 10pt;
  margin: 0;
  margin-bottom: 5px;
}

.jetty-callout .callout {
  font-weight: bold;
  font-style: normal;
}

.jetty-callout a {
  text-decoration: none;
}

.jetty-callout .website {
  color: #48f;
}

.jetty-callout p {
  font-style: oblique;
  margin: 0;
}

div.draft {
  background-color: #FF3300; 
  text-align: left; 
  font-size: 110%; 
  border:thin dotted blue; 
  padding: 4px;
  margin-top: 2.0em;
  margin-bottom: 2.0em;
  padding: 2.0em;
  color: white;
}

div.draft p {
  font-weight: bold;
  margin: 0;
}

div.draft h5 {
  margin: 0;
  margin-bottom: 1.0em;
  font-size: 150%;
}

div.draft a {
  color: yellow;
}