/* ensure that the default font is used, even if another stylesheet was included before (e.g., doxygen docus) */
body, table, div, p, dl {
   font: 400 100%/normal serif;
}

/* overwrite upscaling in pre-sections in doxygen code */
pre.fragment { font-size: 100% }

/* define style of links in gams header */
.gamsheader a         {color: #009000; text-decoration: underline; font-weight: 600;}
.gamsheader a:visited {color: #006000}
.gamsheader a:active  {color: #00ff00}
.gamsheader a:hover   {color: #009000}
  
/* define table of contents  */
div.toc {
        padding: 14px 25px;
        background-color: #F4F6FA;
        border: 1px solid #C0C0C0;
        border-radius: 7px 7px 7px 7px;
        float: right;
        height: auto;
        margin: 0 20px 10px 10px;
        width: 200px;
}

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

div.toc h3 {
        font-weight: bold;
        font-size: 80%;
        border-bottom: 0 none;
        margin: 0;
}

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

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

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

div.toc li.level3 {
        margin-left: 30px;
}

div.toc li.level4 {
        margin-left: 45px;
}