/* This file generated by binderize with dita.create_css_override() in Binder module dita.py */
body { font-family: Calibri,sans-serif; font-size: 100%; }
h1, h2, h3, h4 { font-family: Helvetica,sans-serif; }
#header { height: 56px; }
#toolbar { height: 40px; margin-right: 20px; }
#search { padding-top: 6px; }
#toc_breadcrumbs { padding-top: 0.5em; padding-bottom: 0; }
#top_title_arc { border:0; padding: 0; margin: 0; height: 0; }
#mi_link { float: left; margin: 0; border:0; padding:0; margin-left: 25px; margin-top: 12px; }
#top_title_by_logo { font-size: 1.5em; font-family: Arial,sans-serif; font-weight:bold;
                      display: inline-block;  margin-top: 17px; margin-left: 10px; }
#search_results .result { padding-top: 10px; padding-bottom: 10px; }
#search_form { padding-top: 20px; }
.topictitle1 { padding-top: 10px; }
.linkd  { color: #AA0000; }
.xlinkd { color: #AA0000; }
.linkt  { color: #AA0000; }
.xlinkt { color: #AA0000; }
ol, ul { margin: 0 0 0 1.5em; }
ul li { margin-bottom: .4em; margin-top: .4em; }
ol li { margin-bottom: .4em; margin-top: .4em; }
p { margin-bottom: .7em; margin-top: .7em; }
li p { margin-bottom: 0; margin-top: 0; }
.sectiontitle { margin: 1em 0 0.6em 0; }
.cellrowborder p { margin-top: 0; }
td { line-height: 1.5em; }
.codeblock { border: 1px solid; padding: .75em 1em .75em 1em; line-height: 16px;
             font-family: monospace; font-size: 12px; }
.code_example { border: 0; }
.dlterm { font-weight: normal; }
.comment { color: #116600; padding: 0; margin:0; border: 0; border-style: none; }
div.fignone span { font-size: 1em; color: black; font-style: italic; }
#build_number { margin-top: 0px; padding-top: 0px; padding-right: 10px; }
#footer { padding-top: 4px; }
#legal { padding-top: 4px; padding-bottom: 0px; }
.linenum { font-size: 80%; color: #666666; padding-right: 1em; }
.linenum_blank { font-size: 80%; color: #666666; padding-right: 1em; }
.plaintext_link { font-style: italic; padding-bottom: .5em; padding-top: -.25em; }
.red { color: #AA0000; }
/* Workaround for unmatchingly small monospace fonts: */
body { font-size: 1em; }
tt { font-family: monospace,serif; font-size:1em; }