html {
    height: 100%;
}
body {
    margin: 0;
    font-family: Roboto, Arial, Helvetica, sans-serif;
    background-color: #eeeeee;
    height: 100%;
}
a.navbar-brand-fostam {
    padding: 3px 10px 3px 10px;
}
h2 {
    font-size:15pt;
    margin-top: 0px;
}
h1.mainHeadline {
    margin-top: 0px;
    margin-bottom: 0px;
    font-family: "Noto Sans", Arial, Helvetica, sans-serif;
	font-weight: normal;
    text-shadow: #aaaaaa 2px 2px 4px;
    color: #333333;
    font-size: 18pt;
    white-space: nowrap;
}
h2.mainHeadline {
    margin-top: 0px;
    margin-left: 60px;
    font-family: "Noto Sans", Arial, Helvetica, sans-serif;
	font-weight: normal;
    color: #333333;
    font-size: 10pt;
}
div.headline {
    float: left;
}
div.toolbar {
    float: left;
    margin-left: 20px;
    margin-top: 8px;
    margin-bottom: 15px;
    background-color: #ffffee;
    border: 1px solid #aaaaaa;
    padding: 5px 10px 5px 10px;
    box-shadow: 1px 1px 3px 0px #888;
}
#sectionTool {
    padding: 0px 5px 5px 10px;
}
#sectionToolInput {
    margin-bottom: 15px;
}
#sectionToolEmpty {
    font-size: 30pt;
    color: #dddddd;
    width: 100%;
    position: relative;
    top: 30%;
    text-align: center;
}
.tool-input {
}
.tool-input-text {
}
a.io-icon, a.io-icon:visited {
    padding-left:2px;
    color: #aaaaaa;
}
a.io-icon-danger:hover, a.io-icon-danger:hover span {
    color: red;
    text-decoration: none;
}
a.io-icon-success:hover, a.io-icon-success:hover span {
    color: green;
    text-decoration: none;
}
div.io-icon {
    margin-top: 2px;
    font-size: 8pt;
}
.monospace {
    font-family: "Courier New", Courier, monospace;
}
.right-inner-addon {
    position: relative;
}
.right-inner-addon input {
    padding-right: 30px;
}
.right-inner-addon i {
    position: absolute;
    right: 0px;
    padding: 10px 12px;
    pointer-events: none;
}
form.form-search {
    padding-right: 5px;
}
a.nav-preferences {
    margin-right: -10px;
    font-size: 12pt;
}
span.badge-slider {
    margin-left: 10px;
}
div.output-html {
    border: 1px solid #ccc;
    border-radius: 4px;
    background-color: white;
    padding: 6px 12px;
    height: auto;
    white-space: pre;
}
.json-string {
    color: green;
}
.json-number {
    color: blue;
}
.json-key {
    color: black;
    font-weight: bold;
}
.json-boolean {
    color: red;
}
.json-null {
    color: #666666;
    font-weight: bold;
}