/*
 *
 *	main.css - main stylesheet for all regular HTML pages
 *
 *	Copyright (c) 2016-2021 Software AG
 */

html {
    font-size: 100%;
}

body {
    margin-left: 18px;
    margin-right: 18px;
    font-family: Roboto;
    font-size: 15px; 
    font-size: 0.9125rem; 
}

/*
 *	Font definitions
 */

/* sans-serif font: Google Roboto */
@font-face {
    font-family: 'Roboto';
    font-weight: 400;
    font-style: normal;
    src: url('/resources/fonts/Roboto-Light.woff') format('woff');
}

@font-face {
    font-family: 'Roboto';
    font-weight: 400;
    font-style: italic;
    src: url('/resources/fonts/Roboto-LightItalic.woff') format('woff');
}

@font-face {
    font-family: 'Roboto';
    font-weight: 700;
    font-style: normal;
    src: url('/resources/fonts/Roboto-Bold.woff') format('woff');
}

@font-face {
    font-family: 'Roboto';
    font-weight: 700;
    font-style: italic;
    src: url('/resources/fonts/Roboto-BoldItalic.woff') format('woff');
}

/* monospaced font: Adobe SourceCodePro */
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 400;
    font-style: normal;
    font-stretch: normal;
    src: url('/resources/fonts/SourceCodePro-Regular.otf.woff') format('woff');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 400;
    font-style: italic;
    font-stretch: normal;
    src: url('/resources/fonts/SourceCodePro-It.otf.woff') format('woff');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 700;
    font-style: normal;
    font-stretch: normal;
    src: url('/resources/fonts/SourceCodePro-Bold.otf.woff') format('woff');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 700;
    font-style: italic;
    font-stretch: normal;
    src: url('/resources/fonts/SourceCodePro-BoldIt.otf.woff') format('woff');
}


/*
	Navigation Areas

 */

/*
	navigation bar
 */


/* adapt container-fluid class from Bootstrap to adjust right margin */
.container-fluid-rtl {
    margin-left: 0px;
    margin-right: auto;
    padding-left: 0px;
    padding-right: 15px;
}

/* group navbar and breadcrumbs and protect background */
.navcontainer {
    position: fixed;
    top: 0;	
    left: 18px;
    right: 18px;
    height: 48px;
    background-color: white;
    z-index: 10;
}

@media (max-width: 767px) {
    .navcontainer {
	left: 0px;
	right: 0px;
    }
}

.navbar-sag {
    margin-bottom: 8px;
    background-color: #1776BF;
    border-radius: 0px;
    min-height: 38px !important;
}

@media (max-width: 767px) {
    .navbar-nav>li {
	float: left;
    }
}


/* render "A-Z" index link (beware: hack!) */
.navbar-index-background {
    width: 68px;
    height: 30px;
    margin-top: 8px;
    margin-bottom: 0px;
    display:inline-block;
    background: #1776BF;
    color: #FFF;
}
@media (max-width: 767px) {
    .navbar-index-background {
	width: 2.5em;
    }
}

.navbar-index {
    padding-top: 14px;
    padding-left: 21px;
    font-weight: bold;
    font-size: 16px;
    color: white;
    text-align: center;
}

.navbar-index:hover {
    font-weight: bold;
    font-size: 18px;
    color: white;
    text-decoration: none;
}

@media (max-width: 767px) {
    .navbar-index{
	padding-left: 3px;
    }
}

.navbar-text-rtl {
  margin-top: 8px;
  margin-bottom: 0px;
  font-weight: bold;
  font-size: 18px;
  color: white;
}

/* set height of the navbar (default is 50px)
   and align items properly */
.navbar-nav > li > a, .navbar-brand {
    padding-left: 8px !important; 
    padding-top: 8px !important; 
    height: 38px;
}

.navbar-brand:hover,
.navbar-brand:focus {
    background-color: #1776BF !important;
}

/* slight logo shift */
a.navbar-brand > img {
    margin-top: 5px;
}

@media (max-width: 767px) {
    .navbar-brand {
	padding-right: 0;
    }

    .navbar-sag .navbar-form {
	padding: 0;
	margin: 7px 0 0 0;
    }
}

/* 21px is maximum if not to extend defined navbar height */
.navbar-form-control-sag {
    height: 21px;
    padding: 2px 8px;
    -moz-border-radius: 18px;
    -webkit-border-radius: 18px;
    border-radius: 18px;
}

.navbar-header{
    float:none;
}

.navbar-left{
    float:left;
    margin: 0px 0 0 0;
}

@media (max-width: 767px) {
    .navbar-right {
        float: right;
        margin: 0;
    }
}


/*
	breadcrumbs
 */
.nottocindex div.container-breadcrumb {
    position: fixed;
    width: 100%;
    top: 48px;
    height: 39px;
    background-color: #fff;
    z-index: 5;
}

.breadcrumb-sag {
    font-family: Roboto, sans-serif;
    font-size: 0.83rem;
    padding: 4px;
    position: fixed;
    top: 48px;
    background-color: #eeeeee;
    right:18px;
    left:18px;
    margin-bottom:2px;
}
.breadcrumb-sag-toc{
    left:25%;
    margin-left:8px;
}
@media (max-width: 767px) {
    .nottocindex div.container-breadcrumb {
        height: 60px;
    }
    .breadcrumb-sag-toc{
        left:18px;
        margin-left:0;
    }
}

.breadcrumb-header {
    font-weight: bold;
}

.breadcrumb > li + li:before {
    content: "|\00a0";
    font-weight: bold;
}

.breadcrumbs-print {
    display: none;
}


/*
	overview page
*/

.overview-page {
    margin-top: 64px;
    margin-bottom: 36px;
    font-family: Roboto, Arial, Helvetica, sans-serif;

}

.category-row {
    margin-bottom: 10px;
    font-size: 1rem;
    color: #000;
}

@media (min-width: 768px) {
    .category-row {
	-webkit-column-count: 2;
	   -moz-column-count: 2;
                column-count: 2;
	-webkit-column-width: 200px;
           -moz-column-width: 200px;
                column-width: 200px;
          -webkit-column-gap: .75em;
             -moz-column-gap: .75em;
                  column-gap: .75em;
    }
}

/* degenerate to single column */
@media (max-width: 767px) {
    .category-row {
             -webkit-columns: 1 200px;
                -moz-columns: 1 200px;
                     columns: 1 200px;
          -webkit-column-gap: 0em;
             -moz-column-gap: 0em;
                  column-gap: 0em;
    }
}

/* use this for the last of an odd number of categories to span complete width */
.category-spanrow {
    margin-bottom: 10px;
    font-size: 1rem;
    color: #000;
}

.clear-row {
    clear: both;
}

@media (min-width: 768px) {
    ul.category-left {
	margin-left: 27px;
	padding: 0;
	list-style-type: none;
    }
    
    ul.category-right {
	margin-right: 27px;
	padding: 0;
	list-style-type: none;
    }
    
    ul.category-single {
	margin-left: 27px;
	margin-right: 27px;
	padding: 0;
	list-style-type: none;
    }
    li.empty-category { }
}

@media (max-width: 767px) {
    ul.category-left,
    ul.category-right,
    ul.category-single {
	margin-left: 9x;
	margin-right: 9px; 
	padding: 0;
	list-style-type: none;
    }
    li.empty-category {
	display: none;
    }
}

.category-header {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 1.175rem;
    padding-left: 5px;
    padding-bottom: 3px;
    list-style-type: none;
}

li.category-header {
    color: #333;
}

.category-item {
    padding-left: 5px;
    background-color: #eee;
    list-style-type: none;
}

.category-item a:visited {
    text-decoration: none;
    color: #000;
}

.category-item a:link {
    text-decoration: none;
    color: #000;
}

.category-item a:hover {
    text-decoration: none;
    color: #1776BF;
}


/*
	sidebar for displaying TOC (and index) entries
 */

/* http://www.jonathanbriehl.com/2014/01/17/vertical-menu-for-bootstrap-3/ */
/* make sidebar nav vertical */
@media (min-width: 768px) {
    .sidebar-nav .navbar .navbar-collapse {
	padding: 0;
	max-height: none;
    }

    .sidebar-nav .navbar ul {
	float: none;
    }
    
    .sidebar-nav .navbar ul:not {
	display: block;
    }
    
    .sidebar-nav .navbar li {
	float: none;
	display: block;
    }
    
    .sidebar-nav .navbar li a {
	padding-right: 15px;
    }
}

@media (min-width: 768px) {
    .dropdown-menu {
	width: 100%;
    }
}


/* additions by PHDCC for TOC */

.navbar-toc{
    min-height: auto;
}

.navbar-toc-tree li a {
    padding: 0 0 0 5px;
    color: #000;
}
.navbar-toc-tree li li a {
    padding-left: 15px;
}
.navbar-toc-tree li li li a {
    padding-left: 25px;
}
.navbar-toc-tree li li li li a {
    padding-left: 35px;
}
.navbar-toc-tree li li li li li a {
    padding-left: 45px;
}
.navbar-toc-tree li li li li li li a {
    padding-left: 55px;
}

/* Clicking anywhere on line opens/closes. Indent second+ lines */
.fishi-dd a {
    display: block;
    xtext-indent: -10px;
}

/* set gap between entry text and arrow */
.fishi-arrow {
    margin-left: 10px;
    margin-right: -15px;
    color: #1776BF;
}

.fishi-dd-menu {
    display: none;
    font-size: 0.925rem;
    list-style: outside none none;
    padding-left: 0px;
    margin-left: 0px;
 }
.sidebar-nav .tocnavbar .fishi-dd-menu li a {
    padding-left: 24px;
 }
.sidebar-nav .tocnavbar .fishi-dd-menu li li a {
    padding-left: 36px;
 }
.navbar-default .navbar-nav > li a {
    color: #777;
 }
.navbar-default .navbar-nav > li > a {
    xbackground-color: #edc;
 }
.navbar-default .navbar-nav > li li > a {
    xbackground-color: #fed;
 }
.navbar-default .navbar-nav > li li li > a {
    xbackground-color: #fec;
 }
.tocnav > li a {
    display: block;
    padding: 10px 15px;
    position: relative;
 }
.navbar-default .navbar-nav > .active > a,
    .navbar-default .navbar-nav > .active > a:hover,
    .navbar-default .navbar-nav > .active > a:focus {
    background-color: #e7e7e7;
    color: #555;
 }
li.fishi-dd > a:hover,
.fishi-dd-menu > li > a:hover,
     .navbar-default .navbar-nav > li > a:hover,
     .navbar-default .navbar-nav > li > a:focus {
    background-color: #e7e7e7;
    color: #1776BF;
 }
.navbar-default .navbar-nav > .active > a,
.navbar-default .navbar-nav > .active > a:hover,
.navbar-default .navbar-nav > .active > a:focus {
    color: #555;
    background-color: #e7e7e7;
 }
.tocnav  li > a:hover,
.tocnav  li > a:focus {
    text-decoration: none;
    background-color: #eee;
 }

.fishi-active {
    font-weight: bold !important;
    background-color: #cfcfce !important;
}

/*
	Footer Area
 */
.footer {
    background: #fff none repeat scroll 0 0;
    border-top: 1px solid #1776BF;
    clear: both;
    color: #aaa;
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 0.8em;
    padding: 5px;
    text-align: center;
}

/* back to top */
.scrollToTop {
    width: 35px;
    height: 35px;
    padding: 10px;
    border: 2px solid;
    border-radius:20px;
    text-align:center;
    border-color:#1776BF;
    position:fixed;
    bottom: 20px;
    right: 20px;
    display: none;
    z-index: 10;
    background: url('../graphics/uparrow.png') no-repeat 8px 7px;
}

/* extend breadcrumbs and footer to the margins */
.col-sm12-sag {
    /* padding-left: 0; */
    padding-right: 0;
}


/*
	Block-level elements
*/

/* Headings */
H1 {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 1.75rem;
    font-weight: bold;
    color: #666666;
    margin-top: 0;}
H2 {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 1.45rem;
    font-weight: bold;
    color: #666666;
}
H3 {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 1.25rem;
    font-weight: bold;
    color: #666666;
}

H4 {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 1.175rem;
    font-weight: bold;
    color: #666666;
}
H5 {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-size: 1.0rem;
    font-weight: bold;
    color: #666666;
}

li > h4.floating-title {
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-size: 1.0rem;
}
/* override <blockquote> definitions from bootstrap */
blockquote {
    border-left: none;
    font-size: 100%;
    margin: 0;
    padding: 0;
}

/*
	List structures
*/

/* render list style symbols as coloured squares */
LI P, LI PRE, LI STRONG            { color: #000000; } 
UL LI P, UL LI PRE, UL LI STRONG   { color: #000000; } 
UL LI TABLE			   { color: #000000; } 

UL LI                   { list-style-type: square;       color: #1776BF; }
OL LI                   { list-style-type: decimal;      color: #000000; }
OL LI UL LI             { list-style-type: square;       color: #1776BF; }
OL LI OL LI             { list-style-type: lower-alpha;  color: #000000; }
OL LI OL LI UL LI       { list-style-type: square;       color: #1776BF; }
OL LI OL LI OL LI       { list-style-type: lower-roman;  color: #000000; }
OL LI OL LI OL LI OL LI { list-style-type: upper-alpha;  color: #000000; }


DL { margin-left: 1.3em; }
DT {
    font-weight: bold;
    margin-top: 0.8em;
}
DD {
    margin-top: 6pt;
    margin-bottom: 6pt;
}

/* to control vertical spacing of paragraphs within list items */
p.initem {
    margin-top: 0;
    margin-bottom: 0;
}

/* to control vertical spacing of nested lists */
li.nesteditem {
    margin-top: 0;
    margin-bottom: 0;
}

/* to control vertical spacing of paragraphs within nested lists */
p.innesteditem   {
    margin-top: 0;
    margin-bottom:0;
}

/* to control placement of bluearro.png in "To" instructions */

img.to{
margin-bottom: 3px;
margin-right: 5px;
}

/* to control vertical spacing of paragraphs within lists in instructions */
p.instep {
    margin-top: 4px;
    margin-bottom: 4px;
}
ol.steps {
    margin-top: 0.07in;
}
li > pre {
    margin-top: 5px;
    margin-bottom: 5px;
}
li > table {
    margin-top: 5px;
    margin-bottom: 5px;
}

/* to control vertical spacing of paragraphs and pre within definition lists */
DD > P {
    margin-top: 0.07in;
    margin-bottom: 0;
}
DD > DIV.admonition {
    margin-left: 10px;
}
DL > P {
    margin-left: 10px;
}
DD > PRE {
    margin-left: 10px;
}
DD > TABLE {
    margin-left: 10px;
}


/* Tables */

table {
    margin-top: 0.5em;
}
table.color {
    margin-top: 6pt;
    margin-bottom: 5px;
    border-width: 0;
    background-color: #ffffff;
}
table.color TD {
    vertical-align: top;
    padding: 1px;
    border: 2px solid;
    border-color: #ffffff;
    background-color: #F2F2F2;
}
table.color TH {
    color: #323232;
    background-color: #CCCCCB;
    padding: 1px;
    border: 2px solid;
    border-color:#ffffff;
}
table.color TABLE TD {
    background-color: transparent;
    border-color: transparent;
}	     
table.color TABLE TH {
    color: #323232;
    border-color:#F2F2F2;
}	     
table.screen {
    padding: 5px; 
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    background-color: #F2F2F2;
}
table.screen PRE {
    margin: 0;
    background-color: #F2F2F2;
}
table.small {
    margin-top: 0.5em;
    font-size: 0.8em;
}
table.overview {
    margin-top: 0.5em;
    margin-left: 0.8em; }

td {
    vertical-align: top;
}
td.titem {
    padding-right: 7px;
}
td.bar {
    font-size: 5pt;
}
td.logo {
    vertical-align: middle;
}
th {
    color: #323232;
    background-color: #CCCCCB;
    border: 1px solid;
    border-color: #CCCCCB;
    text-align: initial;
}
caption {
    font-family: Arial, Helvetica, Verdana, sans-serif;
    font-size: 1em;
    font-weight: bold;
    color: #000099;
    text-align: center;
}
.bottom {
    vertical-align: bottom;
}
.middle {
    vertical-align: middle;
}

td.syntax, p.syntax {
    font-family: Arial, Helvetica, Verdana, sans-serif;
    font-size: 0.8em;
    color: #000000;
    vertical-align: middle;
}
.smallhead {
    font-size: 10pt;
    font-weight: bold;
    vertical-align: bottom;
}
.copyright   {
    font-family: Arial, Helvetica, Verdana, sans-serif;
    font-size: 0.7em;
    color: #999999;
}
.arrow {
    margin-top: -7px;
    margin-bottom: -7px;
}
pre {
    font-family; Source Code Pro; !important;
    padding: 4px;
}

pre.small {
    font-family; Source Code Pro;
    font-size: 0.75em;
}

/* print or noprint: uncomment the next two lines for Natural native HTML */
.print {
    visibility: hidden;
    position: absolute;
}   
/*.noprint { background-color: #cccccc; } */

/* Natural syntax tables */
td table.syntax {
    font-family: Source CodePro, monospace;
    font-size: 70%;
    background-color: #FFFFFF;
    border: 0px;
} /* for compatibility reasons (XML/HTML) */
table.syntax {
    font-family: Source Code Pro, monospace;
    font-size: 100%;
    background-color: #FFFFFF;
    border:1px solid #000000;
    margin-top: 20px;
    margin-bottom: 20px;
}
table.syntax tt {
    font-family: Source Code Pro, monospace;
    font-size: 100%;
}
table.syntax td {
    border-color: white;
    vertical-align: middle;
    padding: 2px;
}
table.syntax p {
    margin: 0;
}
table.syntax a:hover {
    background: #E9EEF5;
}
table.syntax a:link,
table.syntax a:visited,
table.syntax a:active {
    text-decoration: none;
    color: #000000;
}

/* selection boxes */
table.selbox {
    border-width: 0;
    padding: 5px;
    margin-top: 70px;
}

/* title above selection box; used to be class "module" */
.selboxtitle {
    font-size: 8pt;
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-weight: bold;
    color: #666666; 
    vertical-align:bottom;
    text-align:left;
}

.selbox-container {
    position: relative;
    left: 30px;
    bottom: -10;
}

/* Controlling white space */
td pre.verbatim {
    border: 0;
    margin: 0;
    padding-top: 5px;
    padding-left: 0px;
    padding-bottom: 5px;
}
.command-input {
    padding: 1px;
    font-family: Roboto, Arial, Helvetica, sans-serif;
    font-weight: bold;
    background-color: #F2F2F2;
}
table.color pre.syntax-example {
    background-color: #fff;
}
table.color pre.system-output {
    background-color: #fff;
}
.syntax-example {
    background-color: #F2F2F2;
}
.syntax-diagram {
    background-color: #FFFFFF;
}
.verbatim {
    font-family: Source Code Pro;
    padding: 1px;
    background-color: #F2F2F2;
}
.system-output {
    background-color: #F2F2F2;
}
.text {
    background-color: #F2F2F2;
}
/* planning information in draft documents */
pre.planning {
    font-family: Courier;
    background-color: #FFC0C0;
    margin-top: 3pt;
    margin-bottom: 3pt;
    margin-left: 0.25in;
    display: block;
    white-space: pre;
}
.codeblock {
    font-family: Source Code Pro;
}


/* Links */
a:link {
    text-decoration: none;
    color: #1776BF;
}
a:visited {
    text-decoration: none;
    color: #666699;
}
a:active {
    font-weight: regular;
    color: #1776BF;
}
a:hover {
    font-weight: regular;
    text-decoration:none; 
    color: #1776BF;
    background-color: transparent;
}


/*
	Inline-level elements
*/

/* references to other sources */
cite {  }
/* indication of glossary entry */
dfn {  }
/* program snippets */
samp {  }
/* replaceable placeholders */
var    {  }

/* programming items, SGML/XML items - used in Natural syntax diagrams */
code {
    font-family: Source Code Pro;
    padding: 0;
    font-size: 100%;
    color: black;
    background-color: transparent;
}
code.keyword,
.syntax-keyword {
    font-family: Source Code Pro;
    font-weight: bold;
    color: #000000;
    background-color: transparent;
}
a:link,
a:link code {
    text-decoration: none;
    color: #1776BF;
}
a:visited,
a:visited code {
    text-decoration: none;
    color: #666699;
}
a:active,
a:active code {
    font-weight: regular;
    color: #1776BF;
}
a:hover,
a:hover code {
    font-weight: regular;
    text-decoration: none;
    color: #1776BF;
    background-color: transparent;
}

/* Glossary Titles */
a strong {
    color: #000000;
}

/* command button in a GUI */
.guibutton {
    font-weight: bold;
}

/* any non-selectable label in a GUI */
.guilabel {  }

/* selectable label*/
.selectable_label {
    font-weight: bold;
}

/* name of a selectable GUI menu */
.guimenu {
    font-weight: bold;
}

/* name of a selectable GUI menu command */
.guimenuitem {
    font-weight: bold;
}

/* selectable item in any list in a GUI */
.guilistitem {
    font-weight: bold;
}

/* name of a key on the keyboard */
.key {
    font-size: smaller;
}

/* <p> element in definition list <dd> */
.definition {
    margin-left: 10px;
}


/* PHDCC: highlighting of search results in notification color green (Success) */
mark {
     background: #BAD80A;
     color: black;
}


/* BIDI support */

.dir-ltr {
    align: left;
    text-align: left;
}
.dir-rtl {
    align: right;
    text-align: right;
}


html[dir='rtl'] .col-sm-3 {
    left: 75%;
}
html[dir='rtl'] .col-sm-9 {
    right:25%;
}

.tocindex{ /* Initially not displayed. Not L or R padding. */
    display:none;
    padding: 0 15px 0 0;
}

#toc-top{
    height: 25px;
    background-color: #1776BF;
    border-top-left-radius: 4px;
    border-top-right-radius: 4px;
}

/* set top margin to the same value as the height of the navcontainer */
.main-body{
	margin-top: 48px;
}

.hidetitle{
	display:none;
}

.nottocindex{
    padding:0;
}

.pageheading{
    margin-top:40px;
}

@media (max-width: 767px) {
    .pageheading{
        margin-top:58px;
    }
    .sidebar-nav{
        margin: 50px -15px -40px 0;
    }
}
:target:before {
  content: "";
  display: block;
  height: 100px;
  margin: -100px 0 0;
}


/* print settings */
@media print {
    body {
	color: #000000;
	background: #ffffff;
	font-size: 12pt;
	width: 100%;
	margin: 0;
	padding: 0;
    }

    h1 {
	color: #000000;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18pt; 
	margin-top: 60px;
    }

    
    h2, h3 {
	font-family: Arial, Helvetica, sans-serif;
	color: #818181;
	page-break-after: avoid;
    }

    h2 {
	font-size: 16pt;
    }
    
    h3 {
	font-size: 14pt;
    }

    img {
	max-width: 100% !important;
	page-break-inside: avoid;
    }

    table th, table td {
	border:solid #000 !important;
	border-width:0 1px 1px 0 !important;
    }

    .navcontainer, .modal,
    .sidebar-index, .sidebar-nav, .selbox-container, .footer {
	display: none;
    }

    .breadcrumbs-print {
	font-family: Arial, sans-serif;
	font-size: 10pt;
	padding: 4px;
	top: 148px;
	color: #818181;
	right:18px;
	left:18px;
	margin-bottom:2px;


    }

    .breadcrumb-sag-print {
    }

    .breadcrumb-header {
	list-style-type: none;
	color: #818181;
    }

    .breadcrumb>li {
        display: inline-block;
    }
    .breadcrumb-sag,    
    .navcontainer,
    .nottocindex div.container-breadcrumb{
        position:relative;
        top:0;
    }
    .ww_skin_print{
        display: none !important;
    }
    .main-body {
        margin-top: 0;
    }
    h1,
    .pageheading {
        margin-top: 0;
    }
    
    @page {
	margin: 1.8cm;
    }
}

/* retain functionality of full-text search with newer Bootstrap js code */
.fade {
  opacity: 1;
}
.modal.fade .modal-dialog {
  transform: none;
}

