/**
 * @file    doxygen-base-stylesheet.css
 * @brief   Stylesheet used by libSBML for Doxygen documentation
 * @author  Michael Hucka
 *
 * This file is part of libSBML.  Please visit http://sbml.org for more
 * information about SBML, and the latest version of libSBML.
 */

@import url('libsbml-reset-stylesheet.css');
@import url('libsbml-base-stylesheet.css');
@import url('libsbml-package-stylesheet.css');

/* This next one is for specific languages. The files will not exist for docs
   that *aren't* the language, so the import will simply not succeed. Grungy,
   but simpler than the alternatives. */

@import url('libsbml-c-stylesheet.css');
@import url('libsbml-python-stylesheet.css');

hr.footer {
    height: 1px;
}

body 
{
    margin: 0px;
}

.title {
    font-family: 'Noto Sans', Helvetica, Arial, Sans, sans-serif;
    font-size: 20px;
    font-weight: 700;
    margin: 10px 2px;
}

div.multicol {
    -moz-column-gap: 1em;
    -webkit-column-gap: 1em;
    -moz-column-count: 3;
    -webkit-column-count: 3;
}

p.startli, p.startdd, p.starttd {
    margin-top: 0.5em;
}

p.endli {
    margin-bottom: 0px;
}

p.enddd {
    margin-bottom: 4px;
}

p.endtd {
    margin-bottom: 2px;
}

h3.version {
    font-size: 90%;
    text-align: center;
}

div.qindex, div.navtab{
    background-color: #EBEFF6;
    border: 1px solid #A3B4D7;
    text-align: center;
}

div.qindex, div.navpath {
    width: 100%;
    line-height: 140%;
}

div.navtab {
    margin-right: 15px;
}

/* @group Link Styling */

a.qindex {
    font-weight: 700;
}

a.qindexHL {
    font-weight: 700;
    background-color: #9CAFD4;
    color: #ffffff;
    border: 1px double #869DCA;
}

.contents a:visited {
    color: #5580cf;
}

.contents a.qindexHL:visited {
    color: #ffffff;
}

a.el {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    padding-left: 1px;
    padding-right: 0px;
}

a.code, a.code:visited {
    color: #4665A2; 
}

a.elRef {
}

a.codeRef, a.codeRef:visited {
    color: #4665A2; 
}

/* @end */

dl.el {
    margin-left: -1cm;
}

.contents div.textblock div.fragment {
    border: none;
    background-color: #f0f0f0;
    padding-left: 0.75em;
    margin: 0px 1em 0px 1em;
    line-height: 100%;
    border: 1px solid #fdcba6;
    border-radius: 8px;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
}

.memdoc div.fragment {
    margin: 0.5em 1.75em 0.5em 1.75em;
}

div.contents :not(div.memdoc)  div.fragment div.line:first-child {
    padding-top: 0.5em;
}

div.contents :not(div.memdoc) div.fragment div.line:last-child {
    padding-bottom: 0.5em;
}

div.line {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-size: 13px;
    font-weight: 700;
    color: black;
    min-height: 13px;
    line-height: 120%;
    text-wrap: unrestricted;
    white-space: -moz-pre-wrap; /* Moz */
    white-space: -pre-wrap;     /* Opera 4-6 */
    white-space: -o-pre-wrap;   /* Opera 7 */
    white-space: pre-wrap;      /* CSS3  */
    word-wrap: break-word;      /* IE 5.5+ */
    text-indent: -25px;

    padding-left: 25px;
    padding-bottom: 0px;
    margin: 0px;
}

div.line.glow {
    background-color: cyan;
    box-shadow: 0 0 10px cyan;
}

div.ah {
    background-color: black;
    font-weight: 700;
    color: #ffffff;
    margin-bottom: 3px;
    margin-top: 3px;
    padding: 0.2em;
    border: solid thin #333;
    border-radius: 0.5em;
    -webkit-border-radius: .5em;
    -moz-border-radius: .5em;
    box-shadow: 2px 2px 3px #999;
    -webkit-box-shadow: 2px 2px 3px #999;
    -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
    background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
    background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
}

/* If you show line numbers, then if the user selects text, they
get the line numbers too.  Not cool.  They're not important for
us, so let's hide them with display: none. */

span.lineno {
    display: none;

    padding-right: 4px;
    color: #bbb;
    font-weight: normal;
    font-style: italic;
    text-align: right;
    border-right: 1px solid #602;
    white-space: pre;
}

span.lineno a {
    background-color: #D8D8D8;
}

span.lineno a:hover {
    background-color: #C8C8C8;
}

div.groupHeader {
    margin-left: 16px;
    margin-top: 12px;
    font-weight: 700;
}

div.groupText {
    margin-left: 16px;
    font-style: italic;
}

div.contents {
    margin-top: 10px;
    margin-left: 12px;
    margin-right: 8px;
    padding-left: 5px;
}

td.indexkey {
    font-weight: 700;
    border-bottom: 1px dotted #ccc;
    width: 30%;
    margin: 2px 0px 2px 0px;
    padding-right  : 10px; 
    padding-top    : 3px; 
    padding-left   : 10px; 
    padding-bottom : 2px; 
    vertical-align: middle;
}

td.indexvalue {
    font-style: italic;
    vertical-align: middle;
    border-bottom: 1px dotted #ccc;
    padding: 2px 10px;
    margin: 2px 0px;
}

tr.memlist {
    background-color: #EEF1F7;
}

p.formulaDsp {
    text-align: center;
}

img.formulaDsp {
    
}

img.formulaInl {
    vertical-align: middle;
}

div.center {
    text-align: center;
    margin-top: 0px;
    margin-bottom: 0px;
    padding: 0px;
}

div.center img {
    border: 0px;
}

address.footer {
    text-align: right;
    padding-right: 12px;
}

img.footer {
    border: 0px;
    vertical-align: middle;
}

/* @group Code Colorization */

span.comment {
    color: #888888;
    font-weight: normal;
    font-style: italic;
}

span.keywordtype {
    color: #657b83
}

span.keyword {
    color: #af005f
/*    color: #904000 */
/*    color: #008a90 */
}

span.keywordflow {
    color: #e08700
}

span.preprocessor {
    color: #700070 
}

span.stringliteral {
    font-weight: normal;
    color: #2aa198
}

span.charliteral {
    color: #0040a0
}

span.vhdldigit { 
    color: #ff00ff 
}

span.vhdlchar { 
    color: #000000 
}

span.vhdlkeyword { 
    color: #700070 
}

span.vhdllogic { 
    color: #ff0000 
}

/* @end */

/*
  .search {
  color: #003399;
  font-weight: 700;
  }

form.search {
margin-bottom: 0px;
margin-top: 0px;
}

input.search {
font-size: 75%;
color: #000080;
font-weight: normal;
background-color: #e8eef2;
}
*/

td.tiny {
    font-size: 75%;
}

.dirtab {
    padding: 4px;
    border-collapse: collapse;
    border: 1px solid #A3B4D7;
}

th.dirtab {
    background: #EBEFF6;
    font-weight: 700;
}

/* @group Member Descriptions */

table.memberdecls {
    border-spacing: 0px;
    padding: 0px;
}

.mdescLeft, .mdescRight,
.memItemLeft, .memItemRight,
.memTemplItemLeft, .memTemplItemRight, .memTemplParams {
    background-color: #fafafa;
    border: none;
    margin: 0px;
    padding: 0px 0 0 5px;
}

.memItemLeft, .memItemRight, .memTemplParams {
    border-top: 1px solid #aaaaaa;
    font-weight: 700;
    color: #222;
    padding-bottom: 2px;
}

.memItemLeft, .memTemplItemLeft {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    white-space: nowrap;
}

.memItemRight {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    width: 100%;
    padding-bottom: 2px;
}

.mdescLeft, .mdescRight {
    padding: 0px 8px 8px 5px;
    color: #555;
    font-style: italic;
}

.mdescRight code {
    color: #555;
}

.memTemplParams {
    color: #4665A2;
    white-space: nowrap;
}

table.mlabels, 
table.memname {
    margin-top: 0px;
    margin-bottom: 0px;
}

table.mlabels .mlabel {
    margin-left: 5px;
}

/* @end */

/* @group Member Details */

/* Styles for detailed member documentation */

.memtemplate {
    font-size: 80%;
    color: #4665A2;
    font-weight: normal;
    margin-left: 9px;
}

.memnav {
    background-color: #EBEFF6;
    border: 1px solid #A3B4D7;
    text-align: center;
    margin: 2px;
    margin-right: 15px;
    padding: 2px;
}

.mempage {
    width: 100%;
}

.memitem {
    padding: 0px;
    margin-bottom: 2em;
    margin-right: 5px;
}

.memname {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    white-space: nowrap;
    font-weight: 700;
    margin-left: 6px;
}

.memSeparator {
    display: none;
}

.memproto, dl.reflist dt {
    padding: 6px 0px 6px 0px;
    color: #253555;
    font-weight: 700;
    background-color: #dfdfdf;
    text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
    box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    -moz-box-shadow: 5px 5px 5px #bbb;
    -webkit-box-shadow: 5px 5px 5px #bbb;

    border: 1px solid #b5b5b5;
    border-top-right-radius: 8px;
    border-top-left-radius: 8px;

    /* Tried, but this messes up the drawing by not being layered properly:
       filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#e5e5e5', endColorstr='#cccccc');
    */

    background: -moz-linear-gradient(top, #e5e5e5, #ccc); 
    background: -webkit-gradient(linear, left top, left bottom, from(#e5e5e5), to(#bbb)); 
    background-image: linear-gradient(top, #e5e5e5, #ccc);
    background-color: #e5e5e5;
}

.memdoc, dl.reflist dd {
    border-bottom: 1px solid #b5b5b5;      
    border-left: 1px solid #b5b5b5;      
    border-right: 1px solid #b5b5b5; 
    padding: 2px 5px;
    background-color: #fff;
    border-top-width: 0px;
    /* general -- opera and IE */
    border-bottom-left-radius: 8px;
    border-bottom-right-radius: 8px;
    box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    /* firefox specific markup */
    -moz-border-radius-bottomleft: 8px;
    -moz-border-radius-bottomright: 8px;
    -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
    background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F7F8FB 95%, #efefef);
    /* webkit specific markup */
    -webkit-border-bottom-left-radius: 8px;
    -webkit-border-bottom-right-radius: 8px;
    -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
    background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF), color-stop(0.6,#FFFFFF), color-stop(0.60,#FFFFFF), color-stop(0.95,#F7F8FB), to(#efefef));
}

div.memdoc dl dd table tr td p
{
    vertical-align: top;
}

dl.reflist dt {
    padding: 5px;
}

dl.reflist dd {
    margin: 0px 0px 10px 0px;
    padding: 5px;
}

.paramkey {
    text-align: right;
}

.paramtype {
    white-space: nowrap;
}

.paramname {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    color: #803030;
    white-space: nowrap;
    vertical-align: top;
}

.paramname em {
    font-style: normal;
}

.params, .retval, .exception, .tparams {
    border-spacing: 6px 2px;
}       

.params .paramname, .retval .paramname {
    font-weight: 700;
    vertical-align: top;
}

.params .paramtype {
    font-style: italic;
    vertical-align: top;
}       

.params .paramdir {
    font-family: "Anoymous Pro", "Courier New", Courier, monospace;
    vertical-align: top;
}

table.params td {
    padding-bottom: 0.5em;
}


/* @end */

/* @group Directory (tree) */

/* for the tree view */

.ftvtree {
    font-family: sans-serif;
    margin: 0px;
}

/* these are for tree view when used as main index */

.directory {
    font-size: 9pt;
    font-weight: 700;
    margin: 5px;
}

div.directory {
    margin-left: 0px;
}

table.directory {
    margin: 0px;
    margin-left: 15px;
}

.directory h3 {
    margin: 0px;
    margin-top: 1em;
    font-size: 11pt;
}

/*
  The following two styles can be used to replace the root node title
  with an image of your choice.  Simply uncomment the next two styles,
  specify the name of your image and be sure to set 'height' to the
  proper pixel height of your image.
  */

/*
  .directory h3.swap {
  height: 61px;
  background-repeat: no-repeat;
  background-image: url("yourimage.gif");
  }
  .directory h3.swap span {
  display: none;
  }
  */

.directory > h3 {
    margin-top: 0px;
}

.directory p {
    margin: 0px;
    white-space: nowrap;
}

.directory div {
    display: none;
    margin: 0px;
}

.directory img {
    vertical-align: -30%;
}

table.directory {
    width: 98%;
}

table.directory td.desc {
    font-weight: normal;
    border-bottom: 1px dotted #ccc;
}

table.directory td.entry {
    border-bottom: 1px dotted #ccc;
    padding-top: 3px;
    padding-bottom: 3px;
    padding-right: 5px;
    vertical-align: middle;
}

table.directory td.entry a.el {
    margin-left: -15px;
}

table.directory .icona {
    display: none;
}


/* these are for tree view when not used as main index */

.directory-alt {
    font-size: 100%;
    font-weight: 700;
}

.directory-alt h3 {
    margin: 0px;
    margin-top: 1em;
    font-size: 11pt;
}

.directory-alt > h3 {
    margin-top: 0px;
}

.directory-alt p {
    margin: 0px;
    white-space: nowrap;
}

.directory-alt div {
    display: none;
    margin: 0px;
}

.directory-alt img {
    vertical-align: -30%;
}

/* @end */

div.dynheader {
    margin-top: 8px;
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

table.doxtable {
    border-collapse:collapse;
    margin-top: 4px;
    margin-bottom: 4px;
}

table.doxtable td, table.doxtable th {
    border-collapse:collapse;
    border: 1px solid #2D4068;
    padding: 3px 7px 2px;
}

table.doxtable th {
    background-color: #374F7F;
    color: #FFFFFF;
    font-size: 110%;
    padding-bottom: 4px;
    padding-top: 5px;
}

table.fieldtable {
    width: 100%;
    margin-bottom: 10px;
}

.fieldtable td, .fieldtable th {
    padding: 3px 7px 2px;
}

.fieldtable td.fieldtype, .fieldtable td.fieldname {
    white-space: nowrap;
    vertical-align: top;
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    padding-left: 2em;
}

.fieldtable td.fielddoc {
    width: 100%;
    vertical-align: top;
}

.fieldtable td.fielddoc p {
    margin-top: 0;
    margin-bottom: 1em;
}

.fieldtable tr:last-child td {
    border-bottom: none;
}

.fieldtable th {
    color: #253555;
    padding-bottom: 1em;
    padding-top: 5px;
    padding-left: 0;
    text-align:left;
}


.tabsearch {
    top: 0px;
    left: 10px;
    height: 36px;
    background-image: url('tab_b.png');
    z-index: 101;
    overflow: hidden;
    font-size: 13px;
}

.navpath {
    font-family: 'Noto Sans', Helvetica, Arial, Sans, sans-serif;
    font-size: 10pt;
}

.navpath ul
{
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#f8f8f8', endColorstr='#bbbbbb');
    background-image: -webkit-gradient(linear, left top, left bottom, from(#f8f8f8), to(#bbb),color-stop(0.5, #ddd));
    background-image: -moz-linear-gradient(center top, #f8f8f8 0%, #ddd 50%, #bbb);
    background-repeat:repeat-x;
    height:30px;
    line-height:30px;
    color: #93a1b8;
    border: solid 1px #93a1b8;
    overflow:hidden;
    margin:0px;
    padding:0px;
}

.navpath li
{
    list-style-type:none;
    float:left;
    padding-left:10px;
    padding-right:15px;
    background-image:url('bc_s.png');
    background-repeat:no-repeat;
    background-position:right;
    color:#364D7C;
}

.navpath li.navelem a
{
    height:32px;
    display:block;
    text-decoration: none;
    outline: none;
}

.navpath li.navelem a:hover
{
    color:#6884BD;
}

.navpath li.footer
{
    list-style-type:none;
    float:right;
    padding-left:10px;
    padding-right:15px;
    background-image:none;
    background-repeat:no-repeat;
    background-position:right;
    color:#364D7C;
}


div.summary
{
    float: right;
    font-size: 8pt;
    padding-right: 5px;
    width: 50%;
    text-align: right;
}       

div.summary a
{
    white-space: nowrap;
}

div.ingroups
{
    margin-left: 5px;
    font-size: 8pt;
    padding-left: 5px;
    width: 50%;
    text-align: left;
}

div.ingroups a
{
    white-space: nowrap;
}

div.header
{
    background-image:url('nav_h.png');
    background-repeat:repeat-x;
    background-color: #F9FAFC;
    margin:  0px;
    border-bottom: 1px solid #C4CFE5;
    padding-left: 5px;
}

div.headertitle
{
    padding: 5px 5px 5px 7px;
}

/*
 * Principle of the color scheme for the sections of a method description:
 * - Normal things have a gray bar: parameters, return values, exceptions
 * - Notes are yellow
 * - Warnings are red
 * - @par does not get any distinguishing features
 */

#doc-content dl.section
{
    border-left: none;
    padding: 0 0 0 10px;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

#doc-content dd {
    margin-bottom: 0.5em;
    margin-left: 3em;
    padding-right: 0.5em;
}

#doc-content dl.user,
#doc-content dl.user dd
{
    border-left: none;
    padding: 0px;
    margin-left: 0px;
}

#doc-content dl.return 
{
    border-left: 4px solid;
    border-color: #ccc;
}

#doc-content dl.params 
{
    padding: 0 0 0 10px;
    border-left: 4px solid;
    border-color: #ccc;
    border-spacing: 0px;
}

#doc-content dl.params table {
    border-spacing: 0px;
}

#doc-content dl.exception 
{
    padding: 0 0 0 10px;
    border-left: 4px solid;
    border-color: #ccc;
    border-spacing: 0px;
}

#doc-content dl.see 
{
    border-left: 4px solid;
    border-color: #000;
}

#doc-content dl.note
{
    border-left:4px solid;
    border-color: #D0C000;
}

#doc-content dl.warning, 
#doc-content dl.attention
{
    border-left:4px solid;
    border-color: #cc0000;
}

#doc-content dl.pre,
#doc-content dl.post,
#doc-content dl.invariant
{
    border-left:4px solid;
    border-color: #00D000;
}

#doc-content dl.deprecated
{
    border-left: 4px solid;
    border-color: #D0C000;
}

#doc-content dl.todo
{
    border-left:4px solid;
    border-color: #00C0E0;
}

#doc-content dl.test
{
    border-left:4px solid;
    border-color: #3030E0;
}

#doc-content dl.bug
{
    border-left:4px solid;
    border-color: #C08050;
}

#doc-content dl.docnote
{
    padding: 0 0 0 10px;
    border-left: 4px solid;
    border-color: orange;
}

#projectlogo
{
    text-align: center;
    vertical-align: bottom;
    border-collapse: separate;
}

#projectlogo img
{ 
    border: 0px none;
}

#projectname
{
    font: 280% 'Noto Sans', Helvetica, Arial, Sans, sans-serif;
    margin: 0px;
    padding: 0px;
}

#projectbrief
{
    font-family: 'Noto Sans', Helvetica, Arial, Sans, sans-serif;
    font-style: italic;
    font-size: 10px;
    padding: 0px 0px 5px 0px;
    margin: 0px;
}

#projectnumber
{
    font: 16pt 'Noto Sans', Helvetica, Arial, Sans, sans-serif;
    position: absolute;
    right: 10px;
    top: 20px;
}

#titlearea
{
    padding: 0px;
    margin: 0px;
    width: 100%;
}

#titlearea table {
    padding: 0px;
    margin: 0px;
}

.dotgraph
{
    text-align: center;
}

.mscgraph
{
    text-align: center;
}

.image
{
    text-align: center;
}

.caption
{
    font-style: italic;
}

div.zoom
{
    border: 1px solid #90A5CE;
}

dl.citelist {
    margin-bottom:50px;
}

dl.citelist dt {
    color:#334975;
    float:left;
    font-weight:700;
    margin-right:10px;
    padding:5px;
}

dl.citelist dd {
    margin:2px 0px;
    padding:5px 0px;
}

div.toc {
    padding: 10px 10px 5px 10px;
    background-color: #F4F6FA;
    border: 1px solid #D8DFEE;
    border-radius: 7px 7px 7px 7px;
    float: right;
    height: auto;
    margin: 0 10px 10px 10px;
    width: 220px;
    font-size: 11px;
    font-style: normal;
}

div.toc li {
    background: url("bdwn.png") no-repeat scroll 0 5px transparent;
    margin-top: 0px;
    padding-left: 10px;
    padding-top: 0px;
    line-height: 120%;
}

div.toc h3 {
    font-size: 12px;
    font-weight: 700;
    font-style: normal;
    color: #4665A2;
    border-bottom: 0 none;
    margin: 0px;
    text-align: center;
}

div.toc ul {
    list-style: none outside none;
    border: medium none;
    padding: 0px;
}       

div.toc ul li {
    margin-bottom: 0.5em;
}

div.toc li.level1 {
    margin-left: 0px;
}

div.toc li.level2 {
    margin-left: 10px;
}

div.toc li.level3 {
    margin-left: 20px;
    display: none;
}

div.toc li.level4 {
    margin-left: 30px;
    display: none;
}

@media print
{
    #top { display: none; }
    #side-nav { display: none; }
    #nav-path { display: none; }
    body { overflow:visible; }
    h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
    .summary { display: none; }
    .memitem { page-break-inside: avoid; }
    #doc-content
    {
        margin-left:0 !important;
        height:auto !important;
        width:auto !important;
        overflow:inherit;
        display:inline;
    }
    pre.fragment
    {
        overflow: visible;
        text-wrap: unrestricted;
        white-space: -moz-pre-wrap; /* Moz */
        white-space: -pre-wrap; /* Opera 4-6 */
        white-space: -o-pre-wrap; /* Opera 7 */
        white-space: pre-wrap; /* CSS3  */
        word-wrap: break-word; /* IE 5.5+ */
    }
}

#doc-content ul li ul {

}

#doc-content li:first-child {
}

#doc-content .memdoc li {
    margin-top: 0px;
    margin-bottom: 0px;
}

#doc-content .memdoc > ul li {
    margin-top: 0px;
    margin-bottom: 0.75em;
}

#doc-content #main-page-sections li {
    padding-bottom: 0px;
    padding-top: 0px;
}

#doc-content #main-page-sections li:first-child {
    padding-bottom: 0px;
}

#doc-content .section.see dd a.el {
    line-height: 90%;
}

#main-page-sections H2,
#main-page-sections H2 a
{
  font-size: 16px;
  text-shadow: none;
  border: none;
  background-color: white;
  background: none;
  padding-top: 0.2em;
  padding-bottom: 0px;
  -moz-box-shadow: none;
  -webkit-box-shadow: none;
}

#main-page-sections ul a.el { 
  font-size: 10pt;
  font-weight: normal;
  line-height: 120%;
}

#normal-formatting h2 {
  -moz-box-shadow: none;
  -webkit-box-shadow: none;
  text-shadow: none;
  background: none;
  border: none;
  padding-bottom: 0px;
}

#projectname {
    background-image: url(official-sbml-supported-32.jpg);
    background-position: left center;
    background-repeat: no-repeat;
    background-size: 73px 32px;
    padding-left: 95px;
}

@media only screen and (-webkit-min-device-pixel-ratio: 2),
only screen and (min-device-pixel-ratio: 2) {
    #projectname {
        background-image: url(official-sbml-supported-70.png);
        background-position: left center;
        background-repeat: no-repeat;
        background-size: 80px 35px;
        padding-left: 95px;
    }
}

#projectnumber:before {
    content: "Developer's guide for version ";
}

li.footer {
    margin-top: 0;
}

li.footer a {
    font-weight: 700;
}

.signatureTable { 
  font-size: 14px;
  border: 0px none;
  border-collapse: collapse;
}

td.signatureIntro { 
  font-size: 14px;  
  margin-left: 0px;
  margin-right: 20px;
  padding-top: 0.5ex;
  padding-left: 0px;
  border: 0px none;
  border-collapse: collapse;
}

td.signatureBlock { 
  font-family: 'Noto Sans', Verdana, Helvetica, Arial, Sans, sans-serif;
  font-size: 14px;
  padding-left: 20px;
  padding-right: 20px;
  padding-top: 4px;
  padding-bottom: 4px;
  border: 1px dotted #aaaaaa;
  border-collapse: collapse;
}

signatureTitle { 
}

pre.signature { 
  font-size: 13px;
  font-weight:  700;
  margin-left: 15px;
  white-space: -moz-pre-wrap;
  white-space: -o-pre-wrap;
  word-wrap: break-word;
  white-space: pre-wrap;
}

span.signatureArrow { 
  padding: 0px;
  margin: 0px;
  display: inline-block;
  background-image: url(right-arrow.png);
  background-position: left center;
  background-repeat: no-repeat;
  vertical-align: bottom;
  width: 25px;
}

@media only screen and (-webkit-min-device-pixel-ratio: 2),
only screen and (min-device-pixel-ratio: 2) {
  span.signatureArrow { 
    background-image: url(right-arrow-2x.png);
    background-position: left center;
    background-repeat: no-repeat;
  }
}

div.contents hr { 
  margin: 1em 0 1em 0px;
}

table.params td {
    padding-left: 1em;
}

table.params td.paramname {
    padding-left: 0px;
}

td.paramname {
    padding-right: 1em;
}

.textblock ul li p.startli,
#doc-content ul li p.startli {
    padding: 0px;
    margin: 0px;
    margin-bottom: 0.5em;
}

#doc-content ul li p.endli {
    margin-top: 0px;
}

body div.contents ol li {
  margin-bottom: 0.5em;
}

#doc-content :not(table.mlabels) td[align="right"] {
  background-color: #fafafa;
}

.toptitle {
  position: absolute;
  right: 10px;
  top: 12px;
  font-weight: 700;
  font-size: 12px;
  width: 200px;
  line-height: 110%;
  text-align: right;
}

/* Hide the "Related Pages" tab because for us, it's an empty page. */

ul.tablist li {
    margin-top: 0 !important;
    margin-bottom: 0 !important;
    padding-top: 0;
    padding-bottom: 0;
}

#navrow1 ul.tablist li:nth-child(2) {
    display: none;
}

/* The intro page texts end with "More ..." right before the list of
   classes, but the "More ..." link sends you to a 2nd copy of exactly
   the same text.  I don't get it.  It's confusing, so let's hide it. */

a[href="#details"] {
    display: none;
}

img.big-icon {
    vertical-align: middle;
    margin: auto 5px;
    border: none;
}

/* The next one only appears in our Python documentation. The text that
uses it is introduced by swigdoc.py. */

.variant-sig-heading {
    font-style: italic;
    padding-bottom: 2px;
    border-bottom: 1px dotted #888;
}

/* Search results using doxyindexer. */

#searchresults .searchpages {
    font-size: 14px;
}

#searchresults .searchpages .pages:last-child a:before {
    content: "next"
}

#searchresults .searchpages .pages:first-child a:after {
    content: "prev"
}

.searchresult {
    line-height: 150%;
}

/* Body of search results */
#searchresults table tr {
    background-color: white;
}

/* Context text, *not* the function name or link. */
#searchresults table tr:not(.searchresult) td {
    color: #888;
}

#searchresults .searchresult td {
    color: #444;
}

/* The number of the result, shown in the leftmost column. */
#searchresults .searchresult td[align="right"] {
    padding-right: 6pt;
    color: #aaa;
}

/* The function name in the result. */
#searchresults .searchresult a {
    font-family: 'Anonymous Pro', 'Courier New', Courier, monospace, fixed;
    font-weight: 700;
    font-size: 10pt;
    white-space: nowrap;
    padding-left: 4pt;
}
