body {
  background: white;
  color: #443;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 12px;
  line-height: 140%;
  margin: 0px 1px 10px 1px;
}

/* Hackacious correction for Javadoc, which doesn't have .contents.
   This uses the fact that Javadoc (but not doxygen) adds a bgcolor attrib. */

body[bgcolor="white"] {
  margin-right: 10px;
  margin-left: 10px;
}

.contents {
  margin-right: 20px;
  margin-left: 20px;
  margin-top: 10px;
}

pre { 
  font-size: 12px;
}

tt {
  width: 92%;
  padding-left: 5px;
  margin: 7px;
  padding-top: 10px;
  padding-bottom: 10px;
}

code {
  font-family: "Courier New", Courier, monospace, fixed;
  font-size: 13px;
  font-weight: bold;
  color: black;
}

.code {
  font-family: "Courier New", Courier, monospace, fixed;
  font-size: 13px;
  font-weight: bold;
  color: black;
}

.footer {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 12px;
  margin: 20px;
}

.footer img {
  margin-left: 20px;
}

li { 
  font-size: 12px;
}

p {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 12px;
  line-height: 140%;
}

td {
  font-size: 12px;
}

table {
  font-size: 12px;
  border: none;
}

/* The next two (TableRowColor) are for javadoc */

tr.TableRowColor td {
  font-style: italic;
  color: #666;
  border: none;
  border-bottom: 1px solid #bbb;
  vertical-align: top;
  padding-top: 4px;
} 

tr.TableRowColor td code {
  font-style: normal;
  color: #444;
  padding-left: 4px;
  line-height: 18px;
} 

body > table {
  margin-top: 2em;
}

table[summary=""] {
  margin-top: 0;
}

td.NavBarCell1,
td.NavBarCell2,
td.NavBarCell3 {
  background-color: #eee;
}

td.NavBarCell3 {  
  padding: 4px;
}

td.NavBarCell1Rev {
  margin-bottom: 0;
  border: 1px solid gray;
  font-size: 18px;
  line-height: 120%;
}

font.NavBarFont1Rev { 
  background-color: white;
}

td[align="right"] {
  background-color: #eee;  
  vertical-align: bottom;
  padding: 5px;
}

tr.TableHeadingColor th {
  color: black;
  letter-spacing: 1px;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 18px;
  padding: 5px 2px;
  background-color: #ddd;
  line-height: 150%;
  border-bottom: 1px solid #aaa;
  border-top: 3px solid #888;
  border-left: none;
  border-right: none;
}

/*
  -moz-border-radius-topleft: 8px;
  -moz-border-radius-topright: 8px;
  -moz-border-radius-bottomleft: 8px;
  -moz-border-radius-bottomright: 8px;
  -webkit-border-bottom-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-top-right-radius: 8px;
*/

/*
tr.TableHeadingColor th {
  color: #666;
  text-shadow: 0px 1px 1px #fff, 0px -1px 0 #222; 
  letter-spacing: 1px;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 18px;
  margin: 1em auto 2em;
  padding: 5px 2px;
  background-color: #ddd;
  border: 1px solid #ccc;
  background: -moz-linear-gradient(top, #eee, #ccc); 
  background: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#bbb)); 
  background-image: linear-gradient(top, #eee, #ccc); 
  background-color: #eee;
  line-height: 150%;

}
*/

tr.TableHeadingColor th font b {
  font-size: 18px;
}

tr.TableSubHeadingColor th {
  border: none;
  border-top: 1px solid #bbb;
  background-color: #d0d0d0;
  padding: 5px;
}

td.footer {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 12px;
}

.footercomment {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: x-small;
  font-style: italic;
  color: #555555;
  margin: 20px;
}

h1 {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  text-align: center;
  font-size: 20px;
  padding-top: 2em;
}


.contents h2 {
  color: #443;
  font-size: 18px;
  font-weight: bold;
  line-height: 100%;
  letter-spacing: 1px;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  margin-top: 1em;
  margin-left: -0.5em;
  margin-right: -0.5em;
  padding-left: 0.5em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

h2 code {
  font-size: 22px;
  color: #443;
}

h2 a code {
  font-size: 22px;
  color: #443;
}

h3 {
  color: #443;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-style: italic;
  font-size: 16px;
  padding-top: 0.5em;
  padding-bottom: 3px;
}

h3 code {
  font-size: 14px;
}

h3 a code {
  color: #443;
}

.version {
  border-bottom: none;
  text-align: center;
  border-top: 1px solid #dcc;
  border-bottom: 1px solid #dcc;
  padding-bottom: 8px;
}

h4 {
  color: #443;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-style: italic;
  font-size: 14px;
}

h4 code {
  font-size: 12px;
}

div.qindex {
  width: 100%;
  background-color: #eee;
  border: 4px solid #eee;
  text-align: left;
  margin-bottom: 2px;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-size: 12px;
}

a.anchor {
  color: #443;
  text-decoration: none;
}

a {
  color: #1133ca;
  text-decoration: none;
}

/* This shows up in javadoc output. */
a code {
  color: #1133ca;
  text-decoration: none;
}

a:hover {
  color: black;
  background-color: #dfdfdf;
  text-decoration: none;
  border-bottom: 1px dotted #444;
}

a:visited {
  color: #5580cf;
  text-decoration: none;
}

a.qindex {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  text-decoration: none;
}

a.qindex:hover {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  text-decoration: none;
  background-color: #ddddff
}

a.qindexHL {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  text-decoration: none;
  background-color: #6666cc;
  color: #ffffff
}

a.qindexHL:hover {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  text-decoration: none;
  background-color: #6666cc;
  color: #ffffff
}

a.qindexHL:visited {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  text-decoration: none;
  background-color: #6666cc;
  color: #ffffff
}

a.el {
  font-weight: bold;
  text-decoration: none;
}

a.elRef {
  font-weight: bol 
}

a.code {
  text-decoration: none;
  font-weight: bold;
}

a.codeRef {
  font-weight: normal;
  color: black;
}

dl {
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  margin: 6px 8px 6px 0px;
}

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

pre.fragment {
  font-family: "Courier New", Courier, monospace, fixed;
  font-weight: bold;
  color: #222;
  margin-top: 8px;
  margin-bottom: 6px;
}

div.fragment {
  font-family: "Courier New", Courier, monospace, fixed;
  font-weight: bold;
  border: 1px solid orange;
  background-color: #f0f0f0;
  color: #222;
  padding: 5px;
  margin: 15px;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-top-right-radius: 8px;
  -moz-border-radius-topleft: 8px;
  -moz-border-radius-topright: 8px;
  -moz-border-radius-bottomleft: 8px;
  -moz-border-radius-bottomright: 8px;
  -webkit-border-bottom-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
}

div.ah {
  background-color: black;
  font-weight: bold;
  color: #ffffff;
  margin-bottom: 3px;
  margin-top: 3px
}

/* Here's what a member function block looks like in 1.5.4:

<hr><h2>Member Function Documentation</h2> 
<a class="anchor" name="0f38e685208fe8c5ef69e01222af2c2f"></a><!-- doxytag: member="libsbml::Parameter::__init__" ref="0f38e685208fe8c5ef69e01222af2c2f" args="" --> 
<div class="memitem"> 
<div class="memproto"> 
      <table class="memname"> 
        <tr> 
          <td class="memname">def libsbml.Parameter.__init__           </td> 
          <td>(</td> 
          <td class="paramtype">&nbsp;</td> 
          <td class="paramname"> <em>self</em>, </td> 
        </tr> 
        <tr> 
          <td class="paramkey"></td> 
          <td></td> 
          <td class="paramtype">&nbsp;</td> 
          <td class="paramname"> <em>args</em></td><td>&nbsp;</td> 
        </tr> 
        <tr> 
          <td></td> 
          <td>)</td> 
          <td></td><td></td><td width="100%"></td> 
        </tr> 
      </table> 
</div> 
<div class="memdoc"> 
 
*/

div.contents hr { 
  margin: 2em 0 2em 0;
}

.memitem {
  margin-top: 1em;
  width: 100%;
  margin-bottom: 3em;
}

.memdoc { 
  padding: 5pt;
  background-color: #fff;
  border: 1px solid #b5b5b5;
  border-bottom-left-radius: 8px;
  border-bottom-right-radius: 8px;
  -webkit-border-bottom-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -moz-border-radius-bottomleft: 8px;
  -moz-border-radius-bottomright: 8px;
  box-shadow: 4px 4px 4px #bbb;
  -moz-box-shadow: 4px 4px 4px #bbb;
  -webkit-box-shadow: 4px 4px 4px #bbb;
}

.memdoc dl dd table td {
  vertical-align: top;
  font-size: 12px;
}

.memdoc dl dd table td p {
  margin: auto auto 5px auto;
}

.memdoc dl.warning {
  color: #880000;
}

.warning {
  color: #880000;
}

.deprecated {
  color: #880000;
}

.memproto {  
  padding: 5pt;
  border: 1px solid #b5b5b5;
/*
  border-top: 2px solid #666666;
  border-left: 1px solid #cccccc;
  border-right: 1px solid #cccccc;
  border-bottom: 1px solid #cccccc;
  background-color: #e5e9e7;
*/
  background-color: #dfdfdf;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-top-right-radius: 8px;
  -moz-border-radius-topleft: 8px;
  -moz-border-radius-topright: 8px;
  -moz-box-shadow: 5px 5px 5px #bbb;
  -webkit-box-shadow: 5px 5px 5px #bbb;
  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;
}

table.memname { 
  font-weight: bold;
  font-size: 10pt;
  text-align: left;
  color: #222;
}

table.memname tr {
  white-space: nowrap;
}

td.md, td.memname, td.paramtype {
  font-family: "Courier New", Courier, monospace, fixed;
  font-weight: bold;
  font-size: 10pt;
  white-space: nowrap;
}

td.mdname1 {
  font-weight: bold;
  font-size: 10pt;
  color: #602020;
}

td.mdname, td.paramname {
  font-weight: bold;
  font-size: 10pt;
  color: #602020;
  white-space: nowrap;
}

div.groupHeader {
  margin-left: 16px;
  margin-top: 12px;
  margin-bottom: 6px;
  font-weight: bold
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif; 
  font-size: 10pt;
}

div.groupText {
  margin-left: 16px;
  font-style: italic;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif; 
  font-size: 10pt;
}

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

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

tr.memlist {
  background-color: #f0f0f0; 
  font-size: 12px;
}

p.formulaDsp { text-align: center; }
img.formulaDsp { }
img.formulaInl { vertical-align: middle; }

span.comment {
  color: #777 
}

/*
SPAN.preprocessor  { color: #806020 }
SPAN.stringliteral { color: #002080 }
SPAN.charliteral   { color: #008080 }
*/

.mdRow {
  padding: 8px 20px;
}

.mdescLeft {
  font-size: smaller;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  background-color: #eee;
  padding-left: 8px;
  border-top: 1px none #E0E0E0;
  border-right: 1px none #E0E0E0;
  border-bottom: 1px none #E0E0E0;
  border-left: 1px none #E0E0E0;
  margin: 4px;
}

.mdescRight {
  font-size: 12px;
  font-family: Lucida Sans, Tahoma, Helvetica, Arial, Sans, sans-serif;
  font-style: italic;
  color: #666;
  background-color: #FAFAFA;
  padding-left: 4px;
  border-top: 1px none #E0E0E0;
  border-right: 1px none #E0E0E0;
  border-bottom: 1px none #E0E0E0;
  border-left: 1px none #E0E0E0;
  margin: 4px;
  padding-bottom: 4px;
  padding-right: 8px;
  padding-top: 0px;
}

.mdescRight code {
  font-size: 10pt;
  font-weight: bold;
  color: #555;
}

.memItemLeft {
  white-space: nowrap;
  border-top-width: 1px;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  border-top-style: solid;
  border-top-color: #E0E0E0;
  border-right-color: #E0E0E0;
  border-bottom-color: #E0E0E0;
  border-left-color: #E0E0E0;
  border-right-style: none;
  border-bottom-style: none;
  border-left-style: none;
  font-family: "Courier New", Courier, monospace, fixed;
  font-weight: bold;
  font-size: 12px;
  color: black;
  background-color: #eee;
}

.memItemRight {
  padding: 4px 0px 4px 4px;
  margin: 4px;
  border-top-width: 1px;
  border-right-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 1px;
  border-top-style: solid;
  border-top-color: #E0E0E0;
  border-right-color: #E0E0E0;
  border-bottom-color: #E0E0E0;
  border-left-color: #E0E0E0;
  border-right-style: none;
  border-bottom-style: none;
  border-left-style: none;
  background-color: #FAFAFA;
  font-family: "Courier New", Courier, monospace, fixed;
  font-size: 12px;
}

table td.memItemRight {
  font-weight: bold;
  color: black;
}

.search {
  color: #0000ee;
  font-weight: bold;
}

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

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

/* 2010-12-17 Stupendous hack: "tiny" is used in the display of search results
   for the list of "Matches" shown under the link.  The matches are confusing,
   so we set the font color to white to make them invisible.
 */

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

td.simpletableleft { 
  background-color: #eeeeff; 
  vertical-align: middle;
  font-weight: bold; 
  font-size: 14px;
  padding-right  : 10px; 
  padding-top    : 3px; 
  padding-left   : 10px; 
  padding-bottom : 2px; 
  margin-left    : 0px; 
  margin-right   : 0px; 
  margin-top     : 2px; 
  margin-bottom  : 2px  
}

td.simpletableright { 
  background-color: #eeeeff; 
  vertical-align: middle;
  font-style: italic; 
  font-size: 14px;
  padding-right  : 10px; 
  padding-top    : 3px; 
  padding-left   : 10px; 
  padding-bottom : 2px; 
  margin-left    : 0px; 
  margin-right   : 0px; 
  margin-top     : 2px; 
  margin-bottom  : 2px  
}

.NavBarFont1 { 
  font-size: 16px;
}

.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: Lucida Sans, Tahoma, 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: 14px;
  font-weight:  bold;
  margin-left: 5ex;
}

.signatureArrow { 
  padding: 0;
  margin: 0;
  border: 0;
  vertical-align: baseline;
}

docnote { 
  margin-left: 1cm;
  margin-top: 0;
}

dd table tr {
  font-size: 14px;
  height: 20px;
}

.directory { font-size: 9px; font-weight: bold; margin: 10px;}
.directory a.el { font-size: 11px; }
.directory h3 { margin: 0px; margin-top: 0.8em; font-size: 12px; border-bottom: none; }
.directory p { margin: 0px; white-space: nowrap; ; font-size: 12px; }
.directory div { display: none; margin: 0px; }
.directory img { vertical-align: middle; }

.normal-font {
  font-size: 12px;
}

.small-font {
  font-size: 11px;
}

td.s-fatal {
  background-color: #ff2233 !important;
  font-weight: bold;
  text-align: center;
}

td.s-error {
  background-color: #ff99aa !important;
  font-weight: bold;
  text-align: center;
}

td.s-warning {
  background-color: gold !important;
  font-weight: bold;
  text-align: center;
}

td.s-info {
  background-color: #4c4 !important;
  font-weight: bold;
  text-align: center;
}

td.s-na {
  font-weight: bold;
  text-align: center;
}

caption {
  font-weight: normal;
  font-style: italic;
  text-align: center;
}

.top-caption {
  padding-top: 1em;
  padding-bottom: 0.5em;
  caption-side: top;
}

.bottom-caption {
  padding-top: 0.5em;
  padding-bottom: 1em;
  caption-side: bottom;
}

.text-table {
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
  border-collapse: collapse;
  margin: 0.5em auto 1em auto;
  -webkit-margin: 1em auto 1em auto;
}

.text-table {
  font-size: 12px;
}

.text-table th {
  font-size: 12px;
  background-color: #dfdfdf;
  padding: 3px 0.5em 1px 0.5em;
  border-bottom: 1px solid #bbb;
  vertical-align: bottom;
}

.text-table td { 
  padding: 2px 0.5em;
  line-height: 140%;
}

.width80 {
  margin-left: 3em;
  margin-right: 3em;
}

.bigger-row-spacing td {
  padding-top: 0.35em !important;  
  padding-bottom: 0.35em !important;  
}

.ftvtree { 
  background-color: #efefef;
  width: 209px;
}

#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: 0;
  -moz-box-shadow: none;
  -webkit-box-shadow: none;
}

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

.placeholder { 
  font-style: italic;
  background-color: #ffeaba;
  border-left: 1px solid #ffeaba;
  border-right: 3px solid #ffeaba;
}

.screenshot {
  -moz-box-shadow: 5px 5px 5px #d0d0d0;
  -webkit-box-shadow: 5px 5px 5px #d0d0d0;
}

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

/* The next two items remove <hr> lines (because Javadoc loves to 
   insert them all over the place) and adds a line after (only) top-level
   <dl> elements.  The result is that documentation for functions in
   Javadoc get lines between them, but the hardwired-by-Javadoc <hr>
   elements are made invisible. */

body > hr { 
  display: none;
 }

body > dl {
  border-bottom: 1px solid #bbb;
}

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


/* New */

.navpath {
  margin: 5px auto;
}

.center {
  text-align: center;
}

.center img { 
  margin-bottom: 10px;
}

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

.papers {
  border: 1px solid #cbb;
  padding: 4px;
  margin: 1.5em 4em 1.5em 4em;
  text-align: left;
  background-color: #edd;
  -webkit-border-top-left-radius: 8px;
  -webkit-border-top-right-radius: 8px;
  -webkit-border-bottom-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  moz-border-radius-topleft: 8px;
  moz-border-radius-topright: 8px;
  moz-border-radius-bottomleft: 8px;
  moz-border-radius-bottomright: 8px;
}