#no-table-values {
    width: 500px;
    height: 500px;
    overflow: hidden;
}

#tabular-content-application {
    background-color: white;
}

.table-content-id {
    white-space: nowrap;
    overflow: hidden;
    display: block;
}

#table-top-left-corner {
    overflow: hidden /*visible*/;
    white-space: nowrap;
    font-family: "Barlow semi condensed", sans-serif;
    margin-left: 6px;
    margin-top: -1px;
    text-shadow: 1px 1px 3px rgba(0, 0, 0, 0.6);
}

.argument-select {
    text-align: right;
}

#toolbar {
    background: rgba(242, 242, 242, 1);
    background: -moz-radial-gradient(
        center,
        ellipse cover,
        rgba(242, 242, 242, 1) 19%,
        rgba(232, 232, 232, 1) 31%,
        rgba(217, 217, 217, 1) 50%,
        rgba(209, 209, 209, 1) 67%,
        rgba(209, 209, 209, 1) 74%
    );
    background: -webkit-gradient(
        radial,
        center center,
        0,
        center center,
        100%,
        color-stop(19%, rgba(242, 242, 242, 1)),
        color-stop(31%, rgba(232, 232, 232, 1)),
        color-stop(50%, rgba(217, 217, 217, 1)),
        color-stop(67%, rgba(209, 209, 209, 1)),
        color-stop(74%, rgba(209, 209, 209, 1))
    );
    background: -webkit-radial-gradient(
        center,
        ellipse cover,
        rgba(242, 242, 242, 1) 19%,
        rgba(232, 232, 232, 1) 31%,
        rgba(217, 217, 217, 1) 50%,
        rgba(209, 209, 209, 1) 67%,
        rgba(209, 209, 209, 1) 74%
    );
    background: -o-radial-gradient(
        center,
        ellipse cover,
        rgba(242, 242, 242, 1) 19%,
        rgba(232, 232, 232, 1) 31%,
        rgba(217, 217, 217, 1) 50%,
        rgba(209, 209, 209, 1) 67%,
        rgba(209, 209, 209, 1) 74%
    );
    background: -ms-radial-gradient(
        center,
        ellipse cover,
        rgba(242, 242, 242, 1) 19%,
        rgba(232, 232, 232, 1) 31%,
        rgba(217, 217, 217, 1) 50%,
        rgba(209, 209, 209, 1) 67%,
        rgba(209, 209, 209, 1) 74%
    );
    background: radial-gradient(
        ellipse at center,
        rgba(242, 242, 242, 1) 19%,
        rgba(232, 232, 232, 1) 31%,
        rgba(217, 217, 217, 1) 50%,
        rgba(209, 209, 209, 1) 67%,
        rgba(209, 209, 209, 1) 74%
    );
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f2f2f2',
		endColorstr='#d1d1d1', GradientType=1);
}

.dimmed,
.glyphicon {
    color: gray;
    font-size: 85%;
    margin-right: 3px;
}

#table-content-name {
    margin-left: 20px;
    font-size: 85%;
    font-style: italic;
}

#grey-bg {
    background-color: rgba(0, 0, 0, 0.5);
    z-index: -10;
}

#background {
    background-color: white;
}

.numbers {
    font-family: Lato, sans-serif;
}

#toolbar {
    background-color: #e5e5e5;
}

.htmlCell {
    width: 50px;
    height: 23px;
    border-color: grey;
    border-style: solid;
    border-width: 1px;
    font-family: Lato, sans-serif;
    text-align: right;
}

.htCore {
    font-family: Lato, sans-serif;
    text-align: right;
}

.isfirst {
    text-align: right;
    width: 100px;
}

#bottom-zone .cell,
#middle-right-zone .cell {
    font-style: italic;
}

td.cell {
    border-bottom: 1px solid #d0dfff;
}

td.arg {
    background-color: #eaeaea;
}

td.no-border {
    border-bottom: 0 solid black;
    border-right: 0 solid black;
    background-color: #646464;
}

td.isdec {
    border-right: 2px solid #00c000;
}

td.entry.islast {
    border-right: 3px solid black;
}

td.arg.islast {
    border-right: 3px solid black;
}

td.arg.isfirst.index0 {
    border-left: 3px solid black;
}

td.arg.index1 {
    border-bottom: 3px solid black;
}

td.info.islast {
    border-right: 3px solid black;
}

td.error {
    color: red;
    background-color: rgba(255, 181, 181, 0.75) !important;
}

td.suggested {
    color: #339900;
}

td.info.suggested {
    color: #303030;
}

td.entry.even0 {
    background-color: #f7f7f7;
}

td.info.odd0 {
    background-color: #f1f1f1;
}

td.info.even0 {
    background-color: #e9e9e9;
}

td.info.cell {
    border-bottom: 1px solid #eaeaea;
}

td.arg.source,
td.entry.source {
    /*background-color : #FFA500;*/
    background-color: rgba(255, 165, 0, 0.6);
}

/* error */
td.arg.source.suggested,
td.entry.source.suggested {
    /*background-color : #FFA500;*/
    /*background-color: rgba(255, 165, 0, 0.60);*/
    /*background-color: #eee*/
    background: repeating-linear-gradient(
        -55deg,
        rgba(255, 165, 0, 0.6),
        rgba(255, 165, 0, 0.6) 5px,
        rgba(20, 20, 20, 0.6) 5px,
        rgba(20, 20, 20, 0.6) 8px
    );
    /*color:red;*/
}

/* error */
td.arg.target,
td.entry.target {
    /*background-color : #a1e169;*/
    /*background-color: rgba(102,123,102,0.80);*/
    background: repeating-linear-gradient(
        -55deg,
        rgba(162, 225, 105, 0.8),
        rgba(162, 225, 105, 0.8) 5px,
        rgba(20, 20, 20, 0.6) 5px,
        rgba(20, 20, 20, 0.6) 8px
    );
    /*background-color: #eee*/
    /*color:red;*/
}

td.arg.target.suggested,
td.entry.target.suggested {
    /*background-color : #a1e169;*/
    background: repeating-linear-gradient(
        -55deg,
        rgba(162, 225, 105, 0.8),
        rgba(162, 225, 105, 0.8) 5px,
        rgba(162, 225, 105, 0.8) 5px,
        rgba(162, 225, 105, 0.8) 8px
    );
    background-color: rgba(162, 225, 105, 0.8);
    /*color:green;*/
}

td.argument.commentary_zone,
td.entry.commentary_zone {
    position: relative;
    z-index: 15;
}

td.entry.islast.commentary_present,
td.arg.islast.commentary_present {
    border-right: 7px solid #ff9900;
}

td.entry.symmetry {
    background-color: #c7c7c7;
}

td.secondary.entry.even0 {
    background-color: #d7d7d7;
}

td.secondary.entry.odd0 {
    background-color: #d7dfd7;
}

th.hiddenHeader {
    display: none;
}

.htmlCell.isfirst.arg_special {
    width: 50px;
}

.htmlCell.arg {
    background-color: #dadada;
}

td.htmlCell.highlight_zone {
    background-color: #dadafa;
}

/* tool bar */
.mydropdown {
    display: inline-block;
    text-align: center;
    height: 42px;
    width: 10vh;
    vertical-align: middle;
    border-radius: 0;
    font: normal normal bold 20px arial;
    color: #000000;
    text-decoration: none;
    margin: 6px 0 0 6px;
}

.mydropdown:hover {
    background: #ffffff;
    background: -webkit-gradient(linear, left top, left bottom, from(#ffffff), to(#e3e3e3));
    background: -moz-linear-gradient(top, #ffffff, #e3e3e3);
    background: linear-gradient(to bottom, #ffffff, #e3e3e3);
}

.thebutton-separator {
    width: 42px;
}

.thebutton {
    height: 42px;
    width: 42px;
    display: inline-block;
    border: 2px outset;
    border-radius: 0;
    font: normal normal bold 20px arial;
    color: #ffffff;
    text-decoration: none;
    padding: 0 0 0 0;
    margin: 6px 0 0 6px;
    /*margin: 0 auto;*/
}

.submitbutton {
    height: 42px;
    width: 100%;
    display: inline-block;
    border: 2px outset;
    border-radius: 0;
    font: normal normal bold 20px arial;
    color: #000000;
    text-decoration: none;
    padding: 0 0 0 0;
    margin: 6px 0 0 6px;
    text-align: center;
    padding: 5px 5px 0 5px;
}

.submitbutton:hover {
    color: #3f3f3f;
}

.submitbutton:focus {
    color: #3f3f3f;
}

.submitbutton:active {
    color: #3f3f3f;
}

.submitbutton:link {
    color: #3f3f3f;
}

.submitbutton:selected {
    color: #3f3f3f;
}

.clearsubmitbutton {
    height: 42px;
    width: 100%;
    display: inline-block;
    border: 2px outset;
    border-radius: 0;
    font: normal normal bold 20px arial;
    color: #000000;
    text-decoration: none;
    padding: 0 0 0 0;
    margin: 6px 0 0 6px;
    text-align: center;
    padding: 5px 5px 0 5px;
    background: #f3f3f3;
}

.blankseparator {
    height: 42px;
    width: 2px;
    left: 0;
    display: inline-block;
    /*text-align: center;
    vertical-align: middle;*/
    /*border: 1px solid #ffffff;*/
    border-radius: 0;
    font: normal normal bold 20px arial;
    color: #ffffff;
    text-decoration: none;
    padding: 0 0 0 0;
    margin: 6px 6px 10px 6px;
    /*margin: 0 auto;*/
}

.theseparator {
    height: 42px;
    width: 2px;
    left: 7px;
    display: inline-block;
    background-color: #a0a0a0;
    border-radius: 0;
    font: normal normal bold 20px arial;
    color: #ffffff;
    text-decoration: none;
    padding: 0 0 0 0;
    margin: 6px 10px 10px 6px;
    /*margin: 0 auto;*/
}

.thebutton:hover {
    background: #ffffff;
    background: -webkit-gradient(linear, left top, left bottom, from(#ffffff), to(#e3e3e3));
    background: -moz-linear-gradient(top, #ffffff, #e3e3e3);
    background: linear-gradient(to bottom, #ffffff, #e3e3e3);
}

.clearsubmitbutton:hover {
    background: #ffffff;
    background: -webkit-gradient(linear, left top, left bottom, from(#ffffff), to(#e3e3e3));
    background: -moz-linear-gradient(top, #ffffff, #e3e3e3);
    background: linear-gradient(to bottom, #ffffff, #e3e3e3);
}

.myforward {
    background-image: url(../DISHAS_icons/forward.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.myfile {
    background-image: url(../DISHAS_icons/file.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.mybetween {
    background: url(../DISHAS_icons/between.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.mysuper {
    background: url(../DISHAS_icons/super.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.mycolumn {
    background: url(../DISHAS_icons/column.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.myline {
    background: url(../DISHAS_icons/line.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.myvalidate {
    background: url(../DISHAS_icons/validate.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.myundo {
    background: url(../DISHAS_icons/undo-6.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.myredo {
    background: url(../DISHAS_icons/redo-6.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.mycommentary {
    background: url(../DISHAS_icons/commentary-6.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.myformula {
    background: url(../DISHAS_icons/formula.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.mygraph {
    background: url(../DISHAS_icons/graph.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.mysymmetry {
    background: url(../DISHAS_icons/symmetry.svg);
    /*	<div>Icons made by <a href="https://www.freepik.com/" title="Freepik">Freepik</a> from <a href="https://www.flaticon.com/" 			    title="Flaticon">www.flaticon.com</a> is licensed by <a href="http://creativecommons.org/licenses/by/3.0/" title="Creative Commons BY 3.0" target="_blank">CC 3.0 BY</a></div>*/
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}
.how-to {
    font-size: 85%;
    font-family: "Barlow semi condensed", sans-serif;
    padding-bottom: 1em;
}

.sym-col-header {
    font-weight: bold;
    font-family: "Barlow semi condensed", sans-serif;
    font-size: 120%;
}

.mytips {
    background: url(../DISHAS_icons/tips.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.parameters {
    background: url(../DISHAS_icons/parameters.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.home {
    background: url(../DISHAS_icons/home.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.switch {
    background: url(../DISHAS_icons/switch.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.tour {
    background: url(../DISHAS_icons/compass_only.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.switch2 {
    background: url(../DISHAS_icons/switch2.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.fill-table {
    background: url(../DISHAS_icons/fill.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.option-bars {
    background: url(../DISHAS_icons/3bars.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.help-icon {
    background: url(../DISHAS_icons/help.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

.save-draft {
    background: url(../DISHAS_icons/save-draft.svg);
    background-size: 95% 95%;
    background-repeat: no-repeat;
    height: 42px;
    width: 42px;
}

#bottom-right-zone .tab-pane {
    height: 18.7vh;
    margin-top: 0;
    margin-bottom: 0;
}

.nav > li > a {
    padding: 0 10px;
}

.nav-tabs.small-font {
    color: darkgrey;
}

.mytextarea {
    resize: none;
    width: 100%;
    height: 100%;
    -webkit-box-sizing: border-box; /* Safari/Chrome, other WebKit */
    -moz-box-sizing: border-box; /* Firefox, other Gecko */
    box-sizing: border-box; /* Opera/IE 8+ */
}

.thebutton .tooltiptext {
    visibility: hidden;
    width: 150px;
    background-color: white;
    color: #3f3f3f;
    text-align: center;
    padding: 5px 0;
    margin-top: 15px;
    border-radius: 5px;
    font-size: 14px;
    position: absolute;
    z-index: 100;
    border-style: solid;
    border-color: #d3d3d3;
    border-width: 1px;
    font-family: "Raleway", sans-serif;
}

.tooltiptext .shortcut {
    color: #616161;
    text-shadow: #e0e0e0 1px 1px 0;
    border-top: solid 1px #d3d3d3;
    margin: 5px;
    padding-top: 5px;
    display: block;
    font-size: 13px;
    font-variant: small-caps;
}

/* Show the tooltip text when you mouse over the tooltip container */
.thebutton:hover .tooltiptext {
    visibility: visible;
    -webkit-box-shadow: 8px 6px 4px 0 rgba(170, 170, 170, 1);
    -moz-box-shadow: 8px 6px 4px 0 rgba(170, 170, 170, 1);
    box-shadow: 8px 6px 4px 0 rgba(170, 170, 170, 1);
}

.tableheader {
    background-color: #e3e3e3;
    z-index: 13;
    height: 20px;
}

.nav-right {
    /*  display: inline-block;*/
    float: right;
}

.input-json {
    font-weight: 400;
}

.thebutton > span {
    display: block;
}

.tip {
    display: inline-block;
    font-style: italic;
}

.tip::before {
    content: url(../DISHAS_icons/tips.png);
}

#tip-content {
    overflow-y: scroll;
    height: 90%;
    padding: 5%;
}

#tip-main {
    height: 70%;
    margin: 15px;
    margin-top: 30px;
    text-align: justify;
}

#sidetip-footer {
    padding: 15px;
    text-align: right;
    border-top: 1px solid #e5e5e5;
}

#sidetip-header {
    padding: 15px;
    border-bottom: 1px solid #e5e5e5;
}

#tip-title {
    text-align: center;
}

#tip-title-select {
    font-family: "Abel", sans-serif;
    font-size: 30px;
    margin-top: 20px;
    margin-bottom: 10px;
    font-weight: 500;
    line-height: 1.1;
}

.sidetip {
    height: 100%;
    width: 0;
    position: fixed;
    z-index: 1000;
    top: 0;
    right: 0;
    transition: 0.5s;
    padding-top: 2px;
    border-left: 1px solid #d5d5d5;
    background-color: #f8f8f8;
    margin: 5px;
}

.sidetip .well {
    padding: 0;
}

.sidetip .closebtn {
    position: absolute;
    top: 0;
    right: 25px;
    font-size: 36px;
}

#parameter-setup {
    margin-top: 30px;
}

#estimator-info {
    text-align: justify;
    margin-top: 30px;
    padding-left: 15px;
}

#latex-formula {
    font-size: 125%;
}

.math-tex {
    padding-bottom: -5px;
    display: block;
}

.crit-ap {
    position: relative;
    -moz-box-shadow: 1px 2px 4px rgba(0, 0, 0, 0.5);
    -webkit-box-shadow: 1px 2px 4px rgba(0, 0, 0, 0.5);
    box-shadow: 1px 2px 4px rgba(0, 0, 0, 0.5);
    background-image: radial-gradient(circle, #ed89ff, #f09dff, #f3b1ff, #f6c4ff);
    border: orange;
}

li.dropdown {
    z-index: 100;
    background-color: #fafafa;
    padding: 2px 8px 0 0;
}

#main-toolbar {
    min-height: 30px;
    font-weight: bold;
    font-family: "Barlow semi condensed", sans-serif;
    font-size: 17px;
}

.dropdown-menu {
    font-size: 16px !important;
}

#main-toolbar .nav {
    margin-left: 0;
}

#main-toolbar .shortcut {
    color: #616161;
    text-shadow: #e0e0e0 1px 1px 0;
    margin-left: 5px;
    padding-left: 5px;
    font-size: 10px;
    font-variant: small-caps;
}

.has-error-number:focus {
    border-color: #843534;
    -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 6px #ce8483;
    box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 6px #ce8483;
}

.has-error-number {
    border-color: #a94442;
    -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
    box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
}

#logs {
    font-family: "Courier New", Courier, monospace;
}

#critical textarea {
    font-family: "Courier New", Courier, monospace;
    background-color: #e7e7e7;
}

.dropdown-menu > li > a[disabled="disabled"] {
    color: grey;
    cursor: not-allowed;
    pointer-events: none;
}

.led-cate {
    display: inline;
    min-width: 2opx;
}
.green-led {
    margin: 0 auto;
    width: 12px;
    height: 12px;
    background-color: #abff00;
    border-radius: 50%;
    box-shadow: rgba(0, 0, 0, 0.2) 0 -1px 7px 1px, inset #304701 0 -1px 9px, #89ff00 0 2px 12px;
}

.red-led {
    margin: 0 auto;
    width: 8px;
    height: 8px;
    background-color: #f00;
    border-radius: 50%;
    box-shadow: rgba(0, 0, 0, 0.2) 0 -1px 7px 1px, inset #441313 0 -1px 9px, rgba(255, 0, 0, 0.5) 0 2px 12px;
}

.loading-spin {
    position: absolute;
    top: 50vh;
    left: 50vw;
    width: 100px;
    height: 100px;
    margin: -200px 0 0 -50px;
}

.parameters-table td {
    padding-left: 5px;
}

.parameters-table th {
    min-width: 35px;
}