html {overflow-y: scroll !important;}

body {
    padding-top: 70px;
}

/*#dropdown_menu {
    display: block;
}
#horizontal_menu {
    display: none;
}*/
@media (min-width: 1001px) {
    #dropdown_menu {
        display: none;
    }
    #horizontal_menu {
        display: block;
    }
}
@media (max-width: 1000px) {
    #dropdown_menu {
        display: block;
    }
    #horizontal_menu {
        display: none;
    }
}

a.anchor{display: block; position: relative; top: -170px; visibility: hidden;}

.btn-group-justified>.btn {
    overflow: hidden;
}

blockquote {
    font-size: 16px;
}

textarea#instance {
    font-family: "Courier New", Courier, monospace;
    font-size: 14px;
}

textarea#logcontent {
    font-family: "Courier New", Courier, monospace;
    font-size: 14px;
}

.helpbox {
    clear:both;
    color:black;
    font-family: Georgia, "Times New Roman", Times, serif;
    font-size: 16px;
}
.helpbox .format {
    float: left; display: inline-block; padding-right: 20px;
}
.helpbox .description {
    float: left; display: inline-block; white-space: nowrap;
}
.helpbox .description .variable {
    width: 30px; display: inline-block; text-align:center; margin-left:5px;
}
.helpbox .description .limit {
    padding-left: 5px;
}

.nav-tabs-right       { text-align: right; }
.nav-tabs-right > li  { display: inline-block; float: none; }

.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;
}