#{# Add simple CSS style tweaks here. }

body {
    padding-top: 54px;
}

.navbar-brand {
    line-height: 36px;
    padding-top: 5px;
    padding-bottom: 5px;
}

#{ hover dropdown to open }
ul.nav li.dropdown:hover > ul.dropdown-menu {
    display: block;
}

.navbar-nav > li > a {
    font-size: 16px;
    line-height: 20px;
}

.blue {
    color: blue;
}

.DodgerBlue {
    color: #1E90FF;
}

.DarkGreen {
    color: #006400;
}

.Red {
    color: #FF0000;
}

.dropdown-submenu {
    position: relative;
}

.dropdown-submenu>.dropdown-menu {
    top: 0;
    left: 100%;
    margin-top: -6px;
    margin-left: -1px;
    -webkit-border-radius: 0 6px 6px 6px;
    -moz-border-radius: 0 6px 6px;
    border-radius: 0 6px 6px 6px;
}

.dropdown-submenu:hover>.dropdown-menu {
    display: block;
}

.dropdown-submenu>a:after {
    display: block;
    content: " ";
    float: right;
    width: 0;
    height: 0;
    border-color: transparent;
    border-style: solid;
    border-width: 5px 0 5px 5px;
    border-left-color: #ccc;
    margin-top: 5px;
    margin-right: -10px;
}

.dropdown-submenu:hover>a:after {
    border-left-color: #fff;
}

.dropdown-submenu.pull-left {
    float: none;
}

.dropdown-submenu.pull-left>.dropdown-menu {
    left: -100%;
    margin-left: 10px;
    -webkit-border-radius: 6px 0 6px 6px;
    -moz-border-radius: 6px 0 6px 6px;
    border-radius: 6px 0 6px 6px;
}

.dropdown-menu {
    min-width: 200px;
}

.dropdown-menu.columns-2 {
    min-width: 580px;

}
.dropdown-menu.columns-3 {
    min-width: 600px;

}
.dropdown-menu li a {
    padding: 5px 15px;
    font-weight: 300;
}

.multi-column-dropdown {
    list-style: none;
}

.multi-column-dropdown li a {
    display: block;
    clear: both;
    line-height: 1.428571429;
    color: #333;
    white-space: normal;
}

.multi-column-dropdown li a:hover {
    text-decoration: none;
    color: #262626;
    background-color: #f5f5f5;
}

@media (max-width: 767px) {
    .dropdown-menu.multi-column {
        min-width: 240px !important;
        overflow-x: hidden;
    }
}

.dialog-table tr {
    width: 100%;
    display: inline-table;
}

.dialog-table table {
    height:120px;
    width:100px;
    margin:0
    auto;
    border: 1px solid black;
}

.dialog-table tbody {
    overflow-y: auto;
    height: 120px;
    width: 100%;
    position: absolute;
}

.popover {
    max-width: 100% !important;
}

.div_column{
    width:100%;
}

.boxcontainer{
    float:left;
    width:50%;
    padding:10px;
    box-sizing: border-box;
}

.boxcontainer span{
    display:block;
}

.boxcontainer div.scroll{
    box-sizing: border-box;
    width:90%;
    resize: none;
    height:500px;
    border-style:groove;
    border-width:3px;
    overflow:auto;
    text-align: left;
}

code {
    font-family: monospace;
    background-color: white !important;
}

.unprocessed {
    color: grey;
    margin-top: -15px;
}

.supported {
    color: green;
    margin-top: -15px;
}

.unsupported {
    color: red;
    margin-top: -15px;
}

.unrecognized {
    color: mediumvioletred;
    margin-top: -15px;
}

.unimplemented {
    color: orange;
    margin-top: -15px;
}

.syntaxerrors {
    color: brown;
    margin-top: -15px;
}
