:root {
  --DEDALUS-blue: #125092;
}

body {
  font-size: 10pt;
  font-family: Calibri, sans-serif;
}

p, ul, ol, li {
  font: 10pt Calibri, sans-serif;
}

#leftnavigation {
  top: 81px;
  border-right: 2px solid black;
}

#content {
  top: 81px;
}

/* ====== Tabs ====== */
.ui-widget-header {
  background: #ffffff;
  border-bottom: 1px solid black;
}

.ui-state-default, .ui-widget-content .ui-state-default, .ui-widget-header .ui-state-default {
  background: #ffffff;
}

.ui-state-active, .ui-widget-content .ui-state-active, .ui-widget-header .ui-state-active {
  border: 1px solid black;
}

.ui-state-default, .ui-widget-content .ui-state-default, .ui-widget-header .ui-state-default {
  border: 1px solid black;
}

.ui-tabs .ui-tabs-nav li a {
  font-size: 12pt;
}


.ui-state-default a, .ui-state-default a:link, .ui-state-default a:visited {
  color: #888888;
}

/* ====== Search ====== */
fieldset {
  border: 2px solid black;
  padding-bottom: 8px;
}

legend {
  color: #666666;
}

input#textToSearch {
  border: 1px solid #cccccc;
}

button#doSearch {
  vertical-align: middle;
}

#customSearch ul {
  list-style-type: none;
}

/* ====== Title page ====== */
div.book > div.titlepage h1 {
  text-align: center;
  color: red;
  font-size: 200%;
}

div.book > div.titlepage h2.subtitle {
  font-style: normal;
  text-align: center;
}

.article .titlepage .subtitle {
  color: #595959;
}

/* ====== Titles ====== */
div.titlepage {
  font-family: Calibri, sans-serif;
}

div.book > div.titlepage div.cover {
  margin-left: 25%;
  margin-right: 25%;
  margin-bottom: 6em;
}

#content  h2.searchToolsTitle {
  margin-left: 25%;
  padding-left: 1.8em;
  margin-top: 3em;
  color: var( --DEDALUS-blue );
  font-size: 16pt;
}

#searchTools {
  background-color: #eeeeee;
  padding: 1em 2em 1em 2em;
  margin-left: 15%;
  margin-right: 15%;
}

#searchTools span.label {
  display: inline-block;
  width: 9.6em;
  font-weight: bold;
}

#searchTools input[type=radio] {
  vertical-align: middle;
}

#searchTools select {
  margin-left: 5px;
}

#topicSearchSelected {
  background-color: rgb(167, 169, 172);
}

#search {
  /* Old feature */
  display: none;
}

#content div.cover a {
  color: #000000;
  text-decoration: none;
}

#content div.cover a:hover {
  background-color: #eeeeee;
}

#content h2.covertitle {
  margin-top: 3em;
  margin-left: 1.8em;
  color: var( --DEDALUS-blue );
  font-size: 16pt;
}

div.titlepage h2, div.titlepage h3, div.titlepage h4,
div.titlepage h5, div.titlepage h6 {
}

div.chapter div.titlepage h2,
div.appendix div.titlepage h2,
div.preface div.titlepage h2 {
  font-size: 180%;
  color: #595959;
}

#content div.section div.titlepage h2 {
  font-size: 160%;
  color: var( --DEDALUS-blue );
}

div.section div.titlepage h3 {
  font-size: 140%;
  color: black;
}

div.section div.titlepage h4 {
  font-size: 120%;
  color: black;
}

div.section div.titlepage h5 {
  font-size: 100%;
  color: black;
}

div.section div.titlepage h6 {
  font-size: 100%;
  color: black;
}

#content h1, #content h2, #content h3, #content h4, #content h5, #content h6 {
  margin-top: 16px;
}

#content h1 {
  color: var( --DEDALUS-blue );
  font-family: Calibri, sans-serif;
  font-size: 16pt;
}

#content h2 {
  color: #595959;
  font-family: Calibri, sans-serif;
}

/* ====== Header, Footer ====== */
#header {
  background: none;
  height: 80px;
  border-bottom: 2px solid black;
}

#productlogo {
  position: fixed;
  top: 0px;
  left: 0px;
}

#productlogo img {
  height: 48px;
}

#navheader {
  position: static;
  float: left;
  padding-top: 48px;
}

.homelink img {
  height: 24px;
  vertical-align: text-bottom;
}

#headerlogo {
  float: right;
  padding: 5px 5px 0px 0px;
}

#headerlogo img {
  height: 72px;
}

#pagetitle {
  margin-top: 0.67em;
  font: bold 22pt Calibri, sans-serif;
  color: black;
  text-align: center;
  text-transform: uppercase;
}

.navfooter a, #navheader a {
  color: var( --DEDALUS-blue );
}

p.docdate {
  float: right;
  margin-top: 1em;
}

div.footerlegal {
  border-top: 0.2em solid lightgrey;
  padding-top:6px;
  background-repeat: no-repeat;
  background-position: right top;
  color: #bbbbbb;
}

/* ====== Tree ====== */
.treeview .hover {
  color: var( --DEDALUS-blue );
}

#tree a, #topics-tree a {
  text-decoration: none;
}

#tree > li, #topics-tree > li {
  font-weight: bold;
  font-size: 12pt;
}

#tree > li > ul > li, #topics-tree > li > ul > li {
  font-size: 11pt;
}

#tree > li > ul > li li, #topics-tree > li > ul > li li {
  font-size: 10pt;
}

#tree > li > ul > li li a, #topics-tree > li > ul > li li a {
  color: #666666;
}

/* ====== TOCs ====== */
.toc > p, .list-of-figures > p, .list-of-tables > p, .list-of-examples > p {
  font-size: 180%;
  color: red;
  font-family: Calibri, sans-serif;
}

#content .toc > p, #content .list-of-figures > p, #content .list-of-tables > p,
#content .list-of-examples > p {
  font-size: 120%;
  color: var( --DEDALUS-blue );
  font-family: Calibri, sans-serif;
}

.toc a:visited, .list-of-figures a:visited, .list-of-tables a:visited,
.list-of-examples a:visited {
  color: #555557;
  font-family: Calibri, sans-serif;
}

.toc a:link, .list-of-figures a:link, .list-of-tables a:link,
.list-of-examples a:link {
  color: #252527;
  font-family: Calibri, sans-serif;
}

/* ====== Content ====== */
#content p, #content ul, #content ol, #content li {
  font: 10pt Calibri, sans-serif;
}

li p {
  margin: 4px 0px 4px 0px;
}

div.revhistory table {
  border-collapse: collapse;
}

div.revhistory th {
  text-align: center;
}

.programlisting {
  background-color: #eeeeee;
  padding: 4px;
}

.screen {
  background-color: #000000;
  color: #ffffff;
  padding: 4px;
}

.informaltable, .table {
  margin-bottom: 12px;
}

.informaltable table, .table table {
  border-collapse: collapse;
  width: 100%;
}

.informaltable th, .table th,
.informaltable td, .table td {
  padding: 5px;
}

.informaltable th, .table th {
  /*    background-color: #eeeeee;*/
  font-family: Calibri, sans-serif;
}

.informaltable th p, .table th p,
.informaltable td p, .table td p {
  margin: 2px 0px 2px 0px;
}

.note, .tip, .important, .warning, .caution {
  /*    border-top: 2px solid #CCCCCC;
      border-bottom: 2px solid #CCCCCC;*/
  padding-top: 6px;
  padding-bottom: 6px;
  margin: 12px 0px 12px 0px;
}

.admon-content p {
  margin: 0px 0px 6px 0px;
}

#content dt {
  font-family: Calibri, sans-serif;
}

span.term {
  font-weight: bold;
  font-size: 90%;
}

div.mediaobject {
  margin-bottom: 12px;
  text-align: center;
}

#content img:not(.admo) {
  max-width: 95%;
}

/* == Formal Titles == */
#content p.title, #content p.legalnotice-title {
  font-family: Calibri, sans-serif;
  font-size: 12pt;
}

#content p.legalnotice-title {
  color: black;
}

div.figure {
  text-align: center;
}

#content div.figure p.title {
  text-align: left;
}

.ui-state-active a, .ui-state-active a:link, .ui-state-active a:visited {
  color: black;
}

span.guibutton, span.guilabel, span.menuchoice {
  font-weight: bold;
}

.example-contents, #content .example-contents p,
.informalexample, #content .informalexample p {
  font-weight: bold;
}

#content ul {
  list-style-type: square;
}

#content ol > li {
  font-weight: bold;
}

#content ol > li > * {
  font-weight: normal;
}

.nodisp {
  display: none;
}

div.topic-link {
  margin-left: 16px;
}

#topics-tree div.topic-link > a {
  color: #0050A0;
}

.flagged {
  background-color: #a5ffa3;
}

.mediaobject.flagged {
  padding: 0.8em 0 0.8em 0;
}

.inlinemediaobject.flagged {
  padding: 2px;
  display: inline-block;
}

span.ahighlight {
  background-color: #fd0;
}

img.admo{
  width: 55px;
}