/*
text.f1 {
    font-size: 20pt;
    font-family:Georgia, Times New Roman, Times, serif;

}
*/

.vstack {
}

.vstack_item .code_content .highlight {
    overflow: scroll;
    max-width: 450px;
}

.vstack_item .shell_content {
    overflow: scroll;
    max-width: 450px;
}

.highlighttable {
    overflow: scroll;
}


td.vstack_item {
    vertical-align: top;
}

td.vstack_item p {
    min-width: 120px;
    padding-right: 0.25cm;
}

td.vstack_item .code {
    min-width: 230px;
    padding-right: 0.5cm;
}

td.vstack_item svg {
    padding-right: 0.5cm;
}

.vstack_item {
    position: relative;
    /*float: left;*/
    margin-right: 1cm;
}

html {
    font-size: 100%;
    -ms-text-size-adjust: 100%;
    -webkit-text-size-adjust: 100%;
    background-color:white;
    height:100%;
    padding: 0;
}

body {
    counter-reset: sessionid;
    counter-reset: pageid;
    counter-reset: section;

    margin:0;
    padding:0;
    height:100%;
    font-family: sans-serif;
    -ms-text-size-adjust: 100%;
    -webkit-text-size-adjust:100%;
    /*
    font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue",
	Helvetica, Arial, Verdana, sans-serif;
    */
    font-size: 16px;
    line-height:1.5;
    color: #333;
    font-weight:300;
}

article {
    display:block;
    height:100%;
    margin-left: 2em;
}

nav {
    width: 0;
    overflow-x: hidden;
    position: fixed;
    overflow: scroll;
    left: 0;
    top: 0;
    bottom: 0;
    background: #F6F6F6;
    padding-left: 0;
    padding-right: 0;
    border-right: 1px solid #56aa1c;
    font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue",
	Helvetica, Arial, Verdana, sans-serif;
}

nav ul {
    text-decoration:none;
/*    text-transform:uppercase; */
    letter-spacing:1px;
    font-size:13px;
    display:block;
    margin: 0;
    margin-left: 12px;
    padding: 0;
    padding-top:10px;
    padding-bottom:100px;
    padding-left: 10px;
    padding-right: 20px;
    list-style:none;
}

nav ul ul {
    text-decoration:none;
    text-transform:lowercase;
    letter-spacing:1px;
    font-size:11px;
    display:block;
    margin: 0;
    margin-left: 12px;
    padding: 0;
    padding-top:10px;
    padding-bottom:10px;
    padding-left: 10px;
    padding-right: 20px;
    list-style:none;
}

nav li {
    margin: 0;
    padding: 0;
}

nav li li {
    margin: 0;
    padding: 0;
}

nav li:not(:last-child):after {
    content: "";
    display: block;
    height: 1px;
    background: #666666;
    margin-top: 6px;
    margin-bottom: 6px;
}

nav li li:not(:last-child):after {
    content: "";
    display: block;
    height: 1px;
    background: #56aa1c;
    margin-top: 6px;
    margin-bottom: 6px;
}

nav li a {
    color: black;
    text-decoration:none;
/*    text-transform:uppercase; */
    letter-spacing:1px;
    display:block;
}

nav li li a {
    color: black;
    text-decoration:none;
    text-transform:none;
    letter-spacing:1px;
    display:block;
}

.session-li {
    font-size: 8px;
    font-weight: bold;
}

.session-li:hover {
/*    font-size: 18px; */
}

nav li.current a {
    color: #56aa1c;
}

nav li.current li a {
    color: black;
}


nav li.current a:hover {
    color: #56aa1c;
}

nav a:hover {
    color: #666666;
}

main {
    max-width: 997px;
    min-width: 320px;
    margin-left: 0;
    min-height: 100%;
    height: auto !important;
    height: 100%;
}

#logo {
    font-size: 2.9em;
    color: #56aa1c;
    padding: 0;
    padding-left: 12px;
    padding-right: 2px;
    font-weight:bold;
    margin: 0;
    padding-top: 30px;
    top: 0;
}

#sub-logo1 {
    font-weight:bold;
    font-size: 0.7em;
    color: #56aa1c;
    padding: 0 12px 2px;
    padding-top: 3px;
    margin: 0;
    margin-bottom: 3px;
}

#sub-logo2 {
    font-weight:bold;
    font-size: 0.7em;
    color: #8098AA;
    padding: 0 12px 2px;
    padding-top: 3px;
    margin: 0;
    margin-bottom: 30px;
}

#nav-topic {
    font-weight: bold;
    font-size: 16px;
    color: black;
    padding: 0 12px 2px;
    padding-top: 3px;
    margin: 0;
    margin-bottom: 3px;
    font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue",
	Helvetica, Arial, Verdana, sans-serif;
}

.top {
}

.logo {
    margin: 0;
    padding: 0;
    padding-top: 30px;
    padding-bottom: 30px;
    text-align: right
}

.logo__link {
    display: block
}

.logo__img {
    width: 60%;
    vertical-align: top
}

.urow {
    * zoom: 1;
    width: auto;
    max-width: 1280px;
    float: none;
    display: block;
    padding-right: 0px;
    padding-left: 10px;
    clear: both;
}

.ucolumn-1-2 {
    float: left;
    clear: none;
    width: 48.5%;
    margin-left: 0;
    margin-right: 3%
}

.ucolumn-1-2:last-child {
        margin-right: 0
}

.index {
    width=100%;
    height =10px;
    background-color:#56aa1c;
}

.entry-page-title {
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    line-height: 1.3em;
    font-size: 1.2em;
    font-weight: normal;
    font-style: normal;
    position: relative;
    padding-top: 0.5em;
    padding-left: 0;
    font-size: 2.9em;
    color: #56aa1c;
}

.entry-page-subtitle {
    color: #56aa1c;
    font-size: 0.8em;
}

.entry-page-title::before {
    display: block;
    position: absolute;
    top: 0;
    right: 100%;
    left: -9999px;
    z-index: -1;
    height: 100%;
    content: '';
}

.entry-page-title__link {
    text-decoration: none;
    color: #56aa1c;
}

.entry-page-title__link:hover {
    text-decoration: underline;
    color: #56aa1c;
}

.sessioninc {
    counter-increment: sessionid;
}


.pageinc {
    counter-increment: pageid;
}

label.nav {
    margin: 0;
    padding: 0;
    float: left;
    color: black;
}

label {
    background-color: none;
    border-radius: 2px;
    padding: 3px;
    margin-right:-20px;
    color: black;
    float: right;
}

input.nav[type=checkbox] {
    display: none;
}

input[type=checkbox] + label.nav:before{
    display: none;
}

input.nav[type=checkbox] + label {
    color: #ccc;
}

input.nav[type=checkbox]:checked + label {
    font-style: normal;
}

input[type=checkbox] + label {
    color: #ccc;
}

input[type=checkbox]:checked + label {
    color: #f00;
    font-style: normal;
}

input:not(:checked) ~ #toc {
  display: none;
}

input:not(:checked) ~ #tocInput {
  display: none;
}

input[type=checkbox] {
    background-color: #AAAFAB;
    display: none;
}

input[type=checkbox] ~ div.code_content {
    max-height: 0;
    max-width: 0;
    opacity: 1;
    overflow: hidden;
    border: 0px solid gray;
    white-space:nowrap;
   -webkit-transition:all 0s ease;
   -moz-transition:all 0s ease;
   -o-transition:all 0s ease;
   transition:all 0s ease;
}

input[type=checkbox]:checked ~ div.code_content {
    max-height: 100%;
    max-width: 100%;
    border: 0px solid gray;
    opacity: 1;
    border-left-color: black;
}

input[type=checkbox] ~ div.shell {
    max-height: 1cm;
    max-width: 100%;
    opacity: 1;
    overflow: hidden;
    white-space:nowrap;
    border: 1px solid gray;
    overflow: auto;
   -webkit-transition:all 0s ease;
   -moz-transition:all 0s ease;
   -o-transition:all 0s ease;
   transition:all 0s ease;
}

input[type=checkbox]:checked ~ div.shell {
    max-height: 100%;
    max-width: 100%;
    opacity: 1;
    border: 0px solid gray;
    overflow: auto;
    border-left-color: black;
}

input[type=checkbox] ~ div.shell_error {
    max-height: 5cm;
    max-width: 100%;
    opacity: 1;
    overflow: hidden;
    white-space:nowrap;
    border: 1px solid gray;
    overflow: auto;
   -webkit-transition:all 0s ease;
   -moz-transition:all 0s ease;
   -o-transition:all 0s ease;
   transition:all 0s ease;
}
input[type=checkbox]:checked ~ div.shell_error {
    max-height: 100%;
    max-width: 100%;
    opacity: 1;
    border: 0px solid gray;
    overflow: auto;
    border-left-color: black;
}

input[type=checkbox] + label:before{
    transform-origin:25% 50%;
    transform: rotate(180deg);
    border: 8px solid transparent;
    border-width: 6px 8px;
    border-left-color: #093DA0;
    margin-left: -5px;
    width: 0;
    height: 0;
    display: inline-block;
    text-align: center;
    content: '';
    color: #AAAFAB;
    -webkit-transition:all 0s ease;
    -moz-transition:all 0s ease;
    -o-transition:all 0s ease;
    transition:all 0s ease;
    position: absolute;
    margin-top: 28px;
}
input[type=checkbox]:checked + label:before {
    transform: rotate(90deg);
    /*
    margin-top: 6px;
    margin-left: -25px;*/
}

#wrap {
    color: #000000;

    margin:0;
    padding:0;
    width:100%;
    min-width:700px;
}

#content {
    background-color: #FFFFFF;

    float:left;
    margin:0;
    padding:0;

    text-align:left;
    width:100%;
    font-size: 16px;
    background-color:#ffffff;
}

h1 {
    margin-bottom: 0.5em;
    font-size: 2.4em;
    font-weight: 400;
    line-height:1
}

h2 {
    margin-top: 2em;
    margin-bottom: 0.5em;
    font-size: 1.8em;
    font-weight: 400;
    line-height:1.1;
}

h3 {
    font-size: 1.15em;
    margin-top: 2.5em;
    margin-bottom: 0.5em;
    font-weight: 400;
    line-height:1.1;
}

h4 {
    font-size: 1.0em;
    margin-bottom: -0.3em;
    font-weight: bold;
    line-height:1;
}

h1.doc  {
    /*font-family: arial, sans-serif;*/
    margin-top: 1.5em;
    line-height:1.2em;
    color: #000000;
}

h1.page  {
    margin-top: 1.5em;
}

h1.page:before {
    content: counter(sessionid) "." counter(pageid) " ";
}

h1.firstPage:before {
    content: counter(sessionid) " ";
}

h2.doc:before {
    content: counter(section) ". ";
    counter-increment: section;
}

h2.page:before {
    content: counter(sessionid) "." counter(pageid)"."counter(section) " ";
    counter-increment: section;
}

h2.doc  {
    counter-reset: subsection;

    /*font-family: arial, sans-serif;*/
    color: #000;
}

h3.doc:before {
    content: counter(section) "." counter(subsection) " ";
    counter-increment: subsection;
}

h3.page:before {
    content: counter(sessionid) "." counter(pageid) "."
	     counter(section) "." counter(subsection) " ";
    counter-increment: subsection;
}

h3.doc  {
    /*font-family: arial, sans-serif;*/
    color: #000;
}

h4.doc  {
    /*font-family: arial, sans-serif;*/
    color: #000;
}

b  {
    font-size: inherit;
    color:#666666;
    /* color: #093DA0; */
}

kbd  {
    padding: .2em .4em;
    margin: 0;
    font-size: 85%;
    white-space: break-spaces;
    background-color: rgba(175,184,193,0.2);
    border-radius: 6px;
    font-family: ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;
}

/*
div.nav {
    float: left;
    border-bottom:1px solid #56aa1c;
    position: fixed;
    top: 0;
    z-index: 990;
    height: 50px;
    background-color: white;
    opacity: 1;
}
*/

#navtop {
    background: white;
    max-width: 997px;
    min-width: 320px;
    position: fixed;
    opacity: 1;
    z-index: 990;

    float: left;
    width:100%;
    padding:0;
    padding-bottom:10px;
    margin:0;
    margin-left: 1px;

    font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue",
	Helvetica, Arial, Verdana, sans-serif;

    border-bottom: 10px solid rgba(255, 255, 255, .9);
    -webkit-background-clip: padding-box; /* for Safari */
    background-clip: padding-box; /* for IE9+, Firefox 4+, Opera, Chrome */
}

#navbottom {
    background: white;
    opacity: 1;
    z-index: 990;
    left:0;

    font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue",
	Helvetica, Arial, Verdana, sans-serif;
    float: left;
    width:100%;
    padding:0;
    margin:0;
}

#footer {
    z-index: 990;
    float: left;
    max-width: 997px;
    min-width: 320px;
    opacity: 1;
    width:100%;
    margin:0;
    padding-left:2em;
    margin-right:20em;
    background-color: white;
}

#src {
    font-size:0.6em;
    float:left;
}

#copy {
    font-size:0.6em;
    float:right;
    margin-right: 5em;
}

.centered {
    text-align:center;
}

.formula {
    vertical-align:middle;
    margin-bottom:5px;
}

a {
    color: #093DA0;
}

a:hover {
    text-decoration: none;
    color: #093DA0;
}

/* footnote */

li.footnote {
    list-style-type: none;
}

/* TOC */

h4.toc {
    font-size: 85%;
    min-width:350px;
    margin:0;
    margin-top: 10px;
    margin-bottom: 10px;
}

ul.pages {
    counter-reset: toc_page;
    list-style-position: outside;

    color:#333;
    text-decoration:none;
    letter-spacing:1px;
    font-size:12px;
    display:block;
    margin:0;
    margin-top: 0.6em;
    margin-left: 12px;
    padding: 0;
    list-style:none;
}

ul.sections {
    counter-reset: toc_section;
    margin-top: -0.2em;
    margin-left: -2em;
    list-style-position: outside;
}


li.pageid:before {
    /* content: counter(toc_page)". "; */
    counter-increment: toc_page;
}

li.section:before {
    /* content: counter(toc_section) ". "; */
    counter-increment: toc_section;
}

li.section.page:before {
    /* content: counter(toc_page)"."counter(toc_section)". "; */
    counter-increment: toc_section;
}

li.pageid {
    /* text-transform:uppercase; */
    list-style-type: none;
    color:#666666;
    text-decoration:none;
    letter-spacing:1px;
    font-size:12px;
    display:block;
    padding-bottom:5px;
    white-space: wrap;
}

li.pageid a {
    color:#666666;
    text-decoration:none;
    letter-spacing:1px;
}

li.section {
    list-style-type: none;
}

ul.subsections {
    counter-reset: toc_subsection;
    list-style-position: outside;
    margin-left: -1.5em;
}

li.subsection:before {
    /* content: counter(toc_page)"."counter(toc_section)"."counter(toc_subsection)". "; */
    counter-increment: toc_subsection;
}

li.subsection {
    list-style-type: none;
}

li.subsectionitem {
    list-style: none;
}

/* Toc */

#toc {
    /*border:1px solid #2f6fab;*/
    font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue",
	Helvetica, Arial, Verdana, sans-serif;
    z-index: 1990;
    opacity: 1;
    position: fixed;
    float: right;
    top: 3em;
    right: 100px;
    border:1px solid #56aa1c;
    background-color:#f9f9f9;
    padding-top:0px;
    padding-bottom:3px;
    padding-left:5px;
    padding-right:5px;
    margin-top: 0;
    margin-left: 10em;
    margin-bottom: 0cm;
    margin-right: 6em;

    -moz-border-radius:3px;
    -khtml-border-radius:3px;
    border-radius:3px;

    -webkit-transition:all 0s ease;
    -moz-transition:all 0s ease;
    -o-transition:all 0s ease;
    transition:all 0s ease;
    overflow: hidden;
}

.header {
    clear:both;
    display:block;
    margin-top: 0;
    margin-bottom: 0;
}

a.toc {
    text-decoration: none;
    color: #093DA0;
}

/* Table */

table.tabular {
    border-width: 1px;
    border-style: outset;
    border-spacing: 0px;
    padding:0px;
    margin:0px;
}

td.tabular {
    vertical-align:center;
    padding:10px;
}

td.center {
    text-align: center;
}

td.left {
    text-align: left;
}

td.right {
    text-align: right;
}

td.justify {
    text-align: justify;
}

td.header {
/*
    font-weight:bold;
*/
}

table.paramlist {
    border-collapse: separate;
    border-spacing: 0px;
    border: 0px;
    margin: 0px;
    padding: 0px;

    margin:0px;
    border-spacing-top:    0px 10px;
    width: 100%;
}

tr.paramlist {
    padding:0px;
    margin:0px;
    border-spacing:0px;
}

td.paramlist_key {
    border: outset 0pt;
    padding: 0px 10px 0px 0px;

    text-align: left;
    vertical-align: top;
    font-weight:bold;
    width: 10%;
    text-decoration: none;
}

td.paramlist_value {
    border: outset 0pt;
    padding: 0px;

}

p.paramlist {
    margin: inherit;
    padding: inherit;
}

/* Test-Table */
table.default {
    border-left: solid 0px;
    border-top: solid 0px;
    border-right: solid 1px;
    border-bottom: solid 2px black;
    width:90%;
}

td.default {
    border-top: solid 1px;
    border-left: solid 1px;
}

/* Ranks-Table */

table.ranks {
    border-width: 1px;
    width:90%;
}

td.ranks.row_0 {
/*
    font-weight:bold;
*/
}

td.ranks.oddRow {
    background-color: #F6F6F6;
}

td.ranks.evenRow {
    background-color: #E9E9F3;
}

td.col_0 {
    width: 30%;
}

/* List */

ul.itemize {
    display: block;
    padding-left: 0px;
    margin-block-start: 1em;
    margin-block-end: 1em;
    margin-inline-start: 0px;
    margin-inline-end: 0px;
    padding-inline-start: 40px;
}

ul.itemize ul.itemize {
    padding-left: 40px;
    margin:0.5em 0;
    list-style:disc;
}

li.itemize_item {
    margin-top:2px;
    margin-bottom:2px;
}

li.liEqual {
    margin-top:-10px;
    margin-bottom:-10px;
    margin-left:20px;
    list-style-type: none;
}

ol.enumerate {
    text-align: left;
    padding-left:20px;
    margin-top:0px;
    margin-bottom:0px;
}

li.enumerate_item {
    margin-top:2px;
    margin-bottom:2px;
}

li > p {
    margin-bottom: 0em;
    margin-top: 0em;
}

p {
    display: block;
    margin-block-start: 1em;
    margin-block-end: 1em;
    margin-inline-start: 0px;
    margin-inline-end: 0px;
}

/* Coderef */

a.coderef {
    display:            block;
    text-decoration:    none;
    color:              inherit;
}

div.coderef {
    border: 1px solid #969696;
    -moz-border-radius:5px;
    -khtml-border-radius:5px;
    border-radius:5px;
    background-color: #F6F6F6;
    padding: 2px;
    margin:0px;
}

div.coderef:hover {
    border: 3px solid #969696;
    padding: 0px;
}

div.half {
    width: 50%;
}

div.coderef_outer {
    border: 0px;
    padding: 0px;
    margin-left: 0px;
    margin-right: 0px;
    margin-bottom:15px;
    margin-top:0px;
}

div.code_description {
    padding-top: 5px;
    padding-left: 10px;
    padding-bottom: 5px;
}

/* Code Title */

div.code_title {
    margin-bottom:10px;
    margin-top:0px;
    margin-left:0px;
    padding-top:6px;
    padding-bottom:6px;
    padding-left:30px;
    padding-right:10px;
    border-bottom: 1px solid #8E8E8E;
}

/* docref */

a.docref {
    text-decoration: none;
    color: inherit;
    background-color: inherit;
    border-bottom: 1px dotted #8E8E8E;
}

a.docref:hover {
    text-decoration: none;
    color: inherit;
    background-color: inherit;
    border-bottom: 0px;
}

span.docref {
    color: #F0F0F0;
}

span.docref:hover {
    color: #8E8E8E;
}

span.docrefcomment {
    color: inherit;
}

a.docrefcomment {
    color: inherit;
    text-decoration: none;
}

div.framed {
    -moz-border-radius:10px;
    -khtml-border-radius:10px;
    border-radius:10px;
    border: 1px dotted #8E8E8E;
    background-color: #FFFFFF;
    padding: 40px;
    margin-left: 10px;
    margin-right: 40px;
    margin-bottom:15px;
    margin-top:0px;
}

/* Code */
div.shell_content {
    -moz-border-radius:10px;
    -khtml-border-radius:10px;
    border-radius:10px;
    padding: 0px;
    margin-left: 10px;
    margin-right: 40px;
    margin-bottom:15px;
    margin-top:0px;
}

table.highlighttable {
    height: 0;
    border-spacing: 0;
    border-collapse: collapse;
    padding: 0;
    margin: 0px;
}

td {
    padding: 0;
    margin: 0;
}

pre {
    padding: 0;
    margin: 0;
}

li div.code div.code_content table.highlighttable {
    margin-top: 10px;
    margin-bottom: 10px;
}

li div.code div.code_content table.highlighttable td.linenos {
    transform: scale(0);
    border-right: 0px solid #E0E0E0;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    padding-right: 0px;
    margin: 0;
    width: 0px;
    text-align: right;
    display: none;
}

div.code_content table.highlighttable td.linenos {
    transform: scale(0);
    border-right: 0px solid #E0E0E0;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 2px;
    padding-right: 2px;
    margin : 0;
    width: 20px;
    text-align: right;
    display: none;
}

div.code_file {
    padding: 16px;
    overflow: auto;
    font-size: 85%;
    line-height: 1.45;
    color: var(--color-fg-default);
    background-color: var(--color-canvas-subtle);
    border-radius: 6px;
}

div.code_file  div.code_content {
    margin-left: 10px;
}

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

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

td.linenos {
    color: #666666;
    border-right: 8px solid #E0E0E0;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 2px;
    padding-right: 2px;
    margin : 0;
    width: 20px;
    text-align: right;
}

td.code {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    margin : 0;
}

div.code_file > div.code {
    -moz-border-radius:10px;
    -khtml-border-radius:10px;
    border-left: 0px;
    border-radius:10px;
    background-color: #F6F6F6;
    padding: 0px;
    margin-left: 0px;
    margin-right: 0px;
    margin-bottom:0px;
    margin-top:0px;
}

div.code_white_bg {
    -moz-border-radius:10px;
    -khtml-border-radius:10px;
    border-radius:10px;
    padding: 0px;
    margin-left: 10px;
    margin-right: 40px;
    margin-bottom:15px;
    margin-top:0px;
}

div.code_title {
    margin-bottom:10px;
    margin-top:0px;
    padding-top:6px;
    padding-bottom:6px;
    padding-left:10px;
    padding-right:10px;
    border-bottom: 1px solid #8E8E8E;
}

span.code_content {
    /*font-family:  Menlo, monospace, Monaco, Courier, 'Andale Mono', Monaco, Consolas;*/
    /* font-size: 16px; */
    /* font-family: Menlo, Consolas, Monaco, "Courier New", monospace, serif; */
    font-family: Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, sans-serif;
}

a.code {
    color: #8E8E8E;
    text-decoration: none;
}

/* Box */

div.box {
}

div.theorem {
    background-color: #E9E9F3;
    border: 1px solid #000000;
}

div.note {
    /*
    background-color: #F6F6F6;
    background-color: #B3CDE0;
    */
    background-color: rgba(85, 170, 28, 0.3);
}

div.warning {
    background-color: #ECD5D8;
}

div.box_container {

    margin-left: 10px;
    margin-right: 40px;
    margin-bottom:0px;
    margin-top:0px;

    -moz-border-radius:10px;
    -khtml-border-radius:10px;
    border-radius:10px;
}

div.box_title {
    margin-bottom:0px;
    margin-top:0px;
    padding-top:2px;
    padding-bottom:2px;
    padding-left:10px;
    padding-right:10px;

/*
    font-weight:bold;
*/
    border-bottom: 1px solid #000000;
}

div.box_content {
    margin-bottom:0px;
    margin-top:0px;
    padding-top:1px;
    padding-bottom:5px;
    padding-left:10px;
    padding-right:10px;
}

/* Shell */

div.shell {
    background-color: #FAFAFA;
    color: #000000;

    overflow: auto;

    margin: 16px;
    /*
    border: 1px solid gray;
    */

    padding-top:0px;
    padding-bottom:0px;
    padding-left:0px;
    padding-right:0px;

    -moz-border-radius:5px;
    -khtml-border-radius:5px;
    border-radius:5px;
}

div.shell_error {
    margin: 16px;
    border: 1px solid #D40202;
    background-color: #F7E7E7;
    overflow: auto;
}

span.cmd {
    font-weight:bold;
}

/* Latex */

.latex_block {
    margin-bottom:10px;
    margin-top:10px;
}

/* FileTree */


li.filetree {
    color: #093DA0;
    list-style-type: none;
}

li.file {
    list-style-type: circle;
}

li.dir {
    list-style-type: disc;
}

li.dir.expanded {
    list-style-type: circle;
}

a.dir {
    text-decoration: none;
}

a.dir:hover {
    color: #818181;
    text-decoration: none;
}

.filetree.file {
    color: #093DA0;
}

.filetree.fileextension {
    color: #818181;
    text-decoration: none;
}

.filetree.fileextension:hover {
    color: #093DA0;
    text-decoration: none;
}

.filetree.fileextension.bracket {
    color: #818181;
}

.filetree.fileextension.comma {
    color: #818181;
}

.filetree.file.unlinked {
/*
    font-style:italic;
*/
}

.filetree.file.linked {
    text-decoration: none;
}

.filetree.file.linked:hover {
    color: #818181;
    text-decoration: none;
}

h2.filetree:before {
}

h2.filetree  {
    margin-top: 2.5em;
    color: #000;
    padding-bottom: 2px;
    border-bottom: 1px solid #919699;
    margin-right:1em;
}

a.filetree.title {
    color: #000000;
}

/* SourceFile */


div.sourcefile {
    background-color: #F6F6F6;
    margin-left: 10px;
    margin-right: 40px;

    padding-top:7px;
    padding-bottom:7px;
    padding-left:15px;
    padding-right:25px;
    margin-bottom:10px;
    margin-top:0px;
}

/* code link */

a.codelink {
    text-decoration: none;
    border-bottom:1px dotted;
    color: inherit;
}

a.codelink:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

table.codelink_listitem {
    width : 100%;
}

tr.codelink_listitem {
    width : 100%;
}

td.codelink_listitem {
    width : 100%;
    font-family:monospace;
    font-size:16px;
}

td.codelink_listitem:hover {
    background-color: #969696;
}

td.codelink_listitem_external {
    width : 100%;
    font-family:monospace;
    font-size:16px;
    color: #969696;
}

a.codelink_listitem {
    text-decoration: none;
}

span.codelink_listitem {
    text-decoration: none;
    border-bottom:1px dotted;
    border-color: red;
    color: inherit;
}

span.codelink_listitem:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}


/* Browse files */

a.nav {
    text-decoration: none;
    font-size:16px;
    z-index: 999;
}

span.nav_tut_middle span.nav_cur {
    font-size:16px;
}

li.nav_cur {
    text-decoration: none;
    color: green;
    letter-spacing:1px;
    font-weight: bold;
}

span.nav_cur {
    text-decoration: none;
    color: green;
    letter-spacing:1px;
    font-weight: bold;
}

a.nav_bn {
    text-decoration: none;
    font-size:14px;
}

a.nav_inactive {
    text-decoration: none;
    color:          white;
    visibility: hidden;
    pointer-events: none;
    cursor: default;
    font-size:14px;
}

#navtop span.nav_tut_middle {
    float:left;

    padding-top:12px;
    padding-bottom:7px;
    padding-left:0px;
    padding-right:25px;

    margin-left: 0em;
}

span.nav_tut_middle {
    float:left;

    padding-top:12px;
    padding-bottom:7px;
    padding-left:0px;
    padding-right:25px;

    margin-left: 2em;
}

span.nav_tut_right {
    float:right;

    padding-top:12px;
    padding-bottom:7px;
    padding-left:15px;
    padding-right:0px;

    margin-right: 1em;
}

/* f77 syntax */

span.LINENUMBER {
    color : #af5f00;
}

span.STATEMENT {
    color : #af5f00;
}

span.Statement {
    color : #af5f00;
}

span.CONSTANT {
    color : #c00000;
}

span.Constant {
    color : #c00000;
}

span.COMMENT {
    color : #0000c0;
}

span.Comment {
    color : #0000c0;
}

span.STRING {
    color : #c00000;
}

span.Special {
    color : #BC8AD0;
}

span.TYPE {
    color : #008000;
}

span.PreProc {
    /*color : #BC8AD0;*/
    color : #A31A9C;
}

span.Type {
    color : #008000;
}

span.UNITSTATEMENT {
    color : #c000c0;
}

span.Unitstatement {
    color : #c000c0;
}
span.INTRINSIC {
    color : #008080;
}

span.STATEMENTNUMBER {
    color : #c000c0;
}

span.IDENTIFIER {
    color : #008080;
}

span.Identifier {
    color : #008080;
}

span.COL6 {
    color :            #000000;
    background-color : #FFFF00;
}

a.EXTERNAL {
    text-decoration: none;
    border-bottom:1px solid;
    color: inherit;
}

a.EXTERNAL:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

span.EXTERNAL_TIP {
    text-decoration: none;
    border-bottom:1px solid;
    border-color: #c00000;
    color: inherit;
}

span.EXTERNAL_TIP:hover {
    text-decoration: none;
    border-bottom:0px;
    border-color: #c00000;
    color: inherit;
}

a.VARIABLE {
    text-decoration: none;
    border-bottom:1px dotted;
    color: inherit;
}

a.VARIABLE:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

a.ARGDEF {
    text-decoration: none;
    border-bottom:1px solid;
    color: inherit;
}

a.ARGDEF:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

a.SUBROUTINE {
    text-decoration: none;
    border-bottom:1px solid;
    color: inherit;
}

a.SUBROUTINE:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

a.FUNCTION {
    text-decoration: none;
    border-bottom:1px solid;
    color: inherit;
}

a.FUNCTION:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

div.DESCRIPTION {
    margin-bottom:0px;
    margin-top:0px;
    padding-top:1px;
    padding-bottom:5px;
    padding-left:10px;
    padding-right:10px;
    line-height:1.4em;
}

span.DESCRIPTION {
    font-family:  Menlo, monospace, Monaco, Courier, 'Andale Mono', Monaco, Consolas;
    font-size: 13px;
}

tr.ARGUMENTS {
    padding:30px;
    margin:30px;
    border-spacing:30px;
    padding: 0px 300px 0px 0px;
    margin: 0px 300px 0px 0px;
}

td.VARNAME {
    margin-left: 15px;
    border: outset 0pt;
    padding: 0px 30px 0px 0px;

    text-align: left;
    vertical-align: top;
    font-weight:bold;
    width: 10%;
    text-decoration: none;
}

span.TYPE.ARGUMENTS {
    color: #093DA0;
}

a.ARGUMENTS {
    text-decoration: none;
    border-bottom:1px dotted;
    color: inherit;
}

a.ARGUMENTS:hover {
    text-decoration: none;
    border-bottom:0px;
    color: inherit;
}

td.DESCRIPTION {
    border: outset 0pt;
    padding: 0px 300px 0px 0px;
    margin: 0px 300px 0px 0px;
}

.graph {
    border: 1px solid gray;
    width: 90%;
    margin-left: 30px;
}

.node circle {
  fill: #fff;
  stroke: steelblue;
  stroke-width: 3px;
}

.node text {
  font: 12px sans-serif;
}

.link {
  fill: none;
  stroke: #ccc;
  stroke-width: 2px;
}

/*
    Following style sheet was generated by highlight 3.44
    using following command:

       highlight --print-style --style=zellner --style-out=zellner.css
*/
body.hl	{ background-color:#ffffff; }
pre.hl	{ color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New',monospace;}
.hl.num { color:#ff0066; }
.hl.esc { color:#ff00ff; }
.hl.str { color:#ff00ff; }
.hl.pps { color:#ff00ff; }
.hl.slc { color:#0b810d; }
.hl.com { color:#ff0000; }
.hl.ppc { color:#a020f0; }
.hl.opt { color:#000000; }
.hl.ipl { color:#895cc0; }
.hl.lin { color:#888888; }
.hl.kwa { color:#a52a2a; }
.hl.kwb { color:#0000ff; }
.hl.kwc { color:#225f2d; }
.hl.kwd { color:#000000; font-weight:bold; }

/*
    Style for pygmentize
*/
/*
.nl { color:  #af5f00 } 
.s { color: #c00000 }   
.nf { color:  #008080 } 
.k { color: #008000; font-weight: bold } 
.kt { color: #B00040 } 
.cp { color: #BC7A00 } 
.cpf { color: #408080; font-style: italic } 
.se { color: #BB6622; font-weight: bold } 
*/

.pyg_c { color: #408080; font-style: italic } /* Comment */
.pyg_err {
    /*border: 1px solid #FF0000*/
} /* Error */
.pyg_k { color: #008000; } /* Keyword */
.pyg_o { color: #666666 } /* Operator */
.pyg_ch { color: #408080; font-style: italic } /* Comment.Hashbang */
.pyg_cm { color: #408080; font-style: italic } /* Comment.Multiline */
.pyg_cp { color: #BC7A00 } /* Comment.Preproc */
.pyg_cpf { color: #408080; font-style: italic } /* Comment.PreprocFile */
.pyg_c1 { color: #408080; font-style: italic } /* Comment.Single */
.pyg_cs { color: #408080; font-style: italic } /* Comment.Special */
.pyg_gd { color: #A00000 } /* Generic.Deleted */
.pyg_ge { font-style: italic } /* Generic.Emph */
.pyg_gr { color: #FF0000 } /* Generic.Error */
.pyg_gh { color: #000080; font-weight: bold } /* Generic.Heading */
.pyg_gi { color: #00A000 } /* Generic.Inserted */
.pyg_go { color: #888888 } /* Generic.Output */
.pyg_gp { color: #000080; font-weight: bold } /* Generic.Prompt */
.pyg_gs { font-weight: bold } /* Generic.Strong */
.pyg_gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.pyg_gt { color: #0044DD } /* Generic.Traceback */
.pyg_kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.pyg_kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.pyg_kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.pyg_kp { color: #008000 } /* Keyword.Pseudo */
.pyg_kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.pyg_kt { color: #B00040 } /* Keyword.Type */
.pyg_m { color: #666666 } /* Literal.Number */
.pyg_s { color: #BA2121 } /* Literal.String */
.pyg_na { color: #7D9029 } /* Name.Attribute */
.pyg_nb { color: #008000 } /* Name.Builtin */
.pyg_nc { color: #0000FF; font-weight: bold } /* Name.Class */
.pyg_no { color: #880000 } /* Name.Constant */
.pyg_nd { color: #AA22FF } /* Name.Decorator */
.pyg_ni { color: #999999; font-weight: bold } /* Name.Entity */
.pyg_ne { color: #D2413A; font-weight: bold } /* Name.Exception */
.pyg_nf { color: #0000FF; font-weight: bold } /* Name.Function */
.pyg_nl { color: #A0A000 } /* Name.Label */
.pyg_nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
.pyg_nt { color: #008000; font-weight: bold } /* Name.Tag */
.pyg_nv { color: #19177C } /* Name.Variable */
.pyg_ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
.pyg_w { color: #bbbbbb } /* Text.Whitespace */
.pyg_mb { color: #666666 } /* Literal.Number.Bin */
.pyg_mf { color: #666666 } /* Literal.Number.Float */
.pyg_mh { color: #666666 } /* Literal.Number.Hex */
.pyg_mi { color: #666666 } /* Literal.Number.Integer */
.pyg_mo { color: #666666 } /* Literal.Number.Oct */
.pyg_sa { color: #BA2121 } /* Literal.String.Affix */
.pyg_sb { color: #BA2121 } /* Literal.String.Backtick */
.pyg_sc { color: #BA2121 } /* Literal.String.Char */
.pyg_dl { color: #BA2121 } /* Literal.String.Delimiter */
.pyg_sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
.pyg_s2 { color: #BA2121 } /* Literal.String.Double */
.pyg_se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
.pyg_sh { color: #BA2121 } /* Literal.String.Heredoc */
.pyg_si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
.pyg_sx { color: #008000 } /* Literal.String.Other */
.pyg_sr { color: #BB6688 } /* Literal.String.Regex */
.pyg_s1 { color: #BA2121 } /* Literal.String.Single */
.pyg_ss { color: #19177C } /* Literal.String.Symbol */
.pyg_bp { color: #008000 } /* Name.Builtin.Pseudo */
.pyg_fm { color: #0000FF } /* Name.Function.Magic */
.pyg_vc { color: #19177C } /* Name.Variable.Class */
.pyg_vg { color: #19177C } /* Name.Variable.Global */
.pyg_vi { color: #19177C } /* Name.Variable.Instance */
.pyg_vm { color: #19177C } /* Name.Variable.Magic */
.pyg_il { color: #666666 } /* Literal.Number.Integer.Long */