/* Styles used by both desktop and mobile */

:root {
    --main-bg-color: #26757e;
}

h3 {
    font-size: 12pt;
    font-style: italic;
}

h4 {
    font-size: 10pt;
}

ul.menu {
    list-style: none;
    padding: 0px;
    margin: 0px;
}

li.menu ul.menu {
    display: none;
}

ul.menu li.menu a {
    display: block;
    background: var(--main-bg-color);
    padding: 5px 10px 5px 10px;
    text-decoration: none;
    white-space: nowrap;
    color: white;
}

ul.menu li.menu a:hover {
    color: black;
    background: white;
}

li.menu:hover ul.menu {
    display: block;
    position: absolute;
}

li.menu:hover li.menu {
    float: none;
}

li.menu:hover a {
    background:  var(--main-bg-color);
}

li.menu:hover li.menu a:hover {
    background: #fff;
    color: black;
}

#drop-nav li ul li {
    border-top: 0px;
}

th.title {
    color: #979e6a;
    font-size: 14pt;
    font-weight: bold;
    text-align: left;
    vertical-align: top;

}
th.params {
    background-color: #ffe800;
    font-weight: bold;

}
th.results {
    background-color: #14a2d4;
    color: white;
    font-weight: bold;}

th.controls {
    background-color: #af5eac;
    color: white;
    font-weight: bold;
    text-align: centre;
}

td.title {
    color: #979e6a;
    font-size: 14pt;
    font-weight: bold;
    text-align: left;
}

td.params {
    background-color: #ffe800;
    text-align: left;
}

td.results {
    background-color: #14a2d4;
    color: white;
    text-align: left;
}

td.controls {
    background-color: #af5eac;
    text-align: center;
    color: white;
}


.top {
    vertical-align: top;
}

.left {
    text-align: left;
}

.justify {
    text-align: justify;
}

.menubar {
    max-width: 80%;
}


/* Divs with site background colour */
div.sitebg {
    background-color: var(--main-bg-color);
    color: white;
}

/* Change colour of links on site background */
a.sitebg:link {
    color: lightblue;
}

a.sitebg:active {
    color: white;
}

a.sitebg:visited {
    color: white;
    font-weight: bold;
}

/* Styles required by goog.ui.ProgressBar */

.progress-bar-horizontal {
    position: relative;
    padding: 1px;
    margin: 2px;
    border: 1px solid #949dad;
    width: 95%;
    background: white;
    overflow: hidden;
    height: 10px;
}

.progress-bar-thumb {
    background: #4C93A3;
    width: 100%;
    height: 100%;
    overflow: hidden;
}

/* Colourful tables */

th.title {
    color: #979e6a;
    font-size: 14pt;
    font-weight: bold;
    text-align: left;
    vertical-align: top;
}

th.controls {
    background-color: #4C93A3;
    color: white;
    font-weight: bold;
}

th.params {
    background-color: #4C93A3;
    font-weight: bold;
}

th.results {
    background-color: #15434E;
    color: white;
    font-weight: bold;
}

td.title {
    color: #979e6a;
    font-size: 14pt;
    font-weight: bold;
    text-align: left;
    vertical-align: top;
}

td.controls {
    background-color: #4C93A3;
    color: white;
    text-align: center;
}

td.params {
    background-color: #4C93A3;
    text-align: right;
}

td.results {
    background-color: #15434E;
    color: white;
    text-align: right;
}

input.numeric {
    text-align: right;
}

th.ruled, td.ruled {
    border-color: black;
    border-width: 1px;
    border-style: none none solid none;
    vertical-align: top;
    text-align: left;
}

/* Mandoc styles for html */

table.head, table.foot {
    width: 100%;
}

td.head-rtitle, td.foot-os {
    text-align: right;
}

td.head-vol {
    text-align: center;
}

div.Pp {
    margin: 1ex 0ex;
}

div.Nd, div.Bf, div.Op {
    display: inline;
}

span.Pa, span.Ad {
    font-style: italic;
}

span.Ms {
    font-weight: bold;
}

dl.Bl-diag > dt {
    font-weight: bold;
}

code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, code.Cd {
    font-weight: bold;
    font-family: inherit;
}

code.Li {
    font-family: monospace;
    font-size: 10pt;
}

code.Fl, code.Ev {
    font-family: monospace;
    font-size: 10pt;
    color: black;
}

div.Bd-indent {
    margin-left: 5%;
}

section.Sh {
    font-family: sans-serif;
    font-size: 10pt;
}

a.permalink:link {
    color: white;
}

a.permalink:active {
    font-weight: italic;
}

a.permalink:visited {
    color: white;
    font-weight: bold;
}