html, #heightaligner { font-style:normal; font-weight:normal; font-size:100%; font-family:verdana,arial,"times new roman",sans-serif; text-align:justify; color:black; background-color:#eeeedc; line-height:150%; height:100%; margin:0; padding:0; border:none; }
body { font-style:normal; font-weight:normal; font-size:75%; font-family:verdana,arial,"times new roman",sans-serif; text-align:justify; color:black; background-color:#eeeedc; line-height:150%; height:100%; margin:0; padding:0; border:none; }

table.title { table-layout: fixed; width: 100%; font-size: 100%; color: #000; text-align: center; border: 1px solid silver; }
table.title tbody { background-color: #eeeecc; vertical-align: middle; }
table.title td { height: 40px; border: 1px solid #deb887; text-align: center; vertical-align: middle; padding: 2px 4px; }
table.title a:link,
table.title a:visited,
table.title a:active { display: block; width: 100%; font-size: 12px; color: #a52a2a; text-align: center; text-decoration: none; border: 1px solid #eeeecc; padding: 7px 0; }
table.title a:hover { color: red; background-color: #eaeac2; border: 1px solid #deb887; }

table.m_title { table-layout: fixed; width: 100%; font-size: 100%; color: #000; text-align: center; border-right: 1px solid silver; border-top: 1px solid #f5f5dc; border-bottom: 1px solid silver; border-left: 1px solid #f5f5dc; }
table.m_title tbody { background-color: #eeeecc; vertical-align: middle; }
table.m_title td { height: 40px; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: center; vertical-align: middle; padding: 2px 4px; }
table.m_title a:link,
table.m_title a:visited,
table.m_title a:active { display: block; width: 100%; font-size: 16px; color: #a52a2a; text-align: center; text-decoration: none; border: 1px solid #eeeecc; padding: 7px 0; }
table.m_title a:hover { color: red; background-color: #eaeac2; border-right: 1px solid #deb887; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; border-top: 1px solid #eeeecc; }

table.body { vertical-align: middle; font-size: 100%; color: #000; padding-top: 100px; }
table.body tbody { vertical-align: middle; }
table.body td { text-align: left; vertical-align: middle; padding: 1px 5px; }
table.body th { text-align: left; vertical-align: middle; }

table.menu { vertical-align: middle; width: 100%; height: 100%; font-size: 100%; color: #000; border-right: 1px solid silver; border-top: 1px solid #f5f5dc; border-bottom: 1px solid silver; border-left: 1px solid #f5f5dc; padding-left: 4px; }
table.menu tbody { vertical-align: middle; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; }
table.menu td { height: 18px; background-color: #eeeecc; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: left; vertical-align: middle; padding: 1px; }
table.menu th { text-align: left; vertical-align: middle; border-right: 1px solid #eeeedc; border-top: 1px solid #eeeedc; border-bottom: 1px solid #eeeedc; border-left: 1px solid #eeeedc; }
table.menu a:link,
table.menu a:visited,
table.menu a:active { display: block; width: 99%; font-size: 12px; color: #a52a2a; text-decoration: none; border: 1px solid #eeeecc; padding-left: 1px; padding-top: 3px; padding-bottom: 5px; }
table.menu a:hover { display: block; width: 99%; font-size: 12px; color: red; background-color: #eaeac2; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-left: 1px; padding-top: 3px; padding-bottom: 5px; }

table.m_menu { vertical-align: middle; width: 100%; height: 100%; font-size: 100%; color: #000; border-right: 1px solid silver; border-top: 1px solid #f5f5dc; border-bottom: 1px solid silver; border-left: 1px solid #f5f5dc; padding-left: 4px; }
table.m_menu tbody { vertical-align: middle; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; }
table.m_menu td { height: 18px; background-color: #eeeecc; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: left; vertical-align: middle; padding: 1px; }
table.m_menu th { text-align: left; vertical-align: middle; border-right: 1px solid #eeeedc; border-top: 1px solid #eeeedc; border-bottom: 1px solid #eeeedc; border-left: 1px solid #eeeedc; }
table.m_menu a:link,
table.m_menu a:visited,
table.m_menu a:active { display: block; width: 99%; font-size: 16px; color: #a52a2a; text-decoration: none; border: 1px solid #eeeecc; padding-left: 1px; padding-top: 7px; padding-bottom: 7px; }
table.m_menu a:hover { display: block; width: 99%; font-size: 16px; color: red; background-color: #eaeac2; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-left: 1px; padding-top: 7px; padding-bottom: 7px; }

table.gallery { /* table-layout: fixed; */ width: 99%; height: 100%; min-height: 99%; /* for FF */ font-size: 100%; color: #000; border-right: 1px solid silver; border-top: 1px solid #f5f5dc; border-bottom: 1px solid silver; border-left: 1px solid #f5f5dc; }
table.gallery thead { background-color: #eeeecc; height: 3%; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; }
table.gallery tbody { background-color: #eeeecc; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; }
table.gallery td { vertical-align: middle; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: center; padding: 2px 5px; }
table.gallery th { vertical-align: middle; font-style: normal; font-weight: normal; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: center; padding: 2px 5px; }
table.gallery a:link,
table.gallery a:visited,
table.gallery a:active { display: block; color: #a52a2a; text-decoration: none; border: 1px solid #eeeecc; padding-top: 5px; padding-bottom: 5px; }
table.gallery a:hover { display: block; color: red; background-color: #eaeac2; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-top: 5px; padding-bottom: 5px; }

table.image { /* table-layout: fixed; */ width: 99%; height: 100%; min-height: 99%; /* for FF, Opera */ font-size: 100%; color: #000; border-right: 1px solid silver; border-top: 1px solid #f5f5dc; border-bottom: 1px solid silver; border-left: 1px solid #f5f5dc; }
table.image tbody { background-color: #eeeecc; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; }
table.image td { vertical-align: middle; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: center; padding: 2px 5px; }
table.image th { vertical-align: middle; text-align: center; border-right: 1px solid #eeeedc; border-top: 1px solid #eeeedc; border-bottom: 1px solid #eeeedc; border-left: 1px solid #eeeedc; }
table.image a:link,
table.image a:visited,
table.image a:active { display: block; color: #a52a2a; text-decoration: none; border: 1px solid #eeeecc; padding-top: 5px; padding-bottom: 5px; }
table.image a:hover { display: block; color: red; background-color: #eaeac2; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-top: 5px;
  padding-bottom: 5px; }

table.tlink { table-layout: auto; vertical-align: middle; font-size: 100%; color: #000; border-right: 1px solid silver; border-top: 1px solid #f5f5dc; border-bottom: 1px solid silver; border-left: 1px solid #f5f5dc; }
table.tlink tbody { vertical-align: middle; background-color: #eeeedc; border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; }
table.tlink tr { height: 30px; }
table.tlink td { border-right: 1px solid #deb887; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #deb887; border-left: 1px solid #f5f5dc; text-align: left; vertical-align: middle; padding: 2px 12px 2px 8px; }
table.tlink th { text-align: left; vertical-align: middle; border-right: 1px solid #eeeedc; border-top: 1px solid #eeeedc; border-bottom: 1px solid #eeeedc; border-left: 1px solid #eeeedc; }
table.tlink a:link,
table.tlink a:visited,
table.tlink a:active { display: block; width: 99%; font-size: 12px; color: #a52a2a; text-decoration: none; border: 1px solid #eeeecc; padding: 3px; }
table.tlink a:hover { display: block; width: 99%; font-size: 12px; color: red; background-color: #eeeecc; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding: 3px; }

table.nomenclature { text-align: justify; vertical-align: middle; margin-left: 6px; margin-right: 6px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }
table.nomenclature caption { text-align: justify; vertical-align: middle; font-size:0.75rem; padding: 4px; }
table.nomenclature td { text-align: justify; vertical-align: middle; line-height: 150%; font-size:0.75rem; padding: 4px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }
table.nomenclature th { text-align: left; vertical-align: middle; line-height: 150%; font-size:0.75rem; padding: 4px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }

table.simple { text-align: justify; vertical-align: middle; font-size:100%; margin-left: 6px; margin-right: 6px; border-right: 1px solid #f5f5dc; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #f5f5dc; border-left: 1px solid #f5f5dc; }
table.simple caption { text-align: justify; vertical-align: middle; font-size:0.75rem; padding: 4px; font-weight:bold; }
table.simple td { text-align: justify; vertical-align: middle; line-height: 150%; font-size:0.75rem; padding: 4px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }
table.simple th { text-align: left; vertical-align: middle; line-height: 150%; font-size:0.75rem; padding: 4px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }

table.wide { table-layout: fixed; width: 100%; font-size: 100%; color: #000; text-align: center; background-color: #eeeedc; border-right: 1px solid silver; border-top: 1px solid #eaeadc; border-bottom: 1px solid silver; border-left: 1px solid #eaeadc; }
table.wide caption { line-height: 350%; font-weight: bold; }
table.wide tbody { background-color: #eeeedc; vertical-align: middle; }
table.wide th { height: 30px; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 4px; }
table.wide td { height: 30px; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 4px; }
table.wide a:link,
table.wide a:visited,
table.wide a:active { display: block; width: 100%; font-size: 12px; color: #901313; text-align: center; text-decoration: none; border: 1px solid #eeeedc; padding-top: 7px; padding-bottom: 7px; }
table.wide a:hover { display: block; width: 100%; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-top: 7px; padding-bottom: 7px; }

table.narrow { font-size: 100%; color: #000; text-align: left; background-color: #eeeedc; border-right: 1px solid silver; border-top: 1px solid #eaeadc; border-bottom: 1px solid silver; border-left: 1px solid #eaeadc; }
table.narrow caption { line-height: 350%; font-weight: bold; }
table.narrow tbody { background-color: #eeeedc; vertical-align: middle; }
table.narrow th { height: 30px; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 8px 2px 4px; }
table.narrow td { height: 30px; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: justify; vertical-align: middle; padding: 3px 8px 6px 4px; line-height: 150%; }
table.narrow a:link,
table.narrow a:visited,
table.narrow a:active { display: block; width: 100%; font-size: 12px; color: #901313; text-align: center; text-decoration: none; border: 1px solid #eeeedc; padding-top: 7px; padding-bottom: 7px; }
table.narrow a:hover { display: block; width: 100%; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-top: 7px; padding-bottom: 7px; }
table.narrow a.normal:link,
table.narrow a.normal:visited,
table.narrow a.normal:active { display: inline; font-size: 12px; color: blue; text-align: left; text-decoration: none; padding-top: 5px; padding-left: 0; border: 0; }
table.narrow a.normal:hover { display: inline; font-size: 12px; color: blue; text-align: left; text-decoration: underline; padding-top: 5px; padding-left: 0; border: 0; }

table.narrow_col_fixed { font-size: 100%; color: #000; text-align: left; background-color: #eeeedc; border-right: 1px solid silver; border-top: 1px solid #eaeadc; border-bottom: 1px solid silver; border-left: 1px solid #eaeadc; }
table.narrow_col_fixed caption { line-height: 350%; font-weight: normal; text-align: left; }
table.narrow_col_fixed tbody { background-color: #eeeedc; vertical-align: middle; }
table.narrow_col_fixed th { height: 30px; width: 30px; font-weight: normal; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 4px; }
table.narrow_col_fixed td { height: 30px; font-weight: normal; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 4px; }
table.narrow_col_fixed a:link,
table.narrow_col_fixed a:visited,
table.narrow_col_fixed a:active { display: block; width: 100%; font-size: 12px; color: #901313; text-align: center; text-decoration: none; border: 1px solid #eeeedc; padding-top: 7px; padding-bottom: 7px; }
table.narrow_col_fixed a:hover { display: block; width: 100%; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-top: 7px; padding-bottom: 7px; }

table.framework { table-layout: auto; width: 100%; font-size: 100%; color: #000; text-align: center; background-color: #eeeedc; border-right: 1px solid silver; border-top: 1px solid #eaeadc; border-bottom: 1px solid silver; border-left: 1px solid #eaeadc; }
table.framework tbody { background-color: #eeeedc; vertical-align: middle; }
table.framework td { height: 30px; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 4px 2px 2px; }
table.framework a:link,
table.framework a:visited,
table.framework a:active { display: block; width: 100%; font-size: 12px; color: #901313; text-align: center; text-decoration: none; border: 1px solid #eeeedc; padding-top: 4px; padding-bottom: 4px; }
table.framework a:hover { display: block; width: 100%; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887;
 border-left: 1px solid #eeeecc; padding-top: 4px; padding-bottom: 4px; }

table.framework_ins { table-layout: auto; width: 100%; font-size: 100%; color: #000; text-align: center; background-color: #eeeedc; border: 0; }
table.framework_ins tbody { background-color: #eeeedc; vertical-align: middle; }
table.framework_ins td { height: 30px; border-right: 1px solid #deb887; border-top: 1px solid #eeeedc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeedc; text-align: center; vertical-align: middle; padding: 2px 4px 2px 2px; }
table.framework_ins td.no_link { border: 0; }
table.framework_ins a:link,
table.framework_ins a:visited,
table.framework_ins a:active { display: block; width: 100%; font-size: 12px; color: #901313; text-align: center; text-decoration: none; border: 1px solid #eeeedc; padding-top: 4px; padding-bottom: 4px; }
table.framework_ins a:hover { display: block; width: 100%; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; border-right: 1px solid #deb887; border-top: 1px solid #eeeecc; border-bottom: 1px solid #deb887; border-left: 1px solid #eeeecc; padding-top: 4px; padding-bottom: 4px; }
table.framework_ins a.third_party:hover,
table.framework_ins a.full_implemented:hover { background-color: #f7e3c3; }
table.framework_ins a.partially_implemented:hover { background-color: #e2d9cc; }

table.navi_top { width: 96%; height: 3em; margin-left: auto; margin-right: auto; border-bottom: 1px solid silver; }
table.navi_top td { width: 32%; text-align: center; vertical-align: middle; }
table.navi_top a:link,
table.navi_top a:visited,
table.navi_top a:active { display: inline-block; width: 120px; font-size: 12px; color: #901313; text-align: center; text-decoration: none; padding-top: 7px; padding-bottom: 7px; }
table.navi_top a:hover { display: inline-block; width: 120px; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; padding-top: 7px; padding-bottom: 7px; }

table.navi_bot { width: 96%; height: 3em; margin-top: 1em; margin-left: auto; margin-right: auto; border-top: 1px solid silver; }
table.navi_bot td { width: 32%; text-align: center; vertical-align: middle; }
table.navi_bot a:link,
table.navi_bot a:visited,
table.navi_bot a:active { display: inline-block; width: 120px; font-size: 12px; color: #901313; text-align: center; text-decoration: none; padding-top: 7px; padding-bottom: 7px; }
table.navi_bot a:hover { display: inline-block; width: 120px; font-size: 12px; color: blue; background-color: #eeeedc; text-align: center; text-decoration: none; padding-top: 7px; padding-bottom: 7px; }

table.ingredients { text-align: justify; vertical-align: middle; font-size: 100%; margin-left: 0; margin-right: 6px; border-right: 1px solid #f5f5dc; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #f5f5dc; border-left: 1px solid #f5f5dc; }
table.ingredients caption { text-align: justify; vertical-align: middle; padding: 4px; line-height: 350%; font-weight: bold; }
table.ingredients td { text-align: justify; vertical-align: middle; line-height: 150%; padding: 4px 8px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }
table.ingredients th { text-align: left; vertical-align: middle; line-height: 150%; padding: 4px; border-right: 1px solid #a9a9a9; border-top: 1px solid #f5f5dc; border-bottom: 1px solid #a9a9a9; border-left: 1px solid #f5f5dc; }

table.footer_abs { border: 0; width: 99%; font-size: 100%; position: absolute; bottom: 0; }
table.footer_rel { border: 0; width: 99%; font-size: 100%; position: relative; bottom: -60px; }

table.header { border: 0; width: 99%; font-size: 100%; position: absolute; top: 0; }

table.chapter { border: 0; width: 99%; font-size: 100%; position: relative; top: 60px; }

table.epigraph { width: 100%; border: 0; font-size: 100%; }
table.epigraph_text { width: auto; display: inline-table; font-size: 100%; }


img.title { display: block; width: 47px; height: 31px; margin-top: -6px; margin-right: 0; margin-bottom: -8px; margin-left: 2px; border: none; }
img.image { display: block; margin: auto; border: none; }

a:link,
a:visited,
a:active { font-size: 100%; line-height: 175%; color: blue; text-decoration: none; }
a:hover { font-size: 100%; line-height: 175%; color: blue; text-decoration: underline; }

h1 { margin-left: 0;    margin-right: 0;    vertical-align: middle; font-size: 175%; text-align: center; }
h2 { margin-left: 6px;  margin-right: 6px;  vertical-align: middle; font-size: 150%; }
h3 { margin-left: 12px; margin-right: 12px; vertical-align: middle; font-size: 125%; }
h4 { margin-left: 18px; margin-right: 18px; vertical-align: middle; font-size: 100%; }
h5 { margin-left: 24px; margin-right: 24px; vertical-align: middle; font-size: 75%;  }

p { text-align: justify; line-height: 175%; font-size: 100%; padding-left: 10px; padding-right: 10px; margin-right: 2%; }
p.first  { line-height: 100%; text-indent: 0; }
p.second { line-height: 100%; text-indent: 25px; }
p.third  { line-height: 100%; text-indent: 50px; }

ul,ul.content { list-style-type: none; text-align: left; padding-left: 10px; }
ul.menu { list-style-type: disc; padding-left: 20px; }
li {line-height: 200%; margin-right: 2%; }

div { line-height: 150%; }

hr { margin: 1em 0; width: 98%; border: none; border-top: 1px solid #ccc; }

/* ================== doxystyles ================ */

iframe.requirements { width: 100%; height: 200px; border: 0; margin: 0; padding: 0; }
iframe.requirements_abc { width: 100%; height: 50px; border: 0; margin: 0; padding: 0; }

div.memory { text-align: center; padding-bottom: 25px; font-size: 15px; }
div.imname { text-align: center; padding-bottom: 25px; font-weight: normal; }
div.common { text-align: center; padding-bottom: 25px; font-weight: bold; }
div.requirements { background-color: #eeeedc; text-align: center; font-size: 100%; font-family: verdana, sans-serif; font-weight: bold; }

span.character,
span.number { color: #000; }
span.accent { color: red; }
span.mark { color: #8b0000; font-size: 125%; font-family: "courier", monospace; }
span.code { color: #000; font-size: 125%; font-family: "courier", monospace; }
span.code_bold { font-weight: bold; color: #000; font-size: 125%; font-family: "courier", monospace; }
span.requirements { margin-left: 20px; }

.third_party,
.full_implemented { background-color: #f7e3c3; }
.partially_implemented { background-color: #e2d9cc; }
.spoilertop { cursor: pointer; }
.spoilerbox { }
.quotation_body { display: block; text-align: justify; font-style: italic; padding-left: 40px; padding-right: 40px; }
.quotation_sign { display: block; text-align: right; font-style: italic; padding-right: 40px; }
.image_name { display: block; text-align: justify; padding-left: 20%; padding-right: 100px; }
.image_place { padding-left: 20%; padding-right: 100px; }
.table_name { display: block; text-align: justify; padding-left: 0; padding-right: 100px; }

.memitem { padding: 0; margin-bottom: 10px; margin-right: 5px; }
.memname { white-space: nowrap; font-weight: bold; font-family: "courier new", courier, monospace; font-size: 100%; margin-left: 6px; }

.memproto,
dl.reflist dt {
  border-top: 1px solid #a8b8d9;
  border-left: 1px solid #a8b8d9;
  border-right: 1px solid #a8b8d9;
  padding: 6px 0;
  color: #253555;
  font-weight: bold;
  text-shadow: 0 1px 1px rgba(255, 255, 255, 0.9);
  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  border-top-right-radius: 8px;
  border-top-left-radius: 8px;
  -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  -webkit-border-top-right-radius: 8px;
  -webkit-border-top-left-radius: 8px;
  background-image: url('nav_f.png');
  background-repeat: repeat-x;
  background-color: #eeeedc;
}

.memdoc,
dl.reflist dd {
  border-bottom: 1px solid #a8b8d9;
  border-left: 1px solid #a8b8d9;
  border-right: 1px solid #a8b8d9;
  padding: 2px 5px;
  background-color: #eeeedc;
  border-top-width: 0;
  border-bottom-left-radius: 8px;
  border-bottom-right-radius: 8px;
  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
  -webkit-border-bottom-left-radius: 8px;
  -webkit-border-bottom-right-radius: 8px;
  -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
}

a.el { font-weight: bold; }

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

.params .paramname,
.retval .paramname {font-weight: bold; font-size: 75%; vertical-align: top; }

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

.params .paramdir { font-size: 75%; font-family: "courier new", courier, monospace; vertical-align: top; }

/* syntax highlighting */

span.keyword       { color: #008000; }
span.keywordtype   { color: #604020; }
span.keywordflow   { color: #e08000; }
span.comment       { color: #173b0b; }
span.preprocessor  { color: blue; }
span.stringliteral { color: #002080; }
span.charliteral   { color: #008080; }

span.vhdldigit     { color: #ff00ff; }
span.vhdlchar      { color: #000; }
span.vhdlkeyword   { color: #700070; }
span.vhdllogic     { color: #ff0000; }

dl.section      { border-left: 4px solid; padding-left: 6px; }
dl.params       { border-color: #9d3a13; }
dl.return       { border-color: #148ca4; }
dl.note         { border-color: #d0c000; }
dl.warning,
dl.attention    { border-color: #ff0000; }
dl.pre,
dl.post,
dl.invariant    { border-color: #00d000; }
dl.deprecated   { border-color: #505050; }

dl.section dd   { margin-bottom: 6px; }

div.contents { font-family: courier, monospace; font-size: 100%; text-align: justify; margin: 10px 8px 0; }

.fragment { font-family: monospace, fixed; font-size: 105%; }

div.line { font-family: courier, monospace; font-size: 100%; }

pre.fragment { border: 1px solid #c4cfe5; background-color: #fbfcfd; padding: 4px 6px; margin: 4px 8px 4px 2px; overflow: auto; word-wrap: break-word; font-size: 9pt; line-height: 125%; }

/* ======================= mobile image styles ========================= */

/* example: <div class="mobbox"><img class="mobimg" src="img.jpg"></div> */

.mobbox {
  display: inline-block;
  width: 100%;
  text-align: center;
}

img.mobimg_hor {
  display: inline-block;
  height: auto;
  margin: 0 auto;
}

img.mobimg_ver {
  display: inline-block;
  height: auto;
  margin: 0 auto;
}

/* mobile */
@media (max-width: 768px) {
  img.mobimg_hor,
  img.mobimg_ver {
    width: 100%;
  }

/*  .mobile_text {
    font-size: 16px;
  }*/

body.mobile_text {
    font-size: 11pt !important;
    line-height: 1.6 !important;
}

.mobile_text P {
    font-size: 11pt !important;
}


}