/*
 * Copyright (c) 2018 Macrofocus GmbH. All Rights Reserved.
 */
@font-face {
    font-family: 'RageItalicLetPlain';
    src: url('/fonts/rageitalic.eot');
    src: url('/fonts/rageitalic.eot?#iefix') format('embedded-opentype'), url('/fonts/rageitalic.woff') format('woff'), url('/fonts/rageitalic.ttf') format('truetype'), url('/fonts/rageitalic.svg#RageItalicLetPlain') format('svg');
}

@font-face {
    font-family: 'MuseoSans500';
    src: url('/fonts/museosans_500-webfont.eot');
    src: local('☺'), url('/fonts/museosans_500-webfont.woff') format('woff'), url('/fonts/museosans_500-webfont.ttf') format('truetype'), url('/fonts/museosans_500-webfont.svg#webfontKZahKa6j') format('svg');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'MuseoSlab500';
    src: url('/fonts/museo_slab_500-webfont.eot');
    src: local('☺'), url('/fonts/museo_slab_500-webfont.woff') format('woff'), url('/fonts/museo_slab_500-webfont.ttf') format('truetype'), url('/fonts/museo_slab_500-webfont.svg#webfontcxs72zlS') format('svg');
    font-weight: normal;
    font-style: normal;
}

body {
    padding: 0px;
    margin: 0px;
    background-color: #fff;
    -webkit-font-smoothing: subpixel-antialiased;
    -webkit-text-size-adjust: none;
    font-size: 15px;
    text-rendering: optimizeLegibility;
}

div, h1, h2, td, ul, li, p {
    font-family: "Helvetica Neue", "Helvetica", trebuchet ms, verdana, tahoma, arial, helvetica, sans-serif;
    font-size: 16px;
    font-weight: 300;
    color: #000;
    vertical-align: top;
    line-height: 1.35;
}

p {
    margin-top: 0px;
    padding-top: 0px;
}

li.step p {
    margin-bottom: 0px;
}

li.listitem p {
    margin-bottom: 0px;
}

h1, h2, h3, h4, h5, h6, legend, #leftMenu li, #headerMenu li, #headerBottomMenu li, .rightColumnTitle {
    font-family: "MuseoSans500", "Helvetica Neue", "Helvetica", trebuchet ms, verdana, tahoma, arial, helvetica, sans-serif;
    color: #62666c;
    font-weight: 500;
    text-shadow: #666666 0px 1px 2px;
    color: #43464a;
}

h1.profileplot {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.high-d {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.molap {
    font-family: "HelveticaNeue-Bold", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: top;
    font-weight: normal;
    line-height: 1;
    text-shadow: #666666 0px 10px 10px;
}

h1.treemap {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.cartoplot {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #333333 0px 10px 10px;
}

h1.infoscope {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.surveyvisualizer {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

span.surveyvisualizer-server {
    font-family: helvetica, sans-serif;
    margin-top: 0px;
    margin-left: -10px;
    font-size: 46px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.trenddisplay {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.tablebrowser {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

h1.visflux {
    font-family: "RageItalicLetPlain", helvetica, sans-serif;
    margin-top: 0px;
    font-size: 84px;
    vertical-align: middle;
    font-weight: normal;
    text-shadow: #666666 0px 10px 10px;
}

#leftMenu li, #headerMenu li {
    text-shadow: #cccccc 0px 1px 1px;
}

h1 {
    text-shadow: #666666 0px 1px 1px;
    color: #FFFFFF;
    font-weight: bold;
    font-size: 32px;
    line-height: 1.5;
}

h2:first-child {
    margin-top: 0px;
    margin-bottom: 10px;
}

h2 {
    font-size: 18px;
    font-weight: 500;
    color: #E97900;
    margin-top: 25px;
    margin-bottom: 10px;
    text-shadow: none;
    line-height: 1.35;
}

h3 {
    font-family: "MuseoSlab500", "Helvetica Neue", "Helvetica", trebuchet ms, verdana, tahoma, arial, helvetica, sans-serif;
    /*text-transform: uppercase;*/
    color: #767b82;
    font-weight: 500;
    font-size: 16px;
    margin-top: 10px;
    text-shadow: none;
    /*color: #b3b3b3;*/
    /*text-shadow: #62666c 0px 1px 1px;*/
}

a {
    color: #008AB8;
    border-bottom-style: dashed;
    border-bottom-width: 1px;
    text-decoration: none;
}

.red {
    color: #DC123C
}

a:visited {
    color: #69AFCB;
}

a:hover {
    color: #E97900;
    border-bottom-style: solid;
}

#leftMenu {
    position: absolute;
    left: 15px;
    top: 170px;
    width: 175px;
}

/* note: level-1 is wrong, should be level0 but the level returned for the page is wrong */
#leftMenu ul.level1 {
    /*position: absolute;*/
    /*left: 15px;*/
    /*top: 105px;*/
    margin-left: 0;
    margin-top: 0;
    padding-left: 0;
    padding-top: 0;
    border-top: 1px solid #69AFCB;
    border-bottom: 1px solid #69AFCB;
}

ul.level1, ul.level2, ul.level3, ul.level4, ul.level5, ul.level6, ul.level7, ul.level8 {
    padding: 0 0 0 0;
    list-style-type: none;
    list-style-position: outside;
    margin-left: 0;
}

#leftMenu ul.level1 li a {
    padding-bottom: 2px;
    padding-top: 2px;
    padding-left: 2px;
    border-style: none;
    text-decoration: none;
    display: block;
    color: #236385;
    line-height: 1.5;
    margin-bottom: 0px;
}

#leftMenu ul ul.level2 li a {
    padding-left: 10px;
    font-weight: normal;
    font-size: 11px;
}

#leftMenu ul ul.level3 li a {
    padding-left: 20px;
    font-weight: normal;
    font-size: 10px;
}

#leftMenu ul ul.level4 li a {
    padding-left: 25px;
    font-weight: normal;
    font-size: 9px;
}

#leftMenu ul ul.level5 li a {
    padding-left: 30px;
    font-weight: normal;
    font-size: 9px;
}

#leftMenu ul ul.level6 li a {
    padding-left: 35px;
    font-weight: normal;
    font-size: 9px;
}

#leftMenu ul ul.level7 li a {
    padding-left: 37px;
    font-weight: normal;
    font-size: 9px;
}

#leftMenu ul ul.level8 li a {
    padding-left: 39px;
    font-weight: normal;
    font-size: 9px;
}

#leftMenu ul ul.level2 strong a {
    font-weight: normal;
}

#leftMenu ul li a:hover {
    color: #236385;
    background-color: #FFE7A5;
    border-style: none;
    text-decoration: none;
}

/*#leftMenu ul.level1 li a:hover {*/
/*background-color: #FFE7A5;*/
/*}*/

#leftMenu ul.level1 li a:visited {
    color: #236385;
}

#leftMenu ul.level1 strong a {
    color: #236385;
    background-color: #FFCB3D;
    text-decoration: none;
}

#leftmenu ul.level1 strong a:hover {
    background-color: #FFCB3D;
}

.line {
    background-color: #69AFCB;
    font-size: 1px;
    line-height: 1px;
    height: 1px;
}

hr {
    background-color: #69AFCB;
}

.rightColumnImage {
    float: left;
    padding-right: 0px;
    margin-top: 10px;
}

.contentImage_left {
    float: left;
    padding-right: 20px;
    padding-bottom: 10px;
}

.contentImage_right {
    float: right;
    padding-left: 5px;
    padding-bottom: 10px;
}

#content {
    position: absolute;
    left: 0px;
    top: 170px;
    width: 899px;
}

#contentDivMainColumnTotalWidth {
    position: relative;
    left: 217px;
    width: 710px;
}

#contentDivLeftColumnTotalWidth {
    position: relative;
    left: 28px;
    width: 899px;
}

#contentDivMainColumn {
    position: relative;
    left: 217px;
    width: 450px;
}

#contentDivRightColumn {
    position: absolute;
    left: 707px;
    top: 170px;
    width: 220px;
    padding-right: 0px;
    padding-left: 0px; /*border-top: 3px solid #69AFCB;*/
    font-size: 13px;
}

#contentDivRightColumn > div {
    font-size: 14px;
    margin-bottom: 27px;
    box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
    padding-top: 3px;
    padding-bottom: 10px;
    padding-left: 5px;
    padding-right: 5px;
}

.rightColumnTitle {
    color: #666666;
    font-size: 13px;
    /* border: 1px solid; */
    /* background: #dddddd; */
    /* border-radius: 1px; */
    /* -webkit-border-radius: 5px; */
    /*-moz-border-radius: 5px;*/
    /* background: -webkit-gradient(linear, left top, left bottom, from(#f9fafa), to(#f0f2f2)); */
    /* border-color: #999999; */
    text-shadow: white 0px 1px 1px;
    padding-top: 3px;
    /* padding-left: 4px; */
    margin-top: -3px;
    background: linear-gradient(to bottom, rgba(204,204,204,0.5) 0%,rgba(255,255,255,0.5) 100%);
    /* height: 23px; */
    margin-left: -5px;
    padding-left: 5px;
    margin-right: -5px;
    padding-right: 5px;
    padding-bottom: 7px;
}

#contentDivRightColumn ul {
    padding-left: 15px;
}

.rightColumnLine {
    background-color: #69AFCB;
    font-size: 1px;
    line-height: 1px;
    height: 1px;
    margin-top: 15px;
    margin-bottom: 0px;
}

/*#contentDivRightColumn > div:after{*/
    /*content:"";*/
    /*position:absolute;*/
    /*z-index:-1;*/
    /*-webkit-box-shadow:0 0 40px rgba(0,0,0,0.8);*/
    /*box-shadow:0 0 40px rgba(0,0,0,0.8);*/
    /*bottom:0px;*/
    /*left:10%;*/
    /*right:10%;*/
    /*width:80%;*/
    /*height:50%;*/
    /*-moz-border-radius:100%;*/
    /*border-radius:100%;*/
/*}*/

#footer {
    margin-top: 3px;
    position: relative;
    left: 217px;
    width: 450px;
}

/*.rightColumnTitle {*/
/*color: #236385;*/
/*font-weight: bold;*/
/*padding-top: 2px;*/
/*padding-bottom: 3px;*/
/*padding-left: 2px;*/
/*margin-bottom: 4px;*/
/*margin-top: 0px;*/
/*margin-right: 0px;*/
/*}*/

table {
    width: 100%;
    border-collapse: collapse;
    margin: 0em 0em;
}

div.table-contents {
    margin: 0.5em 2em;
}

caption {
    background-color: #ddd;
}

td, td.tableHead {
    padding-top: 2px;
    padding-bottom: 3px;
    padding-left: 2px;
    padding-right: 2px;
    margin-bottom: 4px;
    border-style: solid;
    border-width: 0px;
    border-color: #aaaaaa;
}

th {
    background-color: #999;
    color: #fff;
    font-weight: bold;
}

td.tableHead {
    background-color: #999;
    color: #fff;
    font-weight: bold;
}

tr.even {
    background-color: #eee;
}

.devShowBox {
    background-color: #cccccc;
    padding: 4px;
}

.code {
    font-family: monospace;
}

textarea, input.text, select {
    width: 100%;
    font-family: Verdana, sans-serif;
    font-size: 11px;
}

input.submit {
    font-family: Verdana, sans-serif;
    font-size: 11px;
}

input.checkbox, input.radio {
    position: relative;
    top: 3px;
    margin-right: 6px;
}

.searchresult {
    padding-bottom: 10px;
    border-bottom: 1px solid #ccc;
}

.searchresult p {
    margin: 3px 0 3px 0;
}

.searchresult h4, .searchresult a {
    display: block;
    margin-bottom: 2px;
}

.spacer1 {
    height: 20px;
}

.spacer2 {
    height: 20px;
}

#editionsMenu {
    position: absolute;
    left: 386px;
    top: 38px;
    width: 427px;
    height: 38px;
    text-align: center;
    padding: 0 0 0 0;
    border-top: none;
    margin: 0 0 0 0;
}

#editionsMenu ul {
    display: block;
    padding-top: 0; /* Center vertically */
    font-size: 12px;

    margin-top: 9px;
    margin-bottom: 9px; /* Center horizontally */
    margin-left: 280px;
    margin-right: auto; /*vertical-align: middle;*/
    /*float: right;*/
}

#editionsMenu li {
    transition: all .3s ease-out;
    /* Makes the list be displayed horizontally */
    float: left; /* Center the text in each button */
    text-align: center; /* Equal width for each item */
    width: 70px;

    display: block;
    list-style-type: none;
    text-decoration: none;
    padding: 0 0 0 0;

    vertical-align: middle;
    margin: 2px 1px 2px 1px; /* Background of each button */
    background-color: rgba(247, 247, 247, 0.5);
    border-radius: 3px;
}

#editionsMenu ul li a {
    font-weight: normal;
    color: #000000; /*padding-bottom: 2px;*/
    /*padding-top: 2px;*/
    /*padding-left: 2px;*/
    border-style: none;
    text-decoration: none;
    display: block;
}

#editionsMenu ul li a:hover {
    background-color: #FFE7A5;
    border-radius: 3px;
}

#editionsMenu ul li.open a {
    background-color: #F3DB34;
    border-radius: 3px;
}

#editionsMenu ul li.closed {
    border-bottom: 1px solid #9f9f9f;
    -moz-box-shadow:inset 0 1px 0 rgba(255,255,255,0.5);
    -webkit-box-shadow:inset 0 1px 0 rgba(255,255,255,0.5);
    box-shadow:inset 0 1px 0 rgba(255,255,255,0.5);
}

#editionsMenu div, #editionsMenu h1, #editionsMenu h2, #editionsMenu td, #editionsMenu ul, #editionsMenu li {
    /*font-family: "Helvetica Neue", "Helvetica", trebuchet ms, verdana, tahoma, arial, helvetica, sans-serif;*/
    font-weight: 300;
    color: #000;
    font-size: 14px;
    vertical-align: top;
    line-height: 1.5;
}

#headerMenu {
    position: absolute;
    left: 0px;
    top: 0px;
    width: 927px;
    height: 38px;
    text-align: right;
    padding: 0 0 0 0;
    border-top: none;
    margin: 0 0 0 0;
    /*margin-top: auto;*/
    /*margin-left: auto;*/
    /*margin-right: auto;*/
    /*margin-bottom: auto;*/
}

#headerMenu ul {
    display: block;
    padding-top: 0; /* Center vertically */
    font-size: 12px;

    margin-top: 9px;
    margin-bottom: 9px; /* Center horizontally */
    margin-left: 280px;
    margin-right: auto; /*vertical-align: middle;*/
    /*float: right;*/
}

#headerMenu li {
    transition: all .3s ease-out;
    /* Makes the list be displayed horizontally */
    float: left; /* Center the text in each button */
    text-align: center; /* Equal width for each item */
    width: 70px;

    display: block;
    list-style-type: none;
    text-decoration: none;
    padding: 0 0 0 0;

    vertical-align: middle;
    margin: 2px 1px 2px 1px; /* Background of each button */
    background-color: #F7F7F7;
}

#headerMenu ul li a {
    font-weight: normal;
    color: #000000; /*padding-bottom: 2px;*/
    /*padding-top: 2px;*/
    /*padding-left: 2px;*/
    border-style: none;
    text-decoration: none;
    display: block;
}

#headerMenu ul li a:hover {
    background-color: #FFE7A5;
}

#headerMenu ul li.open a {
    background-color: #F3DB34;
}

#headerMenu div, #headerMenu h1, #headerMenu h2, #headerMenu td, #headerMenu ul, #headerMenu li {
    /*font-family: "Helvetica Neue", "Helvetica", trebuchet ms, verdana, tahoma, arial, helvetica, sans-serif;*/
    font-weight: 300;
    color: #000;
    font-size: 13px;
    vertical-align: top;
    line-height: 1.5;
}

#headerMenu a {
    color: #008AB8;
    border-bottom-style: none;
    border-bottom-width: 0;
    text-decoration: none;
}

#headerBottomMenu {
    position: absolute;
    left: 0px;
    top: 73px;
    width: 927px;
    height: 33px;
    text-align: right;
    padding: 0 0 0 0;
    border-top: none;
    margin: 0 0 0 0; /*margin-top: auto;*/
    /*margin-left: auto;*/
    /*margin-right: auto;*/
    /*margin-bottom: auto;*/
}

#headerBottomMenu ul {
    display: block;
    padding: 0 0 0 0; /* Center vertically */
    font-size: 12px;

    margin-top: 15px;
    margin-bottom: 15px; /* Left align */
    margin-left: 0px;
    margin-right: 0px;
    vertical-align: top; /*float: right;*/

    padding-left: 5px;

    /*border-top-width: 1px;*/
    /*border-top-style: solid;*/
    /*border-top-color: #FFFFFF;*/
    /*border-top-color: rgba(255, 255, 255, 0.3);*/
}

#headerBottomMenu ul {
    /*border-top-width: 1px;*/
    /*border-top-color: rgba(255, 255, 255, 0.3);*/
}

#headerBottomMenu li {
    /* Makes the list be displayed horizontally */
    float: left; /* Center the text in each button */
    text-align: center; /* Equal width for each item */
    /*width: 70px;*/

    display: block;
    list-style-type: none;
    text-decoration: none;
    padding: 0 0 0 0;

    vertical-align: bottom; /* Spaing between items */
    padding-right: 10px;
    padding-left: 5px; /*margin: 0px 0px 0px 15px;*/
    padding-top: 4px;
    padding-bottom: 4px;

    border-right-width: 1px;
    border-right-style: solid;
    border-right-color: #FFFFFF;
    /*border-right-color: rgba(255, 255, 255, 0.3);*/

    line-height: 1.25;
}

#headerBottomMenu li {
    transition: all .3s ease-out;
    border-top-width: 1.5px;
    border-top-color: rgba(255, 255, 255, 0.15);
    border-top-style: solid;
    border-right-width: 1.5px;
    border-right-color: rgba(255, 255, 255, 0.15);
    white-space: nowrap;
}

#headerBottomMenu li:hover {
    background-color: rgba(255, 255, 255, 0.05);
    box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
}

#headerBottomMenu ul li a {
    font-weight: bold;
    color: #FFFFFF; /*padding-bottom: 2px;*/
    /*padding-top: 2px;*/
    /*padding-left: 2px;*/
    border-style: none;
    text-decoration: none;
    display: block;
    font-size: 15px;
}

#headerBottomMenu ul li a:hover {
    color: #FFE7A5;
}

#headerBottomMenu ul li.open {
    background-color: rgba(255, 255, 255, 0.05);
    box-shadow: 0 2px 17px 0 rgba(0, 0, 0, 0.2), 0 -2px 20px 0 rgba(0, 0, 0, 0.19);
}

#headerBottomMenu ul li.open a {
    text-shadow: #666666 0px 2px 2px;
    color: #F3DB34;
}

#headerBottomMenu div, #headerMenu h1, #headerMenu h2, #headerMenu td, #headerMenu ul, #headerMenu li {
    /*font-family: "Helvetica Neue", "Helvetica", trebuchet ms, verdana, tahoma, arial, helvetica, sans-serif;*/
    /*font-weight: 300;*/
    color: #000;
    vertical-align: top;
    line-height: 1.5;
}

#headerBottomMenu a {
    color: #008AB8;
    border-bottom-style: none;
    border-bottom-width: 0;
    text-decoration: none;
}

/* Site Map */

#siteMapMenu ul.level1 a {
    padding-bottom: 2px;
    padding-top: 2px;
    padding-left: 2px;
    border-style: none;
    text-decoration: none;
    font-size: 16px;
    font-weight: normal;
    display: block;
    color: #236385;
}

#siteMapMenu li a:hover {
    color: #236385;
    background-color: #FFE7A5;
    border-style: none;
    text-decoration: none;
}

#siteMapMenu li a:visited {
    color: #236385;
}

#siteMapMenu ul ul.level2 li a {
    padding-left: 20px;
    font-weight: bold;
    font-size: 14px;
    padding-bottom: 2px;
}

#siteMapMenu ul ul.level3 li a {
    padding-left: 30px;
    font-weight: normal;
    font-size: 13px;
    padding-bottom: 1px;
}

#siteMapMenu ul ul.level4 li a {
    padding-left: 40px;
    font-weight: normal;
    font-size: 12px;
    padding-bottom: 1px;
}

#siteMapMenu ul ul.level5 li a {
    padding-left: 50px;
    font-weight: normal;
    font-size: 11px;
    padding-bottom: 0px;
}

#faqcontainer ul li {
    list-style-type: none;
    padding-left: 10px;
    background: url(/docroot/macrofocus/imgs/bullet_star_blue.gif) no-repeat 0 0.5em;
}

#faqcontainer p.ask {
    font-weight: bold;
    margin-left: 0px;
}

#faqcontainer p.answer {
    font-weight: normal;
    margin-left: 15px;
}

#faqcontainer pre.answer {
    font-weight: normal;
    margin-left: 15px;
}

#faqcontainer ul.answer {
    font-weight: normal;
    margin-left: 15px;
}

#footer .copyright {
    margin-top: 1px;
    padding-top: 1px;
    font-size: 8pt;
    color: #6d7177; /*text-shadow: #202123 0px 1px 1px;*/
}

#footer .line {
    background-color: #9b9ea2;
    font-size: 1px;
    line-height: 1px;
    height: 1px;
}

.ui-widget, .ui-widget .ui-widget {
    font-size: 89% !important;
}

.swissmade {
    text-transform: uppercase;
    font-size: smaller;
    text-shadow: -1px -1px 1px #fff, 1px 1px 1px #cccccc;
}

/* DocBook */
/********************************/
/* start of styles in block.xsl */

.formalpara-title {
    font-weight: bold;
}

div.blockquote-title {
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 1em;
}

span.msgmain-title {
    font-weight: bold;
}

span.msgsub-title {
    font-weight: bold;
}

span.msgrel-title {
    font-weight: bold;
}

div.msglevel, div.msgorig, div.msgaud {
    margin-top: 1em;
    margin-bottom: 1em;
}

span.msglevel-title, span.msgorig-title, span.msgaud-title {
    font-weight: bold;
}

div.msgexplan {
    margin-top: 1em;
    margin-bottom: 1em;
}

span.msgexplan-title {
    font-weight: bold;
}

/* end of styles in block.xsl */
/********************************/

/********************************/
/* start of styles in autotoc.xsl */


/* end of styles in autotoc.xsl */
/********************************/

/********************************/
/* start of styles in formal.xsl */

div.figure-title {
    font-weight: bold;
}

div.example-title {
    font-weight: bold;
}

div.equation-title {
    font-weight: bold;
}

div.table-title {
    font-weight: bold;
}

div.sidebar-title {
    font-weight: bold;
}


/* end of styles in formal.xsl */
/********************************/

/********************************/
/* start of styles in verbatim.xsl */

div.programlisting {
    white-space: pre;
    font-family: monospace;
}

div.screen {
    white-space: pre;
    font-family: monospace;
}

div.synopsis {
    white-space: pre;
    font-family: monospace;
}

/* end of styles in verbatim.xsl */
/********************************/

/* footnote rule */
hr.footnote-hr {
    width: 100;
}

.screen {
    font-family: monospace;
    font-size: smaller;
    display: block;
    padding: 10px;
    border: 1px solid #bbb;
    background-color: #eee;
    color: #000;
    overflow: auto;
    border-radius: 2.5px;
    -moz-border-radius: 2.5px;
    margin: 0.5em 2em;

}

.programlisting {
    font-family: monospace;
    font-size: smaller;
    display: block;
    padding: 10px;
    border: 1px solid #bbb;
    background-color: #ddd;
    color: #000;
    overflow: auto;
    border-radius: 2.5px;
    -moz-border-radius: 2.5px;
    margin: 0.5em 2em;
}

.productname {
    font-style: italic;
}

div.informaltable {
    font-size: smaller;
    display: block;
    padding: 10px;
    border: 1px solid #bbb;
    background-color: #ddd;
    color: #000;
    overflow: auto;
    border-radius: 2.5px;
    -moz-border-radius: 2.5px;
    margin: 0.5em 2em;
    padding: 0px;
}

.informaltable tbody tr th {
    border: 1px solid #bbb;
    /*background-color: #ddd;*/
}

/*div.example, div.figure {*/
    /*background-color: #f5f5f5;*/
/*}*/