/* General Functions */
ul,
menu,
dir {
  display: block;
  list-style-type: disc;
  -webkit-margin-before: 0;
  -webkit-margin-after: 0;
  -webkit-margin-start: 0;
  -webkit-margin-end: 0;
  -webkit-padding-start: 0;
}
img {
  border: 0;
}
.hoverable:hover {
  cursor: pointer;
}
.invisible {
  display: none;
}
.ui-menu {
  white-space: nowrap;
}
.ui-widget button {
  font-size: 13px;
}
.ui-selected {
  background-color: gray;
}
/*::-webkit-scrollbar {
        width: 17px;
        height: 17px;
    }


    ::-webkit-scrollbar-thumb {
        border-radius: 10px;
        background-color: gray;
        /*-webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.5);
    }*/
/*@odd-item-color: #ededed;
    @even-item-color: #ffffff;*/
/*  Colors  */
.bma-simulation-data-table {
  max-width: calc(100% - 120px);
  overflow-x: auto;
  overflow-y: hidden;
}
/*.simulation-plot-box {
    height: 100%;
}
    */
.simulation-progression-table-container > div {
  display: inline-block;
  white-space: nowrap;
  vertical-align: top;
}
.bma-random-icon1 {
  background-image: url(../images/random1.svg);
  /*background-repeat: no-repeat;
    background-size: contain;
    background-position-x: center;
    width: 20px;
    height: 20px;*/
}
.bma-random-icon2 {
  background-image: url(../images/random2.svg);
  /*background-repeat: no-repeat;
    background-position-x: left;
    width: 26px;
    height: 26px;
    float: left;*/
}
.progression-table {
  /*td {
            border: 1px solid @midgrey;
            text-align: center;
            padding: 0;
        }*/
  width: 100%;
  border-collapse: collapse;
  /*td {
                        border: 1px solid @midgrey;
                        text-align: center;
                        padding: 0;
                    }*/
  margin-top: 23px;
  /*tr:nth-child(even) {
        background-color: @odd-item-color;
    }*/
}
.progression-table td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px;
  color: #606060;
  height: 20px;
}
.progression-table td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px;
  color: #606060;
  height: 20px;
}
.progression-table td {
  padding: 1px 4px;
}
.progression-table td div {
  width: 100%;
  height: 22px;
  position: absolute;
  top: 0;
  left: 0;
}
.progression-table td.repeat {
  background-color: rgba(223, 223, 245, 0.5);
}
.progression-table td.change {
  background-color: #fffcb5;
}
.progression-table td.repeat.change {
  background-color: #efeed5;
}
.progression-table td:first-child {
  border-left: none;
}
.progression-table tr:nth-child(even) {
  background-color: #EDEDED;
}
/*.furthertesting-button {
    width: 150px;
    height: 30px;
    padding: 0;
    background-color: #d0451b;
    cursor: pointer;
    border: none;
    text-decoration: none;
    color: #ffffff;
    font-size: 17px;
    line-height: 25px;
    .border-radius(7px);

    &.waiting{
        background-image: url(../images/20x20.gif);
        background-repeat: no-repeat;
        background-position: center;
    }
}*/
/*.ui-tabs > div {
    border: 1px solid lightgray;
}*/
.further-testing-tab > div {
  display: inline-block;
  vertical-align: bottom;
  cursor: pointer;
}
.bifurcations-icon {
  background-image: url("../images/analysis/BMA_Bifurcation_Icon.svg");
  background-position: center;
  background-repeat: no-repeat;
  background-color: transparent;
  background-size: contain;
  height: 20px;
  width: 20px;
  margin-right: 3px;
  cursor: pointer;
}
li.ui-state-active .bifurcations-icon {
  background-image: url("../images/analysis/BMA_Bifurcation_Icon_ON.svg");
}
.oscillations-icon {
  background-image: url("../images/analysis/BMA_Oscillation_Icon.svg");
  background-position: center;
  background-repeat: no-repeat;
  background-color: transparent;
  background-size: contain;
  height: 20px;
  width: 20px;
  margin-right: 3px;
  cursor: pointer;
}
li.ui-state-active .oscillations-icon {
  background-image: url("../images/analysis/BMA_Oscillation_Icon_ON.svg");
}
li.ui-state-hover {
  background: none;
}
li.ui-state-default {
  background: none;
}
.ui-tabs-vertical {
  width: 55em;
}
.ui-tabs-vertical .ui-tabs-nav {
  padding: 0.2em 0.1em 0.2em 0.2em;
  float: left;
  width: 12em;
}
.ui-tabs-vertical .ui-tabs-nav li {
  clear: left;
  width: 100%;
  border-bottom-width: 1px !important;
  border-right-width: 0 !important;
  margin: 0 -1px 0.2em 0;
}
.ui-tabs-vertical .ui-tabs-nav li a {
  display: block;
}
.ui-tabs-vertical .ui-tabs-nav li.ui-tabs-active {
  padding-bottom: 0;
  padding-right: 0.1em;
  border-right-width: 1px;
}
.ui-tabs-vertical .ui-tabs-panel {
  padding: 1em;
  float: right;
  width: 40em;
}
/*.bma-color-simulationtable tr:nth-child(even) {
    background-color: @odd-item-color;
}

.bma-color-simulationtable tr:nth-child(odd) {
    background-color: @even-item-color;
}*/
.plot-min {
  height: 160px;
}
.simulationplot-legend-legendcontainer {
  width: 30%;
  height: calc(100% - 20px);
  background-color: white;
  float: left;
  overflow-y: auto;
}
.simulationplot-legend-legenditem {
  cursor: pointer;
  padding-left: 5px;
}
.simulationplot-legend-legenditem:not(:last-child) {
  margin-bottom: 5px;
}
.simulationplot-legend-colorboxcontainer {
  display: table-cell;
}
.simulationplot-legend-colorbox {
  width: 30px;
  height: 30px;
}
.simulationplot-legend-namebox {
  width: 120px;
  height: 30px;
  display: table-cell;
  padding-left: 5px;
  vertical-align: middle;
  white-space: nowrap;
}
.randomise-button {
  /*position: absolute;
    top: -@simulation-bttns-top;
    left: 265px;//calc(~"30% + 60px - 2px");*/
  display: inline-block;
  vertical-align: middle;
  /*float: right;*/
  cursor: pointer;
  font-size: 18px;
  line-height: 26px;
  margin: 0 10px 0 280px;
}
.randomise-button div {
  display: inline-block;
  vertical-align: bottom;
}
.randomise-button div:first-child {
  width: 30px;
  height: 30px;
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
}
.ui-tabs .ui-tabs-nav .ui-tabs-anchor {
  padding: 0.2em 0.5em;
}
.idd-axis {
  font-size: 12px;
}
.validation-icon {
  width: 40px;
  height: 40px;
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
}
.formula-failed-icon {
  background-image: url("../images/validation-failed.svg");
}
.formula-validated-icon {
  background-image: url("../images/validation-succeeded.svg");
}
.bma-pagefooter-version {
  position: absolute;
  left: 190px;
  margin-top: 11px;
}
.bma-formulaeditor-template {
  width: calc(100% - 50px);
  height: 50px;
  position: relative;
}
.bma-formulaeditor-template-img {
  width: 100%;
  height: 50px;
  background-image: url("../images/template.png");
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
  position: absolute;
  top: 0;
  left: 0;
}
.bma-formulaeditor-header {
  width: 100%;
  padding: 10px;
}
.bma-formulaeditor-template-canvas {
  cursor: pointer;
  height: 50px;
  position: absolute;
  top: 0;
  left: 0;
}
.bma-formulaeditor-template-clear {
  background-image: url("/images/remove.gif");
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
  width: 50px;
  height: 50px;
  cursor: pointer;
}
.bma-formulaeditor-template-clear:hover {
  background-color: #EDEDED;
}
.bma-formulaeditor-switch {
  width: 35px;
  height: 35px;
  cursor: pointer;
  position: absolute;
  top: 5px;
  right: 5px;
}
.bma-formulaeditor-switch:hover {
  background-color: #EDEDED;
}
.bma-formulaeditor-switch-graphical {
  background-image: url("/images/switchToText.png");
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
}
.bma-formulaeditor-switch-text {
  background-image: url("/images/switchToGraphic.png");
  background-position: center;
  background-repeat: no-repeat;
  background-size: contain;
}
.bma-formulaeditor-texteditor {
  width: 380px;
  height: 140px;
  display: inline-block;
}
.formulaeditor-failed {
  border: 1px solid #FEB6B2;
}
.formulaeditor-validated {
  border: 1px solid #81BB83;
}
.monaco-editor.vs .token {
  color: #606060;
}
.monaco-editor.vs .token.invalid {
  color: #ff0066;
}
.monaco-editor.vs .token.number {
  color: #606060;
}
.monaco-editor.vs .token.delimiter {
  color: #606060;
}
.monaco-editor.vs .token.keyword {
  color: #3BB34A;
}
/* General Functions */
/* Remove button padding in FF */
button::-moz-focus-inner {
  border: 0;
  padding: 0;
}
.page-loading > .spinner {
  display: inline-block;
}
.page-loading > .spinner div {
  width: 8px;
  height: 8px;
  background-color: #606060;
}
ul,
menu,
dir {
  display: block;
  list-style-type: disc;
  -webkit-margin-before: 0;
  -webkit-margin-after: 0;
  -webkit-margin-start: 0;
  -webkit-margin-end: 0;
  -webkit-padding-start: 0;
}
table {
  display: table;
  border-collapse: collapse;
  border-spacing: 0;
  border-color: transparent;
}
img {
  border: 0;
}
.hoverable:hover {
  cursor: pointer;
}
.invisible {
  display: none;
}
html {
  height: 100%;
}
body {
  -webkit-touch-callout: none !important;
  -webkit-user-select: none;
  margin: 0;
  padding: 0;
  background-color: #E4E4E6;
  position: relative;
  height: 100%;
  overflow: hidden;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
* {
  outline: 0 none;
}
.box-sizing {
  box-sizing: border-box;
}
/*  Colors  */
/* Typography */
/*
@font-face {
    font-family: 'OpenSans';
    src: local('Segoe UI'), local('Frutiger'), local('Frutiger Linotype'), local('Dejavu Sans'), local('Helvetica Neue'), local('HelveticaNeue'), local('Arial'), local('sans serif'), local('sans-serif');
    font-weight: normal;
    font-style: normal; 

}

@font-face {
    font-family: 'OpenSans-Bold';
    src: local('Segoe UI'), local('Frutiger'), local('Frutiger'), local('Frutiger Linotype'), local('Dejavu Sans'), local('Helvetica Neue Bold'), local('HelveticaNeue-Bold'), local('Helvetica Neue'), local('HelveticaNeue'), local('Arial'), local('sans serif'), local('sans-serif');
    font-weight: bold; 
    font-style: normal;   
      
}

@font-face {
    font-family: 'OpenSans-Italic';  
    src: local('Segoe UI'), local('Frutiger'), local('Frutiger Linotype'), local('Dejavu Sans'), local('Helvetica Neue' Italic), local('HelveticaNeue-Italic'), local('Helvetica Neue'), local('HelveticaNeue'), local('Arial'), local('sans serif'), local('sans-serif');
    font-weight: normal; 
    font-style: italic; 
     
}

@font-face {
    font-family: 'OpenSans-Light';
    src: local('Segoe UI Light'), local('Frutiger Light'), local('Frutiger-Light'), local('Frutiger Linotype Light'), local('Dejavu Sans Light'), local('Helvetica Neue Light'), local('HelveticaNeue-Light'), local('Arial'), local('sans serif'), local('sans-serif');
    font-weight: normal;
    font-style: normal;

}
*/
@font-face {
  font-family: 'OpenSans';
  src: url('../fonts/OpenSans-Regular.ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'OpenSans-Bold';
  src: url('../fonts/OpenSans-Bold.ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'OpenSans-Italic';
  src: url('../fonts/OpenSans-Italic.ttf');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'OpenSans-Light';
  src: url('../fonts/OpenSans-Light.ttf');
  font-weight: normal;
  font-style: normal;
}
.bold {
  font-family: 'OpenSans-Bold';
}
ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}
/* Links */
a {
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  text-decoration: underline;
}
a:hover {
  text-decoration: none;
}
a.website-link {
  color: #00cccc;
  text-decoration: none;
  cursor: pointer;
}
a.website-link:hover {
  text-decoration: underline;
}
.website-link-container {
  color: #00cccc;
  background-color: white;
  height: 20px;
  align-self: center;
  margin-left: 10px;
}
.bma-logo-watermark {
  background-repeat: no-repeat;
  background-size: cover;
  background-position: center;
  background-image: url("../images/logo/BMA_Logo_APP.svg");
  width: 102px;
  height: 102px;
  position: absolute;
  left: 8px;
  bottom: 8px;
}
.bma-logo-version {
  color: #8dd0db;
  position: absolute;
  left: 100px;
  bottom: 10px;
  font-size: 12px;
}
.tooltip {
  font-size: 12px;
  background-color: #606060;
  color: white;
  padding: 5px;
  display: inline-block;
}
.version-number {
  font-size: 10px;
  color: #AAA;
}
button {
  margin: 0;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  border: 1px solid #606060;
}
.default-button {
  background-color: #EDEDED;
  border: 1px solid #EDEDED;
  border-radius: 15px;
  cursor: pointer;
  display: inline-block;
  margin-right: 5px;
  padding: 0 5px;
}
.default-button:hover {
  color: white;
  background-color: #606060;
}
.default-button:hover button {
  color: white;
}
.default-button button {
  border: none;
  padding: 3px;
  min-width: 17px;
  background-color: transparent;
  cursor: pointer;
  color: inherit;
  font-size: 0.8em;
  letter-spacing: 1px;
}
.default-button button:hover {
  color: white;
}
.default-button button:focus {
  outline: none;
}
ul.button-list {
  margin: 10px 0 0 0;
  padding: 0;
}
ul.button-list li {
  background-color: #EDEDED;
  border: 1px solid #EDEDED;
  border-radius: 15px;
  cursor: pointer;
  display: inline-block;
  margin-right: 5px;
  padding: 0 5px;
}
ul.button-list li:hover {
  color: white;
  background-color: #606060;
}
ul.button-list li:hover button {
  color: white;
}
ul.button-list li button {
  border: none;
  padding: 3px;
  min-width: 17px;
  background-color: transparent;
  cursor: pointer;
  color: inherit;
  font-size: 0.8em;
  letter-spacing: 1px;
}
ul.button-list li button:hover {
  color: white;
}
ul.button-list li button:focus {
  outline: none;
}
ul.button-list li:last-child {
  margin-right: 0;
}
/*.action-button(@c){
		background-color: @c;
		border: 1px solid white;
		border-radius:6px;
		&:hover{
			background-color: white;
			border: 1px solid @c;
            color: @c;
            button{
			    color: @c;
			}
		}
		button{
			font-size: 25px;
			color:white;
			//padding: 7px 10px 7px 10px;
			&:hover{
			color: @c;
			}
		}
	}

	.button-list{
		li.action-button{
			.action-button(@darkgrey);
			&.green{
				.action-button(@green);
			}
		}
        
	}*/
.action-button.grey,
.button-list .action-button.grey {
  background-color: #AAA;
  border: 1px solid #AAA;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.action-button.grey:hover,
.button-list .action-button.grey:hover {
  background-color: white;
  border: 1px solid #AAA;
  color: #AAA;
}
.action-button.grey:hover button,
.button-list .action-button.grey:hover button {
  color: #AAA;
}
.action-button.grey:hover button .icon.download,
.button-list .action-button.grey:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.action-button.grey button,
.button-list .action-button.grey button {
  font-size: 20px;
  line-height: 100%;
  color: white;
  padding: 5px 7px 5px 7px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.action-button.grey button .icon,
.button-list .action-button.grey button .icon {
  display: inline-block;
  height: 18px;
  width: 18px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.action-button.grey button .icon.download,
.button-list .action-button.grey button .icon.download {
  background-image: url("../images/download-white.svg");
}
.action-button.grey.waiting:hover,
.button-list .action-button.grey.waiting:hover {
  background-color: #AAA;
  border: 1px solid #AAA;
  color: white;
}
.action-button.grey .spinner > div,
.button-list .action-button.grey .spinner > div {
  background-color: #EDEDED;
}
.action-button.grey .grey .spinner,
.button-list .action-button.grey .grey .spinner {
  background-color: white;
}
.action-button.green,
.button-list .action-button.green {
  background-color: #00cccc;
  border: 1px solid #00cccc;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.action-button.green:hover,
.button-list .action-button.green:hover {
  background-color: white;
  border: 1px solid #00cccc;
  color: #00cccc;
}
.action-button.green:hover button,
.button-list .action-button.green:hover button {
  color: #00cccc;
}
.action-button.green:hover button .icon.download,
.button-list .action-button.green:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.action-button.green button,
.button-list .action-button.green button {
  font-size: 20px;
  line-height: 100%;
  color: white;
  padding: 5px 7px 5px 7px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.action-button.green button .icon,
.button-list .action-button.green button .icon {
  display: inline-block;
  height: 18px;
  width: 18px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.action-button.green button .icon.download,
.button-list .action-button.green button .icon.download {
  background-image: url("../images/download-white.svg");
}
.action-button.green.waiting:hover,
.button-list .action-button.green.waiting:hover {
  background-color: #00cccc;
  border: 1px solid #00cccc;
  color: white;
}
.action-button.green .spinner > div,
.button-list .action-button.green .spinner > div {
  background-color: #EDEDED;
}
.action-button.green .grey .spinner,
.button-list .action-button.green .grey .spinner {
  background-color: white;
}
.action-button.red,
.button-list .action-button.red {
  background-color: #ff0066;
  border: 1px solid #ff0066;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.action-button.red:hover,
.button-list .action-button.red:hover {
  background-color: white;
  border: 1px solid #ff0066;
  color: #ff0066;
}
.action-button.red:hover button,
.button-list .action-button.red:hover button {
  color: #ff0066;
}
.action-button.red:hover button .icon.download,
.button-list .action-button.red:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.action-button.red button,
.button-list .action-button.red button {
  font-size: 20px;
  line-height: 100%;
  color: white;
  padding: 5px 7px 5px 7px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.action-button.red button .icon,
.button-list .action-button.red button .icon {
  display: inline-block;
  height: 18px;
  width: 18px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.action-button.red button .icon.download,
.button-list .action-button.red button .icon.download {
  background-image: url("../images/download-white.svg");
}
.action-button.red.waiting:hover,
.button-list .action-button.red.waiting:hover {
  background-color: #ff0066;
  border: 1px solid #ff0066;
  color: white;
}
.action-button.red .spinner > div,
.button-list .action-button.red .spinner > div {
  background-color: #EDEDED;
}
.action-button.red .grey .spinner,
.button-list .action-button.red .grey .spinner {
  background-color: white;
}
li.action-button {
  padding: 0 5px;
}
.action-button-small,
.button-list .action-button-small {
  height: 25px !important;
}
.action-button-small.grey,
.button-list .action-button-small.grey {
  background-color: #AAA;
  border: 1px solid #AAA;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.action-button-small.grey:hover,
.button-list .action-button-small.grey:hover {
  background-color: white;
  border: 1px solid #AAA;
  color: #AAA;
}
.action-button-small.grey:hover button,
.button-list .action-button-small.grey:hover button {
  color: #AAA;
}
.action-button-small.grey:hover button .icon.download,
.button-list .action-button-small.grey:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.action-button-small.grey button,
.button-list .action-button-small.grey button {
  font-size: 15px;
  line-height: 100%;
  color: white;
  padding: 5px 5px 3px 5px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.action-button-small.grey button .icon,
.button-list .action-button-small.grey button .icon {
  display: inline-block;
  height: 13px;
  width: 13px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.action-button-small.grey button .icon.download,
.button-list .action-button-small.grey button .icon.download {
  background-image: url("../images/download-white.svg");
}
.action-button-small.grey.waiting:hover,
.button-list .action-button-small.grey.waiting:hover {
  background-color: #AAA;
  border: 1px solid #AAA;
  color: white;
}
.action-button-small.grey .spinner > div,
.button-list .action-button-small.grey .spinner > div {
  background-color: #EDEDED;
}
.action-button-small.grey .grey .spinner,
.button-list .action-button-small.grey .grey .spinner {
  background-color: white;
}
.action-button-small.green,
.button-list .action-button-small.green {
  background-color: #00cccc;
  border: 1px solid #00cccc;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.action-button-small.green:hover,
.button-list .action-button-small.green:hover {
  background-color: white;
  border: 1px solid #00cccc;
  color: #00cccc;
}
.action-button-small.green:hover button,
.button-list .action-button-small.green:hover button {
  color: #00cccc;
}
.action-button-small.green:hover button .icon.download,
.button-list .action-button-small.green:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.action-button-small.green button,
.button-list .action-button-small.green button {
  font-size: 15px;
  line-height: 100%;
  color: white;
  padding: 5px 5px 3px 5px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.action-button-small.green button .icon,
.button-list .action-button-small.green button .icon {
  display: inline-block;
  height: 13px;
  width: 13px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.action-button-small.green button .icon.download,
.button-list .action-button-small.green button .icon.download {
  background-image: url("../images/download-white.svg");
}
.action-button-small.green.waiting:hover,
.button-list .action-button-small.green.waiting:hover {
  background-color: #00cccc;
  border: 1px solid #00cccc;
  color: white;
}
.action-button-small.green .spinner > div,
.button-list .action-button-small.green .spinner > div {
  background-color: #EDEDED;
}
.action-button-small.green .grey .spinner,
.button-list .action-button-small.green .grey .spinner {
  background-color: white;
}
.action-button-small.red,
.button-list .action-button-small.red {
  background-color: #ff0066;
  border: 1px solid #ff0066;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.action-button-small.red:hover,
.button-list .action-button-small.red:hover {
  background-color: white;
  border: 1px solid #ff0066;
  color: #ff0066;
}
.action-button-small.red:hover button,
.button-list .action-button-small.red:hover button {
  color: #ff0066;
}
.action-button-small.red:hover button .icon.download,
.button-list .action-button-small.red:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.action-button-small.red button,
.button-list .action-button-small.red button {
  font-size: 15px;
  line-height: 100%;
  color: white;
  padding: 5px 5px 3px 5px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.action-button-small.red button .icon,
.button-list .action-button-small.red button .icon {
  display: inline-block;
  height: 13px;
  width: 13px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.action-button-small.red button .icon.download,
.button-list .action-button-small.red button .icon.download {
  background-image: url("../images/download-white.svg");
}
.action-button-small.red.waiting:hover,
.button-list .action-button-small.red.waiting:hover {
  background-color: #ff0066;
  border: 1px solid #ff0066;
  color: white;
}
.action-button-small.red .spinner > div,
.button-list .action-button-small.red .spinner > div {
  background-color: #EDEDED;
}
.action-button-small.red .grey .spinner,
.button-list .action-button-small.red .grey .spinner {
  background-color: white;
}
.pill-button-box {
  display: inline-block;
}
.pill-button-box .pill-button {
  background-color: #EDEDED;
  border: 1px solid #EDEDED;
  border-radius: 15px;
  cursor: pointer;
  display: inline-block;
  margin-right: 5px;
  padding: 0 5px;
  width: 27px;
  height: 23px;
  border: none;
}
.pill-button-box .pill-button:hover {
  color: white;
  background-color: #606060;
}
.pill-button-box .pill-button:hover button {
  color: white;
}
.pill-button-box .pill-button button {
  border: none;
  padding: 3px;
  min-width: 17px;
  background-color: transparent;
  cursor: pointer;
  color: inherit;
  font-size: 0.8em;
  letter-spacing: 1px;
}
.pill-button-box .pill-button button:hover {
  color: white;
}
.pill-button-box .pill-button button:focus {
  outline: none;
}
.pill-button-box .pill-button:first-child {
  border-top-right-radius: 0px;
  border-bottom-right-radius: 0px;
}
.pill-button-box .pill-button:last-child {
  border-top-left-radius: 0px;
  border-bottom-left-radius: 0px;
  margin: 0;
}
.onoff {
  width: 30px;
  text-align: center;
}
.onoff.green {
  background-color: #00cccc;
  color: white;
}
.onoff.green:hover {
  background-color: #AAA;
}
.onoff.green button {
  color: white;
}
.onoff.grey {
  background-color: #AAA;
  color: white;
}
.onoff.grey:hover {
  background-color: #00cccc;
}
.onoff.grey button {
  color: white;
}
.simulation-popout .steps-container {
  display: inline-block;
  vertical-align: middle;
  float: right;
}
.simulation-popout ul.button-list {
  float: right;
  margin: 0px;
}
.simulation-popout ul.button-list li {
  background-color: #606060;
  display: inline-block;
  vertical-align: middle;
}
.simulation-popout ul.button-list li:hover {
  background-color: #EDEDED;
}
.simulation-popout ul.button-list li:hover button {
  color: #606060;
}
.simulation-popout ul.button-list button {
  color: white;
  font-size: 14px;
  padding: 3px;
}
.simulation-popout ul.button-list button:hover {
  color: #606060;
}
.simulation-popout ul.button-list li.steps {
  background-color: #EDEDED;
  color: #606060;
}
.simulation-popout ul.button-list li.steps button {
  color: #606060;
}
.simulation-popout ul.button-list li.run {
  margin-left: 30px;
  background-color: #00cccc;
  border: 1px solid #00cccc;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.simulation-popout ul.button-list li.run:hover {
  background-color: white;
  border: 1px solid #00cccc;
  color: #00cccc;
}
.simulation-popout ul.button-list li.run:hover button {
  color: #00cccc;
}
.simulation-popout ul.button-list li.run:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.simulation-popout ul.button-list li.run button {
  font-size: 20px;
  line-height: 100%;
  color: white;
  padding: 5px 7px 5px 7px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.simulation-popout ul.button-list li.run button .icon {
  display: inline-block;
  height: 18px;
  width: 18px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.simulation-popout ul.button-list li.run button .icon.download {
  background-image: url("../images/download-white.svg");
}
.simulation-popout ul.button-list li.run.waiting:hover {
  background-color: #00cccc;
  border: 1px solid #00cccc;
  color: white;
}
.simulation-popout ul.button-list li.run .spinner > div {
  background-color: #EDEDED;
}
.simulation-popout ul.button-list li.run .grey .spinner {
  background-color: white;
}
.simulation-popout ul.button-list li.run button {
  width: 70px;
  height: 30px;
  text-transform: uppercase;
}
.simulation-popout ul.button-list li.run.waiting > button {
  background-image: url(../images/20x20.gif);
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.run-button {
  width: 70px;
}
.further-testing-button {
  width: 110px;
}
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons {
  width: 85px;
  /*border-radius: 5px;*/
  padding: 0px;
  font-size: 12px;
  padding: 5px 0px 3px 0px;
}
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons li {
  padding: 0px;
  margin-bottom: 3px;
}
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons li a {
  border-radius: 0;
  text-decoration: none;
  line-height: 19px;
  padding: 2px 5px;
  display: block;
  vertical-align: middle;
}
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons li a.ui-state-focus,
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons li a.ui-state-active {
  border: none;
  margin: 0;
  background-image: none;
}
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons li a:hover {
  background-color: #EDEDED;
}
ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons li a img {
  padding: 0px;
  width: 20px;
  height: 20px;
  vertical-align: middle;
  position: relative;
  float: left;
  background-position: center;
  background-size: contain;
  background-repeat: no-repeat;
}
.ui-icon-scissors {
  background-image: url('../images/icon-cut.svg') !important;
}
.ui-icon-copy {
  background-image: url('../images/icon-copy.svg') !important;
}
.ui-icon-clipboard {
  background-image: url('../images/icon-paste.svg') !important;
}
.ui-icon-trash {
  background-image: url('../images/icon-delete.svg') !important;
}
.ui-icon-pencil {
  background-image: url('../images/icon-edit.svg') !important;
}
.ui-icon-arrow-4-diag {
  background-image: url('../images/icon-size.svg') !important;
}
ul.command-list {
  padding: 5px 0px 3px 0px;
  position: absolute;
  border: none;
}
ul.command-list li {
  padding: 0px;
  margin-bottom: 3px;
  position: relative;
}
ul.command-list li a {
  text-decoration: none;
  line-height: 19px;
  padding: 2px 0px 2px 5px;
  display: block;
  vertical-align: middle;
}
ul.command-list li a:hover {
  background-color: #EDEDED;
}
ul.command-list li a img {
  padding: 0px;
  width: 20px;
  height: 20px;
  vertical-align: middle;
}
ul.command-list li a span {
  margin-left: 5px;
  margin-right: 5px;
}
.ui-menu .ui-menu-item {
  list-style-image: none;
}
.ui-menu .ui-menu-item a {
  height: 20px;
}
.ui-menu .ui-menu-item a img {
  margin: 0;
}
.ui-menu .ui-menu-item span {
  margin-left: 5px;
}
.context-menu-small {
  /*li {
                height: 22px;
                position: relative;
                a {
                    position: absolute;
                    height: 20px;
                    img {
                        margin: 0;
                    }
                }
            }*/
}
/* Canvas - Drawing Surface */
.bma-drawingsurfacecontainer {
  height: calc(100% - 70px);
  /*height: calc(~"100% - 70px" - @footer-height);*/
  /*.calc(height, ~"100% - 70px" - @footer-height);*/
  position: relative;
}
.bma-drawingsurface {
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
}
.modeldesigner-element-cell {
  stroke-width: 1px;
  stroke: transparent;
}
.modeldesigner-element-hover {
  stroke: gray;
  stroke-width: 2px;
}
.modeldesigner-line-hover {
  stroke-width: 3px;
}
.window.canvas-contextual {
  width: 130px;
  border-radius: 5px;
  padding: 0px;
  font-size: 12px;
}
.window.submenu {
  width: 35px;
}
/* Footer */
.bma-footer {
  position: relative;
  height: 40px;
  text-align: center;
}
.bma-footer > * {
  display: inline-block;
}
.bma-pagefooter-msrlogo {
  position: absolute;
  right: 10px;
}
.bma-pagefooter-msrlogo img {
  margin-top: 8px;
  border: none;
}
.bma-pagefooter-logo {
  position: absolute;
  left: 0;
}
.bma-pagefooter-msrlogo-copyright {
  float: left;
  margin-top: 9px;
  margin-right: 10px;
}
.bma-pagefooter-linkcontainer {
  background-color: white;
  height: 30px;
  line-height: 30px;
  padding: 0 30px;
  margin-top: 10px;
  -webkit-box-shadow: 0 0 10px #666666;
  -moz-box-shadow: 0 0 10px #666666;
  -o-box-shadow: 0 0 10px #666666;
  box-shadow: 0 0 10px #666666;
  -moz-border-radius: 10px 10px 0 0;
  -webkit-border-radius: 10px 10px 0 0;
  -ms-border-radius: 10px 10px 0 0;
  -o-border-radius: 10px 10px 0 0;
  border-radius: 10px 10px 0 0;
}
.bma-pagefooter-linkcontainer a {
  color: #00cccc;
}
/*  Main Toolbar  */
.bma-toolbarpanel {
  background-color: white;
  white-space: nowrap;
  display: flex;
  flex-direction: column;
  flex-wrap: wrap;
  justify-content: center;
  align-items: baseline;
  align-content: space-around;
  height: 70px;
  width: 100%;
}
.bma-toolbarpanel .ui-button {
  width: 50px;
  height: 50px;
  margin: 0 0.2em;
  border: 1px solid #AAA;
  -moz-border-radius: 7px;
  -webkit-border-radius: 7px;
  -ms-border-radius: 7px;
  -o-border-radius: 7px;
  border-radius: 7px;
  background: none;
  background-color: white;
  display: inline-block;
  vertical-align: top;
}
.bma-toolbarpanel .ui-button span {
  position: relative;
  width: 100%;
  height: 100%;
  padding: 0;
}
.bma-toolbarpanel .ui-button span div {
  width: 100%;
  height: 100%;
  background-repeat: no-repeat;
  background-position-x: center;
  background-position-y: center;
  background-position: center;
  border: none;
  margin: auto;
}
.bma-toolbarpanel .ui-button:not(.ui-state-active):hover {
  background-color: #EDEDED;
  cursor: pointer;
}
.bma-toolbarpanel .ui-button .ui-state-active {
  background-color: #606060;
}
.bma-toolbarpanel .ui-button .activate-icon {
  background-image: url("../images/activate.svg");
}
.bma-toolbarpanel .ui-button .inhibit-icon {
  background-image: url("../images/inhibitor.svg");
}
.bma-toolbarpanel .ui-button .view-options-icon {
  background-image: url("../images/navigationpanel/BMA_Icon_Settings.svg");
  background-size: 28px;
}
.bma-toolbarpanel label[aria-pressed='true'] {
  background-color: #606060;
  border-color: #606060;
}
.bma-toolbarpanel label[aria-pressed='true']:hover {
  background-color: #606060;
}
.bma-toolbarpanel label[aria-pressed='true'] .pointer-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/pointer ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .cell-icon {
  background-image: url("../images/container-ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .variable-icon {
  background-image: url("../images/variable-ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .constant-icon {
  background-image: url("../images/constant-ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .receptor-icon {
  background-image: url("../images/receptor-ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .activate-icon {
  background-image: url("../images/activate-ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .inhibit-icon {
  background-image: url("../images/inhibitor-ON.svg");
}
.bma-toolbarpanel label[aria-pressed='true'] .view-options-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/BMA_Icon_Settings ON.svg");
}
.bma-toolbarpanel .navigation-toolbar {
  display: flex;
}
.bma-toolbarpanel .vis-and-zoom {
  display: flex;
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded {
  background-color: #606060;
  border-color: #606060;
  /*border-bottom-left-radius:0;
                border-bottom-right-radius: 0;*/
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded:hover {
  background-color: #606060;
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .pointer-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/pointer ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .cell-icon {
  background-image: url("../images/container-ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .variable-icon {
  background-image: url("../images/variable-ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .constant-icon {
  background-image: url("../images/constant-ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .receptor-icon {
  background-image: url("../images/receptor-ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .activate-icon {
  background-image: url("../images/activate-ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .inhibit-icon {
  background-image: url("../images/inhibitor-ON.svg");
}
.bma-toolbarpanel .vis-options-toolbar > .accordion-expanded .view-options-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/BMA_Icon_Settings ON.svg");
}
.bma-toolbarpanel .zoomslider-container {
  margin-left: 10px;
  align-self: center;
}
/*accessible for draggable-helper-element */
.pointer-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/pointer.svg");
}
.selection-icon {
  background-image: url("../images/selection.png");
  background-repeat: no-repeat;
  background-size: contain;
}
.clearselection-icon {
  background-image: url("../images/clearselection.png");
  background-repeat: no-repeat;
  background-size: contain;
}
.undo-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/BMA_Icon_Undo.svg");
}
.redo-icon {
  background-size: 28px;
  background-image: url("../images/navigationpanel/BMA_Icon_Redo.svg");
}
.cell-icon {
  background-image: url("../images/container.svg");
}
.cell-icon-old {
  background-image: url("../images/container-old.svg");
}
.variable-icon-old {
  background-image: url("../images/variable-old.svg");
}
.constant-icon-old {
  background-image: url("../images/constant-old.svg");
}
.receptor-icon-old {
  background-image: url("../images/receptor-old.svg");
}
.draggable-helper-element {
  width: 36px;
  height: 36px;
  background-repeat: no-repeat;
  background-size: contain;
}
.tool-icon {
  width: 50px;
  height: 50px;
  margin: 0 0.2em;
  border: 1px solid #AAA;
  -moz-border-radius: 7px;
  -webkit-border-radius: 7px;
  -ms-border-radius: 7px;
  -o-border-radius: 7px;
  border-radius: 7px;
  background: none;
  background-color: white;
  display: inline-block;
  vertical-align: top;
}
.tool-icon span {
  position: relative;
  width: 100%;
  height: 100%;
  padding: 0;
}
.tool-icon span div {
  width: 100%;
  height: 100%;
  background-repeat: no-repeat;
  background-position-x: center;
  background-position-y: center;
  background-position: center;
  border: none;
  margin: auto;
}
.tool-icon:not(.ui-state-active):hover {
  background-color: #EDEDED;
  cursor: pointer;
}
.tool-icon .ui-state-active {
  background-color: #606060;
}
.tool-icon .activate-icon {
  background-image: url("../images/activate.svg");
}
.tool-icon .inhibit-icon {
  background-image: url("../images/inhibitor.svg");
}
.tool-icon .view-options-icon {
  background-image: url("../images/navigationpanel/BMA_Icon_Settings.svg");
  background-size: 28px;
}
.window.vis-options {
  position: absolute;
  width: 230px;
  margin: 0 0.2em;
  z-index: 7;
}
.window.vis-options .option-name {
  width: 90px;
  text-overflow: ellipsis;
  -ms-text-overflow: ellipsis;
  -o-text-overflow: ellipsis;
}
.window.vis-options ul > li {
  display: block;
}
.window.vis-options ul > li:not(:last-child) {
  margin-bottom: 10px;
}
.window.vis-options ul > li > * {
  display: inline-block;
}
.window.vis-options ul.button-list > li {
  display: inline-block;
  margin-top: 0px;
}
.zoomslider-container {
  position: relative;
}
.zoomslider-container > * {
  display: inline-block;
  vertical-align: top;
}
.zoomslider-container img:last-child {
  margin-left: 18px;
}
.zoomslider-container .zoomslider-bar {
  width: 240px;
  height: 25px;
  margin-top: 5px;
  border: none;
  text-align: center;
  position: relative;
}
.zoomslider-container .zoomslider-bar:before {
  content: '';
  position: absolute;
  border: 1px solid #606060;
  border-bottom: none;
  left: -2px;
  width: 260px;
  height: 25px;
}
.zoomslider-container .zoomslider-bar:after {
  content: "";
  position: absolute;
  height: 70%;
  top: 0;
  bottom: 0;
  left: calc(50% + 10px);
  left: -moz-calc(50% + 10px);
  left: -webkit-calc(50% + 10px);
  left: -o-calc(50% + 10px);
  border-left: 1px solid #606060;
}
.zoomslider-container .zoomslider-bar .zoomslider-pointer {
  background: transparent;
  position: absolute;
  top: -10px;
  border: 10px solid transparent;
  border-bottom: 20px solid #606060;
  border-radius: 0;
}
/*  Windows  */
.window {
  padding: 15px;
  margin: 0px;
  background: white;
  border-radius: 10px;
  -webkit-box-shadow: 1px 1px 2px #666666;
  -moz-box-shadow: 1px 1px 2px #666666;
  -o-box-shadow: 1px 1px 2px #666666;
  box-shadow: 1px 1px 2px #666666;
}
.window p {
  margin: 0;
  padding: 0;
  width: 95%;
}
.close-icon {
  background: url("../images/close.png") no-repeat;
  background-size: 20px 20px;
  height: 20px;
  width: 20px;
  float: right;
  margin-right: 0;
  cursor: pointer;
}
.close-icon img {
  width: 20px;
  height: 20px;
}
.bma-accordion-container {
  position: relative;
}
.bma-accordion-container ul {
  margin: 0;
  padding: 0;
  list-style: none;
}
.bma-accordion-container ul li {
  display: inline-block;
  vertical-align: middle;
}
.bma-accordion-container ul li * {
  position: relative;
}
.bma-accordion-header {
  cursor: pointer;
}
.bma-accordion-header > div {
  display: inline-block;
  vertical-align: middle;
}
.bma-accordion-header .spinner {
  margin: 0 10px;
}
/*.accordion-shadow {
			.box-shadow(@x:0px; @y:5px; @blur:5px; @color:@shadow)
		}*/
/*.accordion-collapsed {
		    border: 1px solid lightgray;
		    border-radius: @toolbar-icon-border-radius;
		}*/
/*.accordion-expanded  {
		    border-color: transparent;
            .box-shadow(@x:2px, @y:7px, @blur:8px, @color:@shadow);
		    /*@r: toolbar-icon-border-radius;
		    border-radius: @r @r 0 0;*/
/* File I/O Tab */
.modelstorage-toolbar-header {
  display: inline-block;
  margin: 0;
  padding: 0;
  overflow: hidden;
  -moz-border-radius: 0 10px 10px 0;
  -webkit-border-radius: 0 10px 10px 0;
  -ms-border-radius: 0 10px 10px 0;
  -o-border-radius: 0 10px 10px 0;
  border-radius: 0 10px 10px 0;
  -webkit-box-shadow: 1px 1px 2px #666666;
  -moz-box-shadow: 1px 1px 2px #666666;
  -o-box-shadow: 1px 1px 2px #666666;
  box-shadow: 1px 1px 2px #666666;
}
.modelstorage-toolbar-header li {
  background-color: white;
}
.modelstorage-toolbar-modelname {
  width: 150px;
  height: 50px;
  background-image: -moz-linear-gradient(left, #EDEDED 0, white 50%);
  background-image: -webkit-linear-gradient(left, #EDEDED 0, white 50%);
  background-image: -ms-linear-gradient(left, #EDEDED 0, white 50%);
  background-image: -webkit-gradient(linear, left, #EDEDED 0, white 50%);
}
.modelstorage-toolbar-modelname input {
  border: none;
  text-align: center;
  margin-top: 7px;
}
.modelstorage-toolbar-modelname input:focus {
  box-shadow: none;
}
/*.modelstorage-toolbar-expand-bttn {
    right: 0;
    width: 50px;
    height: 50px;
    border: none;
    background-color: white;
    background-image: url('../images/expand-collapse.svg');
    background-repeat: no-repeat;
    background-position: center;
    .border-radius(0 @window-radius @window-radius 0);
}*/
.modelstorage-toolbar-content {
  overflow: hidden;
  display: inline-block;
  margin: 0;
  padding: 0;
  background-color: #EDEDED;
  border-bottom-right-radius: 10px;
  -webkit-box-shadow: 1px 1px 2px #666666;
  -moz-box-shadow: 1px 1px 2px #666666;
  -o-box-shadow: 1px 1px 2px #666666;
  box-shadow: 1px 1px 2px #666666;
}
.modelstorage-toolbar-content > ul > li > div {
  background-color: transparent;
  width: 60px;
  height: 105px;
  padding-bottom: 5px;
  background-position-x: center;
  background-position-y: top;
  background-repeat: no-repeat;
  display: table-cell;
  vertical-align: bottom;
  border: none;
  text-align: center;
  cursor: pointer;
}
/*.openButton{
	    background-image: url('../images/open.svg');
	}

	.newButton{
	    background-image: url('../images/new.svg');
	}

	.saveButton{
	    background-image: url('../images/save.svg');
	}

	.localStorageButton {
	    background-image: url("../images/local.svg");
	}
	.localSaveButton {
	    background-image: url("../images/savelocally.svg"); 
	}*/
textarea,
input {
  outline: none;
}
input {
  padding-left: 5px;
  border: 1px solid #AAA;
  box-shadow: none;
  height: 25px;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
input:focus {
  -webkit-box-shadow: 0 0 3px #666666;
  -moz-box-shadow: 0 0 3px #666666;
  -o-box-shadow: 0 0 3px #666666;
  box-shadow: 0 0 3px #666666;
}
input::-webkit-input-placeholder {
  /* WebKit browsers */
  color: #EDEDED;
}
input:-moz-placeholder {
  /* Mozilla Firefox 4 to 18 */
  color: #EDEDED;
  opacity: 1;
}
input::-moz-placeholder {
  /* Mozilla Firefox 19+ */
  color: #EDEDED;
  opacity: 1;
}
input:-ms-input-placeholder {
  /* Internet Explorer 10+ */
  color: #EDEDED;
}
.item-name-input {
  height: 30px;
  width: 150px;
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  font-family: 'OpenSans-Light';
  background: transparent;
  padding: 0 0 0 5px;
}
.item-name-input:focus {
  -webkit-box-shadow: 0 0 3px #666666;
  -moz-box-shadow: 0 0 3px #666666;
  -o-box-shadow: 0 0 3px #666666;
  box-shadow: 0 0 3px #666666;
}
textarea {
  margin-top: 5px;
  padding: 5px;
  border: 1px solid #AAA;
  box-shadow: none;
}
textarea:focus {
  -webkit-box-shadow: 0 0 3px #666666;
  -moz-box-shadow: 0 0 3px #666666;
  -o-box-shadow: 0 0 3px #666666;
  box-shadow: 0 0 3px #666666;
}
.window-title {
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
}
.expand-collapse-bttn {
  float: right;
}
.expand-window-icon {
  cursor: pointer;
  width: 20px;
  height: 20px;
}
.window-title-light {
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  font-family: 'OpenSans-Light';
}
.popup-window .analysis-title {
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  margin-right: 0;
}
.popup-window.report-bug {
  width: 400px;
}
.popup-window.report-bug textarea {
  width: 270px;
  height: 100px;
  resize: none;
}
.popup-window.report-bug .inline {
  display: inline-block;
  vertical-align: middle;
}
.popup-window.report-bug button {
  padding: 5px 10px;
  border: none;
  margin-left: 20px;
}
.window.variable-editor {
  width: 380px;
  height: 340px;
}
.variable-editor input {
  width: 30px;
}
.variable-editor.bmaeditor-expanded {
  height: 380px;
}
.variable-editor .editor-namerange-container > * {
  display: inline-block;
  vertical-align: middle;
}
.variable-editor .editor-namerange-container > *:nth-child(2) > * {
  display: inline-block;
  vertical-align: middle;
}
.variable-editor .editor-namerange-container > *:nth-child(2) > * {
  margin: 2px;
}
.variable-editor .editor-namerange-container > *:nth-child(2) span {
  margin-bottom: 5px;
}
.variable-editor .variable-name {
  height: 30px;
  width: 150px;
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  font-family: 'OpenSans-Light';
  background: transparent;
  padding: 0 0 0 5px;
}
.variable-editor .variable-name:focus {
  -webkit-box-shadow: 0 0 3px #666666;
  -moz-box-shadow: 0 0 3px #666666;
  -o-box-shadow: 0 0 3px #666666;
  box-shadow: 0 0 3px #666666;
}
.variable-editor .spacer {
  display: inline;
  padding-left: 30px;
}
.variable-editor .div-triangles {
  width: 15px;
  display: inline-block;
  margin-right: 5px;
  vertical-align: middle;
}
.variable-editor .triangle-up,
.variable-editor .triangle-down {
  width: 0px;
  height: 0px;
  border-left: 7px solid transparent;
  border-right: 7px solid transparent;
  margin: 1px;
  margin-bottom: 5px;
  cursor: pointer;
}
.variable-editor .triangle-up {
  border-bottom: 7px solid #AAA;
  border-top: none;
}
.variable-editor .triangle-up:hover {
  border-bottom: 7px solid #EDEDED;
  border-top: none;
}
.variable-editor .triangle-down {
  border-top: 7px solid #AAA;
  border-bottom: none;
}
.variable-editor .triangle-down:hover {
  border-top: 7px solid #EDEDED;
  border-bottom: none;
}
.variable-editor .target-function {
  margin-top: 20px;
}
.variable-editor .target-function .formula-text-area {
  width: 80%;
  height: 70px;
  resize: vertical;
  max-height: 150px;
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  font-family: 'OpenSans-Light';
  color: #606060;
  resize: none;
}
.variable-editor .target-function .formula-text-area.formula-failed-textarea {
  border: 1px solid #ff0066;
}
.variable-editor .target-function .formula-text-area.formula-validated-textarea {
  border: 1px solid #00cccc;
}
.variable-editor .target-function .formula-text-area,
.variable-editor .target-function .validation-icon {
  display: inline-block;
  vertical-align: middle;
}
.variable-editor .target-function .formula-validation-message {
  color: #fee9f4;
  max-height: 40px;
  width: 80%;
}
.variable-editor .functions,
.variable-editor .operators {
  margin-top: 10px;
  display: inline-block;
  vertical-align: top;
}
.variable-editor .functions {
  width: 30%;
}
.variable-editor .functions li {
  background-color: #EDEDED;
  border: 1px solid #EDEDED;
  border-radius: 15px;
  cursor: pointer;
  display: inline-block;
  margin-right: 5px;
  padding: 0 5px;
  width: 50px;
  display: table;
  margin: 0 0 5px 0;
}
.variable-editor .functions li:hover {
  color: white;
  background-color: #606060;
}
.variable-editor .functions li:hover button {
  color: white;
}
.variable-editor .functions li button {
  border: none;
  padding: 3px;
  min-width: 17px;
  background-color: transparent;
  cursor: pointer;
  color: inherit;
  font-size: 0.8em;
  letter-spacing: 1px;
}
.variable-editor .functions li button:hover {
  color: white;
}
.variable-editor .functions li button:focus {
  outline: none;
}
.variable-editor .functions li:hover button {
  color: white;
}
.variable-editor .functions li:hover .inputs-list-header .inputs-expandbttn {
  border-top-color: #EDEDED;
}
.variable-editor .functions li:hover .inputs-list-header-expanded .inputs-expandbttn {
  border-bottom-color: #EDEDED;
}
.variable-editor .functions li > div {
  left: 0;
  background-color: inherit;
  width: 100%;
  overflow: hidden;
  overflow-y: auto;
  position: absolute;
  border-radius: 0 0 15px 15px;
}
.variable-editor .functions li.var-button {
  position: relative;
}
.variable-editor .inputs-list-content {
  padding-bottom: 5px;
  overflow-x: hidden;
  overflow-y: scroll;
  max-height: 100px;
  z-index: 3;
  left: 0;
  top: 22px;
  background-color: inherit;
  border-radius: 0 0 15px 15px;
  text-align: center;
}
.variable-editor .inputs-list-content > div {
  text-align: left;
  padding-left: 7px;
}
.variable-editor .inputs-list-content > div:hover {
  color: #b3b3b3;
}
.variable-editor .inputs-list-content::-webkit-scrollbar,
.variable-editor .inputs-list-content::-webkit-scrollbar-track {
  background-color: transparent;
}
.variable-editor .operators ul {
  margin: 0 0 5px 0;
}
.variable-editor .operators li {
  background-color: #EDEDED;
  border: 1px solid #EDEDED;
  border-radius: 15px;
  cursor: pointer;
  display: inline-block;
  margin-right: 5px;
  padding: 0 5px;
}
.variable-editor .operators li:hover {
  color: white;
  background-color: #606060;
}
.variable-editor .operators li:hover button {
  color: white;
}
.variable-editor .operators li button {
  border: none;
  padding: 3px;
  min-width: 17px;
  background-color: transparent;
  cursor: pointer;
  color: inherit;
  font-size: 0.8em;
  letter-spacing: 1px;
}
.variable-editor .operators li button:hover {
  color: white;
}
.variable-editor .operators li button:focus {
  outline: none;
}
.variable-editor .operators li:hover button {
  color: white;
}
.variable-editor .operators-info {
  margin-top: 10px;
}
.variable-editor .inputs-list-header {
  display: inline-block;
  vertical-align: middle;
}
.variable-editor .inputs-list-header .inputs-expandbttn {
  width: 0px;
  height: 0px;
  border-left: 7px solid transparent;
  border-right: 7px solid transparent;
  margin: 1px;
  margin-bottom: 5px;
  cursor: pointer;
  border-top: 7px solid #AAA;
  border-bottom: none;
  float: right;
  margin: 5px 0 0 5px;
}
.variable-editor .inputs-list-header .inputs-expandbttn:hover {
  border-top: 7px solid #EDEDED;
  border-bottom: none;
}
.variable-editor .inputs-list-header-expanded {
  display: inline-block;
  vertical-align: middle;
}
.variable-editor .inputs-list-header-expanded .inputs-expandbttn {
  width: 0px;
  height: 0px;
  border-left: 7px solid transparent;
  border-right: 7px solid transparent;
  margin: 1px;
  margin-bottom: 5px;
  cursor: pointer;
  border-bottom: 7px solid #AAA;
  border-top: none;
  float: right;
  margin: 5px 0 0 5px;
}
.variable-editor .inputs-list-header-expanded .inputs-expandbttn:hover {
  border-bottom: 7px solid #EDEDED;
  border-top: none;
}
.window.container-name {
  border-radius: 5px;
}
.container-name {
  height: 30px;
  width: 190px;
  padding: 10px;
  display: block;
}
.container-name input {
  height: 30px;
  width: 150px;
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  font-family: 'OpenSans-Light';
  background: transparent;
  padding: 0 0 0 5px;
}
.container-name input:focus {
  -webkit-box-shadow: 0 0 3px #666666;
  -moz-box-shadow: 0 0 3px #666666;
  -o-box-shadow: 0 0 3px #666666;
  box-shadow: 0 0 3px #666666;
}
.modeltoolbar-container,
.analytics-container {
  position: absolute;
  top: 50px;
  width: 100%;
}
.analytics-header {
  background-color: white;
  width: 80px;
  height: 70px;
  border: 1px solid white;
  margin: 0;
  padding: 0;
  border-radius: 7px 0 0 7px;
  -webkit-box-shadow: 1px 1px 2px #666666;
  -moz-box-shadow: 1px 1px 2px #666666;
  -o-box-shadow: 1px 1px 2px #666666;
  box-shadow: 1px 1px 2px #666666;
}
.analytics-header img {
  border: hidden;
  float: left;
  margin: 5px;
  width: 60px;
  height: 60px;
}
.analytics-header img:nth-child(1) {
  width: 50px;
  height: 50px;
  margin: 10px;
}
/*.furthertesting-button {
        .action-button(#d0451b);
        cursor: pointer;
        height: 30px;
        text-transform: uppercase;
        padding: 0 10px;
        font-size: 20px;
        color: #fff;
        width: 200px;

        &.waiting {
            background-image: url(../images/20x20.gif);
            background-repeat: no-repeat;
            background-position: center;
        }
    }*/
.proof-state > * {
  display: inline-block;
  vertical-align: middle;
}
.proof-state div {
  margin-left: 10px;
  font-size: 17px;
  font-weight: bold;
  line-height: 40px;
  vertical-align: middle;
}
.proof-state div.stabilize-failed {
  color: #ff0066;
}
.proof-state div.stabilize-prooved {
  color: #00cccc;
}
.proof-state img {
  margin: 0;
  padding: 0;
}
.tab-right .analysis-title {
  font-size: 15px;
  line-height: 20px;
  letter-spacing: 1px;
  text-transform: uppercase;
}
.variables-table {
  table-layout: fixed;
  word-break: break-all;
  margin: 0px 0px 0px 0px;
  padding: 0px;
  width: 99%;
  border-collapse: collapse;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  border: 1px solid #606060;
  /*td:nth-child(1){
				width:20%;
			}
			td:nth-child(2){
				width:65%;
				text-align: left;
			}
			td:nth-child(3){
				width:15%;
			}*/
}
.variables-table td {
  max-width: 200px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.variables-table td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px 1px 3px;
  color: #606060;
  height: 20px;
}
.variables-table tr:first-child td {
  word-break: initial;
  background-color: #606060;
  border-color: #606060;
  border-width: 1px;
  color: white;
}
.variables-table tr:nth-child(odd) {
  background-color: #EDEDED;
}
.variables-table td {
  max-width: 200px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.variables-table td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px 1px 3px;
  color: #606060;
  height: 20px;
  overflow: hidden;
  text-overflow: ellipsis;
}
.variables-table tr:first-child td {
  word-break: initial;
  background-color: #606060;
  border-color: #606060;
  border-width: 1px;
  color: white;
}
.variables-table tr:nth-child(odd) {
  background-color: #EDEDED;
}
.furhter-testing {
  margin: 0px 0px 0px 0px;
  padding: 0px;
  width: 99%;
  border-collapse: collapse;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  border: 1px solid #606060;
  margin: 2px 0 0 0;
}
.furhter-testing td {
  max-width: 200px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.furhter-testing td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px 1px 3px;
  color: #606060;
  height: 20px;
}
.furhter-testing tr:first-child td {
  word-break: initial;
  background-color: #606060;
  border-color: #606060;
  border-width: 1px;
  color: white;
}
.furhter-testing tr:nth-child(odd) {
  background-color: #EDEDED;
}
.furhter-testing td {
  max-width: 200px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.furhter-testing td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px 1px 3px;
  color: #606060;
  height: 20px;
  overflow: hidden;
  text-overflow: ellipsis;
}
.furhter-testing tr:first-child td {
  word-break: initial;
  background-color: #606060;
  border-color: #606060;
  border-width: 1px;
  color: white;
}
.furhter-testing tr:nth-child(odd) {
  background-color: #EDEDED;
}
.proof-variables .scrollable-results .variables-table td:nth-child(1) {
  width: 20%;
}
.proof-variables .scrollable-results .variables-table td:nth-child(2) {
  width: 65%;
}
.proof-variables .scrollable-results .variables-table tr:not(:first-child) > td:nth-child(2) {
  text-align: left;
}
.proof-variables .scrollable-results .variables-table td:nth-child(3) {
  width: 15%;
}
.proof-propagation-overview {
  margin: 0px 0px 0px 0px;
  padding: 0px;
  width: 99%;
  border-collapse: collapse;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
.proof-propagation-overview td {
  max-width: 200px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.proof-propagation-overview td {
  border: 1px solid white;
  width: auto;
  height: 5px;
}
.proof-propagation-overview .propagation-cell-red {
  background-color: #fee9f4;
}
.proof-propagation-overview .propagation-cell-green {
  background-color: #d2faf0;
}
.proof-propagation-overview .change {
  background-color: #FFFCB5;
}
.proof-propagation-overview tr:nth-child(even) {
  background-color: #EDEDED;
}
.progression-table {
  /*td {
            border: 1px solid @midgrey;
            text-align: center;
            padding: 0;
        }*/
  width: 100%;
  border-collapse: collapse;
  /*td {
                        border: 1px solid @midgrey;
                        text-align: center;
                        padding: 0;
                    }*/
  margin-top: 23px;
  /*tr:nth-child(even) {
        background-color: @odd-item-color;
    }*/
}
.progression-table td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px;
  color: #606060;
  height: 20px;
}
.progression-table td {
  vertical-align: middle;
  border: 1px solid #AAA;
  text-align: center;
  padding: 1px 3px;
  color: #606060;
  height: 20px;
}
.progression-table td {
  padding: 1px 4px;
}
.progression-table td div {
  width: 100%;
  height: 22px;
  position: absolute;
  top: 0;
  left: 0;
}
.progression-table td.repeat {
  background-color: rgba(223, 223, 245, 0.5);
}
.progression-table td.change {
  background-color: #FFFCB5;
}
.progression-table td.repeat.change {
  background-color: #efeed5;
}
.progression-table td:first-child {
  border-left: none;
}
.progression-table tr:nth-child(even) {
  background-color: #EDEDED;
}
/*.simulation-variables{
				.scrollable-results{
					.variables-table{
						td:nth-child(1){
							width:20px;
							border-bottom-color:white;
						}
						td:nth-child(2){
							width:20px;
						}
						td:nth-child(4){
							width:45px;
						}
						tr:first-child td{
							border-bottom-color:@darkgrey;
						}
					}
				}
			}*/
/*  Analysis Tabs  */
.proof-variables-popout .scrollable-results {
  overflow-x: scroll;
}
.proof-variables-popout .scrollable-results .variables-table {
  width: 99%;
}
.proof-variables-popout .scrollable-results .variables-table td:nth-child(1) {
  width: 15%;
}
.proof-variables-popout .scrollable-results .variables-table td:nth-child(2) {
  width: 75%;
}
.proof-variables-popout .scrollable-results .variables-table tr:not(:first-child) > td:nth-child(2) {
  text-align: left;
}
.proof-variables-popout .scrollable-results .variables-table td:nth-child(3) {
  width: 10%;
}
.proof-propagation-table {
  margin: 0px 0px 0px 0px;
  padding: 0px;
  border-collapse: collapse;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  width: 99%;
  text-align: center;
}
.proof-propagation-table td {
  max-width: 200px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.proof-propagation-table tr:first-child td {
  word-break: initial;
  background-color: #606060;
  border-color: #606060;
  border-right-color: white;
  text-align: center;
  border-width: 1px;
  color: white;
}
.proof-propagation-table td {
  min-width: 45px;
  padding: 2px;
  border: 1px solid white;
}
.propagation-cell-red {
  background-color: #fee9f4;
}
.propagation-cell-green {
  background-color: #d2faf0;
}
.simulation-popout .scrollable-results .small-simulation-popout-table {
  display: inline-block;
  width: 250px;
}
.simulation-popout .scrollable-results .small-simulation-popout-table .variables-table {
  /*tr:not(:first-child) td:nth-child(1){
									width: 5px; 							// NOT WORKING
									border-bottom-color:white;
								}*/
}
.simulation-popout .scrollable-results .small-simulation-popout-table .variables-table td:nth-child(1) {
  width: 40px;
}
.simulation-popout .scrollable-results .small-simulation-popout-table .variables-table tr:last-child td:first-child {
  background-color: Window;
  border-left-color: transparent;
  border-bottom-color: transparent;
}
.simulation-popout .scrollable-results .small-simulation-popout-table .variables-table td:nth-child(3) {
  width: 50px;
}
.simulation-popout .scrollable-results .big-simulation-popout-table {
  display: inline-block;
  vertical-align: top;
  position: relative;
  width: calc(100% - 250px);
  width: -moz-calc(100% - 250px);
  width: -webkit-calc(100% - 250px);
  width: -o-calc(100% - 250px);
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table {
  margin-left: 30px;
  width: 90px;
  table-layout: auto;
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table td:nth-child(1) {
  border-right: none;
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table td:nth-child(2) {
  border-left: none;
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table tr.red {
  background-color: #fee9f4;
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table input {
  height: 17px;
  width: 100%;
  border: none;
  text-align: center;
  background-color: transparent;
  padding: 0px;
  margin: 0px;
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table input:focus {
  box-shadow: none;
}
.simulation-popout .scrollable-results .big-simulation-popout-table .variables-table .random-small {
  background-repeat: no-repeat;
  background-size: contain;
  background-position-x: center;
  width: 20px;
  height: 20px;
}
.tab-right {
  padding: 15px;
  margin: 0;
  width: 400px;
  min-height: 300px;
  background: #FFFFFF;
  -webkit-box-shadow: 1px 1px 2px #666666;
  -moz-box-shadow: 1px 1px 2px #666666;
  -o-box-shadow: 1px 1px 2px #666666;
  box-shadow: 1px 1px 2px #666666;
  -webkit-border-bottom-left-radius: 10px;
  -moz-border-radius-bottomleft: 10px;
  border-bottom-left-radius: 10px;
  overflow-y: auto;
}
.tab-right p {
  margin: 0;
  padding: 0;
  width: 95%;
}
.popout-icon {
  display: inline;
  float: right;
  margin-right: 8px;
  cursor: pointer;
}
.popout-icon img {
  width: 20px;
  height: 20px;
}
.proof-variables-popout .popout-icon {
  margin-right: 14px;
}
::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
  margin-right: 10px;
  margin-left: 10px;
}
::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.proof-variables .scrollable-results {
  max-height: 121px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.proof-variables .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.proof-variables .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.proof-variables .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.proof-propagation .scrollable-results {
  max-height: 150px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.proof-propagation .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.proof-propagation .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.proof-propagation .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.further-testing-box .scrollable-results {
  max-height: 150px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.further-testing-box .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.further-testing-box .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.further-testing-box .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.further-testing-box .ui-tabs .ui-tabs-nav li {
  border: none;
}
.simulation-variables {
  margin-top: 10px;
}
.simulation-variables .scrollable-results {
  max-height: 121px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.simulation-variables .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.simulation-variables .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.simulation-variables .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.simulation-plot-box {
  height: 200px;
  width: 100%;
  margin-top: 5px;
}
.simulation-plot-box > * {
  display: inline-block;
  vertical-align: top;
}
.ltl-results-tab .scrollable-results {
  max-height: 150px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.ltl-results-tab .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.ltl-results-tab .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.ltl-results-tab .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.popup-window {
  position: absolute;
  z-index: 7;
}
.window.proof-variables-popout {
  width: 850px;
}
.window.proof-variables-popout .scrollable-results {
  max-height: 500px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.window.proof-variables-popout .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.window.proof-variables-popout .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.window.proof-variables-popout .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.window.further-testing-popout {
  width: 850px;
}
.window.further-testing-popout .scrollable-results {
  max-height: 480px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.window.further-testing-popout .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.window.further-testing-popout .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.window.further-testing-popout .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.window.further-testing-popout .ui-tabs .ui-tabs-nav li {
  border: none;
}
.window.proof-propagation-popout {
  width: 850px;
}
.window.proof-propagation-popout .scrollable-results {
  overflow-x: scroll;
  max-height: 500px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.window.proof-propagation-popout .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.window.proof-propagation-popout .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.window.proof-propagation-popout .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.window.proof-propagation-popout .scrollable-results::-webkit-scrollbar-thumb:horizontal {
  height: 5px;
  background-color: #AAA;
}
.window.proof-propagation-popout .scrollable-results::-webkit-scrollbar-track:horizontal {
  height: 20px;
  background-color: white;
}
.window.simulation-popout {
  width: 850px;
}
.window.simulation-popout .scrollable-results {
  max-height: 470px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
  margin-bottom: 5px;
  white-space: nowrap;
}
.window.simulation-popout .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.window.simulation-popout .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.window.simulation-popout .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.window.simulation-popout .scrollable-results .small-simulation-popout-table {
  display: inline-block;
  width: 250px;
}
.popup-window .simulation-plot-box {
  width: 800px;
  height: 500px;
}
.popup-window .scrollable-results {
  max-height: 500px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
}
.popup-window .scrollable-results::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.popup-window .scrollable-results::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.popup-window .scrollable-results::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.plot-check {
  background-image: url("../images/check.svg");
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.plot-check:hover {
  cursor: pointer;
}
.dialog {
  position: absolute;
  width: 300px;
  background-color: #efefef;
  color: #333333;
}
.dialog .window-title {
  margin-left: 7px;
  margin-right: 7px;
}
.dialog .button-list {
  font-size: 15px;
  margin-top: 5px;
  margin-left: 7px;
  margin-right: 7px;
}
.dialog .button-list button {
  background-color: #EDEDED;
  border: 1px solid #EDEDED;
  border-radius: 15px;
  cursor: pointer;
  display: inline-block;
  margin-right: 5px;
  padding: 0 5px;
  border: none;
  padding: 5px 10px;
  color: #999999;
  font-size: 16px;
}
.dialog .button-list button:hover {
  color: white;
  background-color: #606060;
}
.dialog .button-list button:hover button {
  color: white;
}
.dialog .button-list button button {
  border: none;
  padding: 3px;
  min-width: 17px;
  background-color: transparent;
  cursor: pointer;
  color: inherit;
  font-size: 0.8em;
  letter-spacing: 1px;
}
.dialog .button-list button button:hover {
  color: white;
}
.dialog .button-list button button:focus {
  outline: none;
}
.dialog .button-list .main-button {
  color: #ffffff;
  background-color: #00cccc;
}
.dialog .button-list .main-button:hover {
  background-color: #1ae5e0;
}
.dialog .button-list .secondary-button {
  background-color: #ffffff;
}
.dialog .button-list .secondary-button:hover {
  color: #ffffff;
  background-color: #999999;
}
/* Model Toolbar */
.tab-left-double-radius {
  -webkit-border-top-right-radius: 10px;
  -moz-border-radius-topright: 10px;
  border-top-right-radius: 10px;
  -webkit-border-bottom-right-radius: 10px;
  -moz-border-radius-bottomright: 10px;
  border-bottom-right-radius: 10px;
  border-radius: 0 10px 10px 0;
}
.model-toolbar {
  background-color: white;
  position: absolute;
  left: 0;
  top: 50px;
  -webkit-box-shadow: 1px 1px 2px #666666;
  -moz-box-shadow: 1px 1px 2px #666666;
  -o-box-shadow: 1px 1px 2px #666666;
  box-shadow: 1px 1px 2px #666666;
  -webkit-border-top-right-radius: 10px;
  -moz-border-radius-topright: 10px;
  border-top-right-radius: 10px;
  -webkit-border-bottom-right-radius: 10px;
  -moz-border-radius-bottomright: 10px;
  border-bottom-right-radius: 10px;
  border-radius: 0 10px 10px 0;
  overflow: hidden;
}
.model-toolbar .model-icons {
  width: 450px;
  display: inline-block;
  margin-right: 0px;
}
.model-toolbar .model-icons .model-repo-buttons {
  padding-left: 20px;
  padding-right: 30px;
  padding-top: 25px;
  padding-bottom: 12.5px;
  display: flex;
  flex-direction: row;
  background-color: white;
  border-bottom: 1px solid #666666;
}
.model-toolbar .model-icons .model-repo-buttons div {
  background-color: transparent;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  border: none;
  cursor: pointer;
}
.model-toolbar .model-icons .model-repo-buttons div.btn-container {
  position: relative;
  margin-left: 18px;
  margin-right: 18px;
}
.model-toolbar .model-icons .model-repo-buttons div.btn-container .tooltip-div {
  display: none;
  position: absolute;
  width: 100px;
  left: -32px;
  top: -20px;
  font-size: 10px;
  color: #999999;
}
.model-toolbar .model-icons .model-repo-buttons div.btn-container:hover .tooltip-div {
  display: flex;
  align-items: center;
  justify-content: center;
  white-space: nowrap;
}
.model-toolbar .model-icons .model-repo-buttons div.btn-container .loading-div {
  display: none;
  position: absolute;
  bottom: -6px;
  width: 50px;
  left: -9px;
  transform: scale(0.6);
}
.model-toolbar .model-icons .model-repo-buttons div.local-save-btn {
  background-image: url("../images/repository/Save_Model_Icon.svg");
  width: 35px;
  height: 55px;
}
.model-toolbar .model-icons .model-repo-buttons div.local-save-as-btn {
  background-image: url("../images/repository/Save_As_Icon.svg");
  width: 35px;
  height: 55px;
}
.model-toolbar .model-icons .model-repo-buttons div.new-btn {
  background-image: url("../images/repository/New_Model_Icon.svg");
  width: 35px;
  height: 55px;
}
.model-toolbar .model-icons .model-repo-buttons div.import-btn {
  background-image: url("../images/repository/Import_Model_Icon.svg");
  width: 35px;
  height: 55px;
}
.model-toolbar .model-icons .model-repo-buttons div.export-btn {
  background-image: url("../images/repository/Export_Icon.svg");
  width: 35px;
  height: 55px;
}
.model-toolbar .model-icons .model-repo-buttons div.export-all-btn {
  background-image: url("../images/repository/Export_Zip.svg");
  width: 35px;
  height: 55px;
}
.model-toolbar .model-icons .model-repo-buttons div.export-all-btn.inactive {
  background-image: url("../images/repository/Export_Zip_Inactive.svg");
}
.model-toolbar .model-icons .model-repo-buttons div.onedrive-switch-btn {
  width: 45px;
  height: 55px;
  background: url("../images/repository/One_Drive_Off.svg") no-repeat;
}
.model-toolbar .model-icons .model-repo-buttons div.onedrive-switch-btn.logged-in {
  background: url("../images/repository/One_Drive_On_Active.svg") no-repeat;
}
.model-toolbar .model-icons .model-repo-buttons div.onedrive-switch-btn.turned-off {
  background: url("../images/repository/One_Drive_On_Inactive.svg") no-repeat;
}
.model-toolbar .model-icons .model-repo-buttons div.onedrive-refresh-btn {
  position: absolute;
  top: -10px;
  left: 13px;
  width: 20px;
  height: 20px;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  background: url("../images/repository/One_Drive_Reload-01.svg") no-repeat;
  display: none;
}
.model-toolbar .model-icons .model-repo-buttons div.onedrive-refresh-btn.logged-in {
  display: block;
}
.model-toolbar .model-icons .model-repo-buttons div.onedrive-refresh-btn.turned-off {
  display: none;
}
.model-toolbar .model-name {
  max-width: 420px;
  height: 50px;
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  align-items: center;
}
.model-toolbar .model-name input {
  border: none;
  background-color: transparent;
  font-size: 20px;
  line-height: 27px;
  margin-right: 10px;
  padding-bottom: 5px;
  padding-bottom: 0;
  width: 100%;
  margin: 0 10px;
  text-overflow: ellipsis;
  white-space: nowrap;
  overflow: hidden;
}
.model-toolbar .model-name input:focus {
  outline: none;
  -webkit-box-shadow: 0px 0px 0px #666666;
  -moz-box-shadow: 0px 0px 0px #666666;
  -o-box-shadow: 0px 0px 0px #666666;
  box-shadow: 0px 0px 0px #666666;
}
.model-toolbar .model-name .expand-btn {
  width: 30px;
  height: 35px;
  border: none;
  background-image: url('../images/expand-collapse.svg');
  background-repeat: no-repeat;
  background-position: center;
  cursor: pointer;
}
.model-toolbar .preview-loading {
  background-color: #efefef;
  width: 100%;
  height: 100%;
  display: flex;
  align-items: center;
  justify-content: space-around;
  position: absolute;
  top: 0;
  left: 0;
}
.model-toolbar .preview-loadmodel-btn {
  position: absolute;
  cursor: pointer;
  right: 10px;
  bottom: 10px;
  width: 35px;
  height: 35px;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  background-image: url('../images/repository/Drag_and_Drop.svg');
}
.ui-accordion-header-active .expand-btn {
  border-radius: 0;
  -ms-transform: scaleX(-1);
  -moz-transform: scaleX(-1);
  -o-transform: scaleX(-1);
  -webkit-transform: scaleX(-1);
  transform: scaleX(-1);
}
.model-repository {
  z-index: 7;
  background-color: white;
}
.model-repository .localstorage-repo-container::-webkit-scrollbar {
  width: 30px;
  height: 18px;
}
.model-repository .localstorage-repo-container::-webkit-scrollbar-thumb {
  height: 6px;
  border: 10px solid rgba(0, 0, 0, 0);
  background-clip: padding-box;
  -webkit-border-radius: 20px;
  background-color: #AAA;
}
.model-repository .localstorage-repo-container::-webkit-scrollbar-button {
  width: 0;
  height: 0;
  display: none;
}
.model-repository .localstorage-repo-container::-webkit-scrollbar-corner {
  background-color: transparent;
}
.model-repository ol {
  list-style-type: none;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  line-height: 25px;
  padding-left: 20px;
  padding-right: 0px;
}
.model-repository ol li {
  height: 40px;
  font-size: 12px;
  padding-right: 25px;
  vertical-align: middle;
  padding-left: 5px;
  cursor: pointer;
  border-top: 1px solid #EDEDED;
  display: flex;
  flex-direction: row;
  align-items: center;
  justify-content: space-between;
}
.model-repository ol li.ui-selected {
  background-color: #efefef;
}
.model-repository ol li.ui-selected button.remove {
  display: inline-block;
}
.model-repository ol li.ui-selected .repo-user-icon {
  display: none;
}
.model-repository ol li:hover {
  background-color: #efefef;
}
.model-repository ol li:hover button.remove {
  display: inline-block;
}
.model-repository ol li:hover .repo-user-icon {
  display: none;
}
.model-repository ol li button.remove {
  border: none;
  display: none;
  background-color: transparent;
  height: 25px;
  width: 20px;
  float: right;
  cursor: pointer;
}
.model-repository ol li .icon-delete {
  background-image: url('../images/repository/Bin_Icon.svg');
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.model-repository ol li .icon-hide {
  background-image: url('../images/repository/Hide_Icon.svg');
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.model-repository ol li .repo-model-name {
  max-width: 250px;
  white-space: nowrap;
  text-overflow: ellipsis;
  overflow: hidden;
}
.model-repository ol li .repo-icon {
  width: 25px;
  height: 25px;
  margin-left: 5px;
  margin-right: 15px;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.model-repository ol li .repo-motif-icon {
  width: 25px;
  height: 25px;
  margin-left: 5px;
  margin-right: 15px;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  background-image: url('../images/repository/Motif_Icon_List.svg');
}
.model-repository ol li .repo-model-icon {
  width: 25px;
  height: 25px;
  margin-left: 5px;
  margin-right: 15px;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  width: 20px;
  height: 20px;
  background-image: url('../images/repository/Model_Icon_List.svg');
}
.model-repository ol li .repo-user-icon {
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  width: 20px;
  height: 20px;
  background-image: url('../images/repository/User_Icon_List.svg');
}
/* Loading Animation */
.spinner {
  text-align: center;
}
.spinner > div {
  width: 10px;
  height: 10px;
  background-color: #AAA;
  border-radius: 100%;
  display: inline-block;
  -webkit-animation: bouncedelay 1.5s infinite step-end;
  animation: bouncedelay 1.5s infinite step-end;
  /* Prevent first frame from flickering when animation starts */
  -webkit-animation-fill-mode: both;
  animation-fill-mode: both;
  margin-left: 4px;
}
.spinner .bounce1 {
  -webkit-animation-delay: 0s;
  animation-delay: 0s;
}
.spinner .bounce2 {
  -webkit-animation-delay: 0.5s;
  animation-delay: 0.5s;
}
.spinner .bounce3 {
  -webkit-animation-delay: 1s;
  animation-delay: 1s;
}
@-webkit-keyframes bouncedelay {
  0% {
    background-color: #d3d3d3;
  }
  33% {
    background-color: #848484;
  }
  66% {
    background-color: #afafaf;
  }
  100% {
    background-color: #d3d3d3;
  }
  /*0%, 80%, 100% {
        -webkit-transform: scale(0.0);
    }

    40% {
        -webkit-transform: scale(1.0);
    }*/
}
@keyframes bouncedelay {
  0% {
    background-color: #d3d3d3;
  }
  33% {
    background-color: #848484;
  }
  66% {
    background-color: #afafaf;
  }
  100% {
    background-color: #d3d3d3;
  }
  /*0%, 80%, 100% {
        transform: scale(0.0);
        -webkit-transform: scale(0.0);
    }

    40% {
        transform: scale(1.0);
        -webkit-transform: scale(1.0);
    }*/
}
.keyframe-btn {
  width: 40px;
  height: 40px;
  border: 1px solid;
  display: inline-flex;
  vertical-align: middle;
  border-radius: 25px;
  position: relative;
  cursor: default;
  margin: 0 10px 10px 0;
}
.keyframe-btn.add {
  border: 2px dashed;
  background-image: url(/images/plus.png);
  background-size: contain;
  background-repeat: no-repeat;
  background-position: center;
  cursor: pointer;
}
.keyframe-btn.selected {
  border: 2px solid;
}
.keyframe-btn.mutable:hover {
  background-color: #EDEDED;
  cursor: pointer;
}
.keyframe-btn div,
.keyframe-btn input {
  width: 100%;
  text-align: center;
  margin-top: 10px;
  border: none;
  background-color: transparent;
  display: block;
  padding: 0;
}
.keyframe-btn div:focus,
.keyframe-btn input:focus {
  box-shadow: none;
}
.keyframe-btn input {
  margin-top: 7px;
}
.ltl-result-table td {
  border: 1px solid white;
  background-color: #EDEDED;
}
.ltl-result-table td.change {
  background-color: #FFFCB5;
}
.keyframe-panel {
  background-color: #EDEDED;
}
.keyframe-element {
  width: 30px;
  height: 30px;
  background-color: white;
  margin: 4px;
}
.keyframe-element-draggable {
  z-index: 8;
}
.keyframe-compact li {
  border: none;
  display: inline-block;
}
.keyframe-compact li a {
  text-decoration: none;
}
.keyframe-table > table td {
  width: 50px;
  height: 50px;
  border: 1px solid black;
}
.keyframe-table > * {
  display: inline-block;
  vertical-align: middle;
}
.keyframe-table .remove-keyframe {
  margin-left: 10px;
  width: 30px;
  height: 30px;
  background-image: url('../images/ltlimgs/remove.png');
  cursor: pointer;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.ui-widget-header {
  background: transparent;
  border: none;
}
.ui-widget-header a {
  margin: 0;
}
.ui-widget-header .ui-state-default {
  background: transparent;
  background-image: none;
  border: none;
}
.ui-widget-header .ui-state-active {
  border: none;
}
.ui-tabs .ui-tabs-nav .ui-tabs-anchor {
  padding: 0;
}
.ui-tabs {
  border: none;
}
.ml-open-container {
  position: absolute;
  bottom: 0px;
  width: 100%;
  display: -webkit-box;
  display: -moz-box;
  display: -ms-flexbox;
  display: -webkit-flex;
  display: flex;
  flex-direction: column-reverse;
  align-items: center;
}
.ml-container {
  margin-left: 0;
  padding-left: 40px;
  padding-right: 40px;
  width: calc(100% - 60px);
  color: gray;
  background: white;
  height: 0;
  box-shadow: -4px -6px 10px #666666;
}
.ml-slick-slide {
  text-align: center;
  color: #419be0;
  box-sizing: border-box;
}
.ml-element {
  padding-left: 10px;
  padding-right: 10px;
}
.ml-card-delete {
  position: absolute;
  width: 30px;
  height: 30px;
  bottom: 8px;
  right: 10px;
  cursor: pointer;
}
.ml-card-delete-icontrash {
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
  background-image: url(../images/ml/BMA_Delete_Carousel.svg);
}
.ml-card-delete-iconhide {
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
  background-image: url(../images/ml/BMA_Hide_Carousel.svg);
}
.ml-card-title {
  margin-left: 1px;
  text-transform: uppercase;
  font-size: 14px;
  color: #606060;
  cursor: pointer;
  max-width: 350px;
}
.ml-card-description {
  margin-left: 1px;
  font-size: 12px;
  color: #606060;
  cursor: pointer;
  max-width: 350px;
}
.ml-bounding-box {
  position: relative;
  border-color: #999999;
  border-style: solid;
  border-width: 1px;
  margin: 3px;
  height: 286px;
  width: 400px;
  box-sizing: border-box;
}
.ml-bounding-box:hover {
  border-width: 2px;
}
.ml-preview {
  height: 286px;
  width: 400px;
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
}
.ml-open {
  padding: 8px;
  margin: 0;
  border-radius: 8px 8px 0 0;
  background-color: white;
  cursor: pointer;
  box-shadow: -4px -6px 10px #666666;
}
.ml-open-icon {
  background-repeat: no-repeat;
  background-size: contain;
  background-position-x: center;
  background-image: url(../images/motif-library.svg);
  width: 116px;
  height: 25px;
}
.ml-navbutton {
  width: 20px;
  height: 35px;
  background-repeat: no-repeat;
  background-size: contain;
  background-position-x: center;
  background-position-y: center;
  position: absolute;
  top: calc(50% - 18px);
  cursor: pointer;
}
.ml-navbutton-prev {
  background-image: url(../images/ml/BMA_Scroll_Left.svg);
  left: -20px;
}
.ml-navbutton-next {
  background-image: url(../images/ml/BMA_Scroll_Right.svg);
  right: -20px;
}
.ml-navbutton-prev-end {
  background-image: url(../images/ml/BMA_Scroll_Left_End.svg);
  left: -20px;
}
.ml-navbutton-next-end {
  background-image: url(../images/ml/BMA_Scroll_Right_End.svg);
  right: -20px;
}
.export-zip-btn {
  width: 50px;
  height: 40px;
  margin-bottom: 10px;
  cursor: pointer;
  background-image: url(../images/Icon_Zip.svg);
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
}
.zoompanel-button {
  background-repeat: no-repeat;
  background-size: 28px;
  background-position: center;
  padding: 0;
  width: 50px;
  height: 50px;
  margin: 0 0.2em;
  border: 1px solid #AAA;
  border-radius: 5px;
  cursor: pointer;
  background-color: transparent;
}
.zoompanel-button:hover {
  background-color: #EDEDED;
}
.zoompanel-search-button {
  background-repeat: no-repeat;
  background-size: contain;
  background-position: center;
  background-size: 16px;
  padding: 0;
  width: 27px;
  height: 27px;
  margin: 0 0.2em;
  border: 1px solid #AAA;
  border-radius: 5px;
  cursor: pointer;
  background-color: transparent;
}
.zoompanel-search-button:hover {
  background-color: #EDEDED;
}
.navigationpanel-info {
  background-image: url(../images/navigationpanel/BMA_Icon_Info.svg);
}
.color-icon {
  width: 50px;
  height: 50px;
  margin: 0 0.2em;
  border: 1px solid #AAA;
  -moz-border-radius: 7px;
  -webkit-border-radius: 7px;
  -ms-border-radius: 7px;
  -o-border-radius: 7px;
  border-radius: 7px;
  background: none;
  background-color: white;
  display: inline-block;
  vertical-align: top;
}
.color-icon span {
  position: relative;
  width: 100%;
  height: 100%;
  padding: 0;
}
.color-icon span div {
  width: 100%;
  height: 100%;
  background-repeat: no-repeat;
  background-position-x: center;
  background-position-y: center;
  background-position: center;
  border: none;
  margin: auto;
}
.color-icon:not(.ui-state-active):hover {
  cursor: pointer;
}
.color-icon .colorpicker-icon {
  background-image: url("../images/navigationpanel/BMA_Colour_Palette_Icon.svg");
  background-size: 28px;
}
.color-option {
  display: flex;
  align-items: center;
}
.color-box {
  width: 20px;
  height: 20px;
  margin-right: 10px;
  border-radius: 5px 5px 5px 5px;
  border: 2px solid white;
}
.color-box.orange {
  background-color: #ff9900;
}
.color-box.orange:hover {
  border: 2px solid #FF6600;
}
.color-box.orange.clicked {
  border: 2px solid #FF6600;
}
.color-box.mint {
  background-color: #00cccc;
}
.color-box.mint:hover {
  border: 2px solid #026666;
}
.color-box.mint.clicked {
  border: 2px solid #026666;
}
.color-box.green {
  background-color: #33cc00;
}
.color-box.green:hover {
  border: 2px solid #006600;
}
.color-box.green.clicked {
  border: 2px solid #006600;
}
.color-box.purple {
  background-color: #9966ff;
}
.color-box.purple:hover {
  border: 2px solid #330099;
}
.color-box.purple.clicked {
  border: 2px solid #330099;
}
.color-box.default {
  background-color: #ff66cc;
}
.color-box.default:hover {
  border: 2px solid #990065;
}
.color-box.default.clicked {
  border: 2px solid #990065;
}
.window.col-options {
  position: absolute;
  width: 80px;
  margin: 0 0.2em;
  z-index: 7;
}
.window.col-options .option-name {
  width: 90px;
  text-overflow: ellipsis;
  -ms-text-overflow: ellipsis;
  -o-text-overflow: ellipsis;
}
.window.col-options ul > li {
  display: block;
  cursor: pointer;
  /*&:hover {
            background-color: @lightgrey;
        }*/
  /*& > * {
            display: inline-block;
        }*/
}
.window.col-options ul > li:not(:last-child) {
  margin-bottom: 10px;
}
.repository-search {
  display: flex;
  flex-direction: row;
  align-items: center;
  padding-top: 25px;
  padding-bottom: 20px;
  padding-left: 20px;
  padding-right: 30px;
  justify-content: space-around;
}
.repository-search .btn-container {
  position: relative;
}
.repository-search .btn-container .tooltip-div {
  display: none;
  position: absolute;
  top: -20px;
  font-size: 10px;
  color: #999999;
}
.repository-search .btn-container:hover .tooltip-div {
  display: flex;
  align-items: center;
  justify-content: center;
  white-space: nowrap;
  width: 25px;
}
.repository-search .icon {
  margin-left: 2px;
  margin-right: 2px;
  width: 20px;
  height: 20px;
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
  cursor: pointer;
}
.repository-search .searchLabel {
  color: darkorange;
  margin-left: 2px;
  margin-right: 2px;
}
.repository-search .upArrow {
  background-image: url("../images/search/A_Z_Sort_Icon.svg");
}
.repository-search .upArrow:hover {
  background-image: url("../images/search/selected/A_Z_Sort_Icon_Hover-01.svg");
}
.repository-search .downArrow {
  background-image: url("../images/search/Z_A_Sort_Icon.svg");
}
.repository-search .downArrow:hover {
  background-image: url("../images/search/selected/Z_A_Sort_Icon_Hover-01.svg");
}
.repository-search .motifSort {
  background-image: url("../images/search/Motif_Sort.svg");
  width: 25.6px;
}
.repository-search .motifSort:hover {
  background-image: url("../images/search/selected/Motif_Sort_Hover-01.svg");
}
.repository-search .motifSort.selected {
  background-image: url("../images/search/selected/Motif_Sort_Hover-01.svg");
}
.repository-search .modelSort {
  background-image: url("../images/search/Model_Icon_Sort.svg");
}
.repository-search .modelSort:hover {
  background-image: url("../images/search/selected/Model_Icon_Sort_Hover-01.svg");
}
.repository-search .modelSort.selected {
  background-image: url("../images/search/selected/Model_Icon_Sort_Hover-01.svg");
}
.repository-search .userSort {
  background-image: url("../images/search/User_Icon_Sort.svg");
}
.repository-search .userSort:hover {
  background-image: url("../images/search/selected/User_Icon_Sort_Hover-01.svg");
}
.repository-search .userSort.selected {
  background-image: url("../images/search/selected/User_Icon_Sort_Hover-01.svg");
}
.repository-search input {
  width: 130px;
  border: 1px dashed #cccccc;
  margin-left: 2px;
  margin-right: 2px;
}
.repository-search input:focus {
  border-color: inherit;
  -webkit-box-shadow: none;
  box-shadow: none;
  outline: none;
  border-color: darkorange;
}
.variable-search-panel {
  position: absolute;
  top: 55px;
  left: 175px;
  display: flex;
  flex-direction: column;
  z-index: 100;
}
.variable-search-panel ul.bmavariablesearch {
  border: none;
  border-radius: unset;
  box-shadow: none;
}
.variable-search-input {
  width: 300px;
  border: 1px dashed #cccccc;
  margin-left: 2px;
  margin-right: 2px;
}
.variable-search-input:focus {
  border-color: inherit;
  -webkit-box-shadow: none;
  box-shadow: none;
  outline: none;
  border-color: darkorange;
}
.bmavariablesearch {
  padding-bottom: 5px;
  padding-top: 5px;
  position: relative;
}
.bmavariablesearch li.search-autocomplete {
  display: flex;
  align-items: center;
  text-overflow: ellipsis;
  white-space: nowrap;
  overflow: hidden;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-top: 5px;
  padding-bottom: 5px;
  height: 30px;
  font-size: 12px;
  padding-left: 10px;
  line-height: unset;
}
.bmavariablesearch li.search-result {
  border-bottom: 1px solid #F3F3F3;
  color: #8F8F8F;
}
.bmavariablesearch li.ui-state-focus {
  background-color: #D4FBC8;
}
.bmavariablesearch li.ui-menu-item {
  margin-bottom: 0px;
}
.bmavariablesearch li.ui-autocomplete-category {
  background-color: #9AF57F;
  color: black;
}
.ui-autocomplete {
  max-height: 600px;
  overflow-y: auto;
  /* prevent horizontal scrollbar */
  overflow-x: hidden;
}
.arrow-down {
  width: 0;
  height: 0;
  border-left: 5px solid transparent;
  border-right: 5px solid transparent;
  border-top: 10px solid #606060;
  display: inline-block;
  margin-left: 5px;
}
.window.LTL-states {
  width: 380px;
  padding: 0px 0px 10px 0px;
}
.window.LTL-states .window-title {
  padding: 10px 0px 0px 10px;
}
.state-description {
  margin: 10px 0px 0px 10px;
  width: 90%;
}
.state-buttons {
  margin-left: 0px;
}
.state-buttons .state-button {
  display: inline-block;
  margin: 5px 0px 10px 5px;
  font-family: 'OpenSans-Light';
  font-size: 20px;
  line-height: 30px;
  width: 30px;
  height: 30px;
  text-align: center;
  border-radius: 100px;
  background-color: white;
  color: #606060;
  border: 1px solid #606060;
}
.state-buttons .state-button.new {
  color: white;
  border: 1px solid white;
  background-color: #AAA;
  margin-left: 5px;
}
.state-buttons .state-button.new:hover {
  color: #EDEDED;
  border: 1px solid #EDEDED;
  cursor: pointer;
}
.state-buttons .variable-button {
  display: inline-block;
  margin: 5px 0px 10px 5px;
  font-family: 'OpenSans-Light';
  font-size: 20px;
  line-height: 30px;
  width: 40px;
  height: 30px;
  text-align: center;
  border-radius: 100px;
  background-color: white;
  color: #606060;
  border: 1px solid #606060;
  white-space: nowrap;
  overflow: hidden;
  padding-left: 5px;
  padding-right: 5px;
  text-overflow: ellipsis;
}
.state-buttons .variable-button.new {
  color: white;
  border: 1px solid white;
  background-color: #AAA;
  margin-left: 5px;
}
.state-buttons .variable-button.new:hover {
  color: #EDEDED;
  border: 1px solid #EDEDED;
  cursor: pointer;
}
.state-toolbar {
  background-color: #AAA;
  padding: 5px 5px 0px 10px;
}
.LTL-state {
  width: 380px;
}
.LTL-state table {
  border-collapse: collapse;
  font-family: 'OpenSans-Light';
  margin: 10px;
}
.LTL-state table tr {
  margin: 0px;
}
.LTL-state table tr td {
  border: 1px solid #AAA;
  text-align: center;
  margin: 0px;
  padding: 0px;
  width: 45px;
  height: 45px;
  vertical-align: middle;
  line-height: 30px;
  font-size: 30px;
}
.LTL-state table tr td.variable {
  width: 230px;
  padding: 0px 5px;
  text-align: left;
  white-space: nowrap;
}
.LTL-state table tr td.variable img {
  height: 20px;
}
.LTL-state table tr td.variable p {
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
.LTL-state table tr td:empty {
  width: 45px;
  height: 45px;
  vertical-align: middle;
  line-height: 30px;
  font-size: 30px;
  padding: 0px;
}
.LTL-state table tr td.LTL-line-del {
  width: 45px;
  height: 45px;
  vertical-align: middle;
  line-height: 30px;
  font-size: 30px;
  border: none;
}
.LTL-state table tr td.LTL-line-del img {
  max-width: 25px;
}
.LTL-state table tr td.LTL-line-del:hover {
  cursor: pointer;
}
.LTL-state table tr td.LTL-line-new {
  width: 45px;
  height: 45px;
  vertical-align: middle;
  line-height: 30px;
  font-size: 30px;
  font-size: 40px;
  line-height: 40px;
  vertical-align: top;
  border: 1px solid #EDEDED;
  color: #EDEDED;
}
.LTL-state table tr td.LTL-line-new:hover {
  color: #AAA;
  border: 1px solid #AAA;
  cursor: pointer;
}
.variable-picker {
  width: 230px;
  border: 1px solid #AAA;
}
.variable-picker table {
  font-size: 11px;
}
.variable-picker table img {
  width: 20px;
}
.variable-picker table tr {
  vertical-align: top;
}
.variable-picker table td {
  min-width: 50px;
}
.variable-picker table td.container {
  width: 80px;
}
.variable-picker table td.variable {
  width: 140px;
}
.variable-picker table td .scrollable {
  /*width: 100%;*/
  height: 100%;
  overflow-y: auto;
  overflow-x: hidden;
  padding: 0px 2px 0px 0px;
}
.variable-picker table td .scrollable a {
  display: block;
  text-decoration: none;
}
.variable-picker table td .scrollable a:hover {
  background-color: #EDEDED;
}
.variable-picker table td .scrollable a.active {
  border: 0px;
  background-color: #AAA;
  color: white;
}
.variable-picker table td .scrollable::-webkit-scrollbar-track {
  width: 10px;
  background-color: white;
}
.variable-picker table td .scrollable::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.variable-picker table td .scrollable::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.window.temporal-properties {
  width: 650px;
  height: 500px;
  padding: 0px 0px 10px 0px;
}
.window.temporal-properties .window-title {
  padding: 10px 0px 0px 10px;
}
.temporal-properties-contextmenu {
  min-width: 110px;
}
.fit-screen {
  width: 25px;
  padding: 10px;
  float: right;
  right: 0;
}
.resize-grabber {
  position: absolute;
  bottom: 1px;
  left: 627px;
}
.temporal-dropzones {
  position: relative;
  bottom: 0px;
  /*width: 800px;*/
  height: 60px;
  /*padding: 15px 10px;*/
}
.temporal-dropzones .dropzone {
  position: absolute;
  display: inline-block;
  height: 60px;
  width: 385px;
  text-align: center;
  background-color: white;
  bottom: 15px;
}
.temporal-dropzones .dropzone img {
  margin-top: 10px;
}
.temporal-dropzones .dropzone.delete {
  right: 10px;
  border: 1px solid #ff0066;
}
.temporal-dropzones .dropzone.copy {
  left: 10px;
  border: 1px solid #606060;
  /*margin-right: 5px;*/
}
.temporal-dropzones .dropzone:hover {
  background-color: #EDEDED;
}
.temporal-dropzones .dropzone.hovered {
  background-color: #EDEDED;
}
.temporal-toolbar {
  padding: 10px;
  margin-top: 5px;
  display: table;
  background-color: #AAA;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  color: white;
}
.temporal-toolbar .state-buttons {
  display: table-cell;
  width: 120px;
}
.temporal-toolbar .temporal-operators {
  display: table-cell;
  vertical-align: top;
  width: 420px;
}
.temporal-toolbar .temporal-operators .operators {
  height: 64px;
  overflow-y: hidden;
}
.temporal-toolbar .temporal-operators .operator {
  display: inline-block;
  color: #606060;
  background-color: white;
  border: 1px solid #606060;
  border-radius: 25px;
  height: 21px;
  padding: 2px;
  margin-top: 5px;
  margin-right: 5px;
}
.temporal-toolbar .temporal-operators .operator .label {
  display: inline-block;
  vertical-align: top;
  margin-top: 2px;
}
.temporal-toolbar .temporal-operators .operator .hole {
  display: inline-block;
  margin: 3px 2px 0px 2px;
  background-color: #606060;
  border-radius: 25px;
  width: 15px;
  height: 15px;
}
.temporal-toolbar .toggle {
  display: table-cell;
  vertical-align: top;
  cursor: pointer;
}
ui-icon-arrowthickstop-1-s {
  background-image: url('../images/open.svg') !important;
}
ui-icon-arrowthickstop-1-n {
  background-image: url('../images/save.svg') !important;
}
.pill {
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  text-align: center;
  display: inline-block;
  background: #FFFFFF;
  border: 1px solid #606060;
  border-radius: 100px;
  line-height: 20px;
  padding: 7px 7px;
  vertical-align: middle;
}
.pill.true {
  background-color: #d2faf0;
}
.pill.true div {
  background-color: #d2faf0;
}
.pill.false {
  background-color: #fee9f4;
}
.pill.false div {
  background-color: #fee9f4;
}
.pill.some {
  background-image: url("../images/stripe-pattern.png");
}
.pill.some > div {
  background-color: transparent;
}
.state {
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  text-align: center;
  display: inline-block;
  background: #FFFFFF;
  border: 1px solid #606060;
  border-radius: 100px;
  line-height: 20px;
  width: 20px;
  height: 20px;
  background-color: #EDEDED;
}
.state:empty {
  background-color: #fee9f4;
  border-color: #ff0066;
}
.state:empty:after {
  content: "\00a0";
}
.LTL-test {
  display: inline-block;
}
.closed-results {
  display: inline-block;
  vertical-align: middle;
}
.closed-results .action-button-small {
  margin: 0px;
}
.closed-results.true {
  color: #00cccc;
}
.closed-results.false {
  color: #ff0066;
}
.LTL-test-results {
  display: inline-block;
  vertical-align: middle;
  width: 130px;
  padding: 5px 5px 0px 5px;
  margin-left: 10px;
  background-color: white;
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  -ms-border-radius: 5px;
  -o-border-radius: 5px;
  border-radius: 5px;
}
.LTL-test-results.default {
  border: 1px solid #606060;
  color: #606060;
}
.LTL-test-results.true {
  border: 1px solid #00cccc;
  color: #00cccc;
}
.LTL-test-results.false {
  border: 1px solid #ff0066;
  color: #ff0066;
}
.LTL-test-results.some {
  border: 1px solid #606060;
  color: #606060;
}
.LTL-test-results .pill-button-box {
  margin-left: 5px;
}
.LTL-test-results .pill-button-box .pill-button {
  margin-top: 5px;
  margin-bottom: 0px;
  width: 17px;
  font-size: 19.5px;
}
.LTL-test-results .button-list {
  margin-top: 5px;
}
.LTL-test-results .button-list button {
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  vertical-align: middle;
  line-height: 15px;
  margin-top: -2px;
}
.LTL-test-results .button-list button img {
  margin-top: 2px;
  max-height: 13px;
}
.LTL-test-results .button-list .LTL-sim-true {
  display: flex;
  color: #00cccc;
}
.LTL-test-results .button-list .LTL-sim-false {
  display: flex;
  color: #ff0066;
}
.LTL-test-results .action-button-small {
  margin: 5px 0px 5px 0px;
}
.btns {
  overflow-y: auto;
  height: 64px;
}
.ltl-results-tab {
  overflow-y: hidden;
}
.small-simulation-popout-table .variables-table tr:last-child td:last-child {
  background-color: Window;
  border-right-color: transparent;
  border-bottom-color: transparent;
}
.popup-window.no-frames {
  padding-left: 0px;
  padding-right: 0px;
}
.popup-window.no-frames .analysis-title.no-frames-title {
  padding-left: 10px;
  padding-right: 10px;
}
.model-repository .localstorage-repo-container {
  max-height: 250px;
  overflow-y: scroll;
}
.model-repository .localstorage-repo-container .localstorage-repo ol {
  margin-top: 0px;
  margin-bottom: 0px;
}
/*.state-toolbar {
    margin-top: 5px;

    .state-tool {
        margin: 0 10px 0 0;
    }
}

.states-editor {
    .state-buttons{
        background-color:@midgrey;
    }
}*/
/*.state-buttons {
    width: 355px;
    margin-left: 0;
    &.states-editor{
        background-color:@midgrey;
        .state-button {
            margin: 5px;
            margin-right: 0;
        }
    }

    .state-button {
        margin: 5px;
        margin-left: 0;
        overflow:hidden;
        vertical-align:middle;

        &.active {
            border: 3px solid @darkgrey;
        }

        &.new {
            background-color:@midgrey;
            color:white;
            border-color:white;

            &:hover {
                color:white;
                border: 2px solid white;
            }
        }

        &:hover {
            cursor: pointer;
        }
    }
}*/
.state-toolbar {
  width: 380px;
  padding: 5px 5px 0px 8px;
}
.state-toolbar .state-buttons {
  padding-bottom: 10px;
}
.state-toolbar .state-buttons .state-button {
  margin: 5px 0px 0px 5px;
}
.state-toolbar .state-buttons .state-button.active {
  border: 3px solid #606060;
  margin: 3px -2px -2px 3px;
}
.state-toolbar .state-buttons .state-button:hover {
  cursor: pointer;
}
.state-button-empty {
  margin-left: auto;
  margin-right: auto;
  width: 80px;
  height: 80px;
  font-family: 'OpenSans-Light';
  font-size: 50px;
  line-height: 75px;
  text-align: center;
  border-radius: 100px;
  background-color: white;
  color: #606060;
  border: 2px solid #606060;
}
.state-button-empty:hover {
  color: #AAA;
  border: 2px solid #AAA;
  cursor: pointer;
}
.state-compact {
  margin-top: 5px;
  margin-bottom: 15px;
}
.state-compact .state-buttons:hover {
  cursor: pointer;
}
.state-compact .state-button-empty {
  margin-left: auto;
  margin-right: auto;
  width: 80px;
  height: 80px;
  font-family: 'OpenSans-Light';
  font-size: 50px;
  line-height: 75px;
  text-align: center;
  border-radius: 100px;
  background-color: white;
  color: #606060;
  border: 2px solid #606060;
}
.state-compact .state-button-empty:hover {
  color: #AAA;
  border: 2px solid #AAA;
  cursor: pointer;
}
.state-compact .state-placeholder {
  font-size: 17px;
  text-align: center;
  margin-top: 10px;
}
.state-compact .state-options-window .pointer {
  margin-left: auto;
  margin-right: auto;
  border-top: none;
  border-bottom: 7px solid #aaa;
  box-shadow: 2px 7px 8px rgba(0, 0, 0, 0.5);
}
.state-compact .state-options-window .state-options {
  width: 120px;
  height: 120px;
  box-shadow: 2px 7px 8px rgba(0, 0, 0, 0.5);
}
.number-input {
  width: 30px;
  padding-left: 0px;
  height: 43px;
  font-size: 30px;
  border: none;
  text-align: center;
}
.number-input:focus {
  -webkit-box-shadow: none;
  -moz-box-shadow: none;
  -o-box-shadow: none;
  box-shadow: none;
}
.ltlresultsviewer {
  width: 1060px;
  max-height: 470px;
  overflow-x: auto;
  overflow-y: auto;
  margin-top: 5px;
  margin-bottom: 15px;
  /*.small-simulation-popout-table {
            display: inline-block;
            float:left;
            max-width: 250px;
            max-height: 322px;

            .variables-table {
                td:nth-child(1) {
                    width: 40px;
                }

                tr:last-child td:first-child {
                    background-color: Window;
                    border-left-color: transparent;
                    border-right-color:transparent;
                    border-bottom-color: transparent;
                }

                td:nth-child(3) {
                    width: 50px;
                }
            }
        }*/
}
.ltlresultsviewer::-webkit-scrollbar-track {
  width: 20px;
  background-color: white;
}
.ltlresultsviewer::-webkit-scrollbar {
  width: 5px;
  height: 5px;
  background-color: #AAA;
}
.ltlresultsviewer::-webkit-scrollbar-thumb {
  padding: 5px;
  border-radius: 5px;
  background-color: #AAA;
}
.ltlresultsviewer .simulationplot-label {
  background-color: rgba(100, 100, 100, 0.5);
}
.ltlresultsviewer .simulationplot-label.repeat {
  background-color: rgba(170, 170, 170, 0.5);
}
.ltlresultsviewer .simulationplot-label.stripes {
  background: repeating-linear-gradient(45deg, transparent, transparent 10px, rgba(170, 170, 170, 0.5) 10px, rgba(170, 170, 170, 0.5) 20px);
}
.ltlresultsviewer .simulationplot-label .state-button {
  display: inline-block;
  margin: 5px 0px 10px 5px;
  font-family: 'OpenSans-Light';
  font-size: 20px;
  line-height: 25px;
  width: 30px;
  height: 30px;
  text-align: center;
  border-radius: 100px;
  background-color: white;
  color: #606060;
  border: 1px solid #606060;
}
.ltlresultsviewer .steps-container {
  float: right;
  margin: 5px;
  display: inline-block;
  vertical-align: middle;
}
.ltlresultsviewer ul.button-list {
  float: right;
  margin: 0;
}
.ltlresultsviewer ul.button-list li {
  background-color: #606060;
  display: inline-block;
  vertical-align: middle;
}
.ltlresultsviewer ul.button-list li:hover {
  background-color: #EDEDED;
}
.ltlresultsviewer ul.button-list li:hover button {
  color: #606060;
}
.ltlresultsviewer ul.button-list button {
  color: white;
  font-size: 14px;
  padding: 3px;
}
.ltlresultsviewer ul.button-list button:hover {
  color: #606060;
}
.ltlresultsviewer ul.button-list li.steps {
  background-color: #EDEDED;
  color: #606060;
}
.ltlresultsviewer ul.button-list li.steps button {
  color: #606060;
}
.ltlresultsviewer ul.button-list li.run {
  margin-left: 30px;
  background-color: #00cccc;
  border: 1px solid #00cccc;
  border-radius: 6px;
  cursor: pointer;
  height: 30px;
  color: white;
}
.ltlresultsviewer ul.button-list li.run:hover {
  background-color: white;
  border: 1px solid #00cccc;
  color: #00cccc;
}
.ltlresultsviewer ul.button-list li.run:hover button {
  color: #00cccc;
}
.ltlresultsviewer ul.button-list li.run:hover button .icon.download {
  background-image: url("../images/download.svg");
}
.ltlresultsviewer ul.button-list li.run button {
  font-size: 20px;
  line-height: 100%;
  color: white;
  padding: 5px 7px 5px 7px;
  /*&:hover{
				color: @c;
                    .icon{
						&.download{
						background-image: url("../images/download.svg")
					}
					}
				}*/
}
.ltlresultsviewer ul.button-list li.run button .icon {
  display: inline-block;
  height: 18px;
  width: 18px;
  background-repeat: no-repeat;
  background-size: contain;
  padding: 0px;
  margin: 0px;
}
.ltlresultsviewer ul.button-list li.run button .icon.download {
  background-image: url("../images/download-white.svg");
}
.ltlresultsviewer ul.button-list li.run.waiting:hover {
  background-color: #00cccc;
  border: 1px solid #00cccc;
  color: white;
}
.ltlresultsviewer ul.button-list li.run .spinner > div {
  background-color: #EDEDED;
}
.ltlresultsviewer ul.button-list li.run .grey .spinner {
  background-color: white;
}
.ltlresultsviewer ul.button-list li.run button {
  width: 70px;
  height: 30px;
  text-transform: uppercase;
}
.ltlresultsviewer ul.button-list li.run.waiting > button {
  background-image: url(../images/20x20.gif);
  background-repeat: no-repeat;
  background-position: center;
  background-size: contain;
}
.ltlresultsviewer .ltl-simplot-container {
  display: inline-block;
  float: left;
  max-height: 322px;
  width: 520px;
}
.ltlresultsviewer .ltl-simplot-container .small-simulation-popout-table {
  display: inline-block;
  float: left;
  max-width: 250px;
  max-height: 322px;
  overflow-y: hidden;
}
.ltlresultsviewer .ltl-simplot-container .small-simulation-popout-table .variables-table td {
  white-space: nowrap;
}
.ltlresultsviewer .ltl-simplot-container .small-simulation-popout-table .variables-table td:nth-child(1) {
  width: 40px;
}
.ltlresultsviewer .ltl-simplot-container .small-simulation-popout-table .variables-table tr:last-child td:first-child {
  background-color: Window;
  border-left-color: transparent;
  border-bottom-color: transparent;
}
.ltlresultsviewer .ltl-simplot-container .small-simulation-popout-table .variables-table td:nth-child(4) {
  width: 50px;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table {
  display: inline-block;
  float: left;
  vertical-align: top;
  width: 250px;
  max-height: 322px;
  overflow-x: auto;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .bma-simulation-data-table {
  max-width: calc(100% - 90px);
  overflow-x: visible;
  overflow-y: visible;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .bma-simulation-data-table .progression-table {
  width: auto;
  margin-top: 0;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .bma-simulation-data-table .progression-table tr:nth-child(even) {
  background-color: white;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .bma-simulation-data-table .progression-table tr:nth-child(odd) {
  background-color: #EDEDED;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .variables-table {
  width: 90px;
  table-layout: auto;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .variables-table tr.red {
  background-color: #fee9f4;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .variables-table input {
  height: 17px;
  width: 100%;
  border: none;
  text-align: center;
  background-color: transparent;
  padding: 0;
  margin: 0;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .variables-table input:focus {
  box-shadow: none;
}
.ltlresultsviewer .ltl-simplot-container .big-simulation-popout-table .variables-table .random-small {
  background-repeat: no-repeat;
  background-size: contain;
  background-position-x: center;
  width: 20px;
  height: 20px;
}
.ltlresultsviewer .ltl-results {
  display: inline-block;
  float: left;
  width: 500px;
  overflow: auto;
}
.ltlresultsviewer .ltl-results.simulation-plot-box {
  margin-top: 23px;
  margin-left: 5px;
  height: 300px;
}
.ltlresultsviewer .ltl-results.simulation-plot-box .idd-plot-master {
  width: 80% !important;
}
.ltlresultsviewer .ltl-results.simulation-plot-box .simulationplot-legend-legendcontainer {
  height: 273px;
  width: 20%;
}
.LTL-state {
  max-height: 270px;
  overflow-y: auto;
  margin-top: 10px;
}
.LTL-state table {
  margin: 0px 10px 10px 10px;
}
.LTL-state table tr td.variable {
  width: 195px;
  height: 45px;
  min-width: 195px;
  max-width: 195px;
}
.LTL-state table tr td.variable .state-container-image {
  display: inline-block;
  background: url("../images/container.svg") no-repeat;
  background-size: 20px 20px;
  width: 20px;
  height: 20px;
}
.LTL-state table tr td.variable .state-container-image.hidden {
  display: none;
}
.LTL-state table tr td.variable .state-variable-image {
  display: inline-block;
  background: url("../images/variable.svg") no-repeat;
  background-size: 20px 20px;
  width: 20px;
  height: 20px;
}
.LTL-state table tr td.variable .state-text {
  display: inline-block;
  margin-left: 3px;
  max-width: 85px;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
  overflow: hidden;
  text-overflow: ellipsis;
  vertical-align: middle;
  /*&.not-selected{
                            width:0px;
                        }*/
}
.LTL-state table tr td.variable .state-text.state-container-name {
  max-width: 40px;
  margin-right: 3px;
}
.LTL-state table tr td.variable .state-text.hidden {
  display: none;
}
.LTL-state table tr td.variable .state-text.only-variable {
  max-width: 170px;
}
.LTL-state table tr td.variable .arrow-down.hidden {
  display: none;
}
.LTL-state table tr td.variable img {
  display: inline-block;
  width: 20px;
}
.LTL-state table tr td.variable img.hidden {
  display: none;
}
.LTL-state table tr td.variable.hidden {
  display: none;
}
.LTL-state table tr td.operator {
  text-align: left;
  width: 50px;
}
.LTL-state table tr td.operator p {
  display: inline-block;
  width: 20px;
}
.LTL-state table tr td.operator img {
  display: inline-block;
  width: 30px;
  height: 30px;
}
/*LTL-states {
    max-height: 270px;
    overflow-y: auto;

    table {
        margin-left: 5px;;

        tr {

            td {
                position: relative;
                min-width: 55px;
                padding: 0;

                &.LTL-line-new {
                    height: 47px;
                }

                img {
                    height:38px;
                    width:38px;
                }

                &.variable-select {
                    //display: block;
                    width: 175px;
                    font-size: 20px;
                    color: ButtonText;
                    text-align:left;

                    .container-image {
                        display:inline-block;
                        background: url("../images/container.svg") no-repeat;
                        background-size: 25px 25px;
                        width: 30px;
                        height: 30px;

                        &.hidden{
                            display:none;
                        }
                    }

                    .variable-image {
                        display:inline-block;
                        background: url("../images/variable.svg") no-repeat;
                        background-size: 25px 25px;
                        width: 30px;
                        height: 30px;
                    }

                    p {
                        margin-left: 2px;
                        display: inline-block;
                        width: 40px;
                        max-height: 20px;
                        overflow: hidden;
                        text-align: left;
                        vertical-align:super;
                        -ms-text-overflow: ellipsis;
                        -o-text-overflow: ellipsis;
                        text-overflow: ellipsis;
                        &.hidden{
                            display:none;
                        }
                    }

                    .inputs-expandbttn {
                        display: inline-block;
                        width: 0;
                        height: 0;
                        border-left: 5px solid transparent;
                        border-right: 5px solid transparent;
                        cursor: pointer;
                        border-top: 7px solid #aaa;
                        border-bottom: none;
                        float: right;
                        margin-top: 13px;
                        margin-right: 5px;

                        &.inputs-list-header-expanded {
                            border-top: none;
                            border-bottom: 7px solid #aaa;
                        }
                    }

                    &.expanded {
                        border-top-left-radius: 5px;
                        border-top-right-radius: 5px;
                    }
                }

                &.operator {
                    .inputs-expandbttn {
                        display: inline-block;
                        width: 0;
                        height: 0;
                        border-left: 5px solid transparent;
                        border-right: 5px solid transparent;
                        cursor: pointer;
                        border-top: 7px solid #aaa;
                        border-bottom: none;
                        float: right;
                        margin-top: 17px;
                        margin-right: 5px;

                        &.inputs-list-header-expanded {
                            border-top: none;
                            border-bottom: 7px solid #aaa;
                        }
                    }
                }
            }
        }
    }
}
*/
.variable-picker {
  position: absolute;
  z-index: 10;
  width: 222px;
}
.variable-picker table {
  width: 100%;
  margin: 0;
  background-color: white;
  border-collapse: collapse;
}
.variable-picker table .variable-image {
  background: url("../images/variable.svg") no-repeat;
  background-size: 20px 20px;
  width: 20px;
  height: 20px;
}
.variable-picker table .container-image {
  background: url("../images/container.svg") no-repeat;
  background-size: 20px 20px;
  width: 20px;
  height: 20px;
}
.variable-picker table img {
  width: 20px;
  height: 20px;
}
.variable-picker table tr td {
  /*&.list {
                    max-height: 85px;
                }*/
}
.variable-picker table tr td.container {
  width: 75px;
}
.variable-picker table tr td .scrollable {
  max-height: 85px;
}
.variable-picker table tr td .scrollable a {
  display: block;
  text-decoration: none;
}
.variable-picker table tr td .scrollable a:hover {
  cursor: pointer;
}
.variable-picker table td.list {
  max-height: 85px;
}
.operator-picker {
  position: absolute;
  z-index: 10;
  width: 48px;
  border: 1px solid #AAA;
  background-color: white;
  text-align: center;
  font-size: 30px;
}
.operator-picker div:hover {
  cursor: pointer;
  background-color: #EDEDED;
}
/*.state-description {
    margin: 10px 0 0 5px;
    width: 335px;
}*/
.state-tooltip {
  z-index: 10;
  background: #EDEDED;
  border: none;
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  -ms-border-radius: 5px;
  -o-border-radius: 5px;
  border-radius: 5px;
  padding: 5px;
  width: 120px;
  /*max-height:300px;*/
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
.state-tooltip table {
  margin: 5px;
  font-size: 30px;
  font-family: 'OpenSans-Light';
  vertical-align: middle;
  text-align: left;
  /*max-height:300px;
    overflow-y:hidden;*/
}
.state-tooltip table tr {
  margin-bottom: 5px;
}
.state-tooltip table td.variable-name {
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
.state-tooltip table td.variable-name div {
  max-width: 50px;
  text-overflow: ellipsis;
  overflow: hidden;
}
.state-tooltip table td.variable-name img {
  width: 40px;
  height: 40px;
}
.state-tooltip:after {
  bottom: 100%;
  left: 50%;
  border: solid transparent;
  content: " ";
  height: 0;
  width: 0;
  position: absolute;
  pointer-events: none;
  border-color: rgba(255, 255, 255, 0);
  border-bottom-color: #EDEDED;
  border-width: 15px;
  margin-left: -15px;
}
/*.LTL-test-options{
    display: inline-block;
    vertical-align: middle;
    width: 130px;
    padding: 5px 5px 0px 5px;
    /*margin-left: 10px;*/
/*.border-radius(5px);

    border: 1px solid @darkgrey;
    color: @darkgrey;

    .pill-button-box {
        .pill-button {
            margin-top: 5px;
            margin-bottom: 0px;
        }
    }
}*/
.LTL-test-results input {
  border: none;
  padding: 0px;
  width: 25px;
  background-color: transparent;
  color: inherit;
}
.LTL-test-results .pill-button-box .pill-button {
  margin-top: 5px;
  margin-bottom: 0px;
}
.LTL-test-results .pill-button-box .pill-button.testing:hover {
  background-color: #EDEDED;
  color: #606060;
}
.LTL-test-results .pill-button-box .pill-button.testing button.testing {
  color: #606060;
}
.LTL-test-results .pill-button-box .pill-button.testing button.testing:hover {
  color: #606060;
}
.LTL-test-results .pill-button-box .pill-button.testing button.testing.green {
  color: #00cccc;
}
.LTL-test-results .pill-button-box .pill-button.testing button.testing.green:hover {
  background-color: #EDEDED;
  color: #00cccc;
}
.LTL-test-results .pill-button-box .pill-button.testing button.testing.red {
  color: #ff0066;
}
.LTL-test-results .pill-button-box .pill-button.testing button.testing.red:hover {
  background-color: #EDEDED;
  color: #ff0066;
}
.LTL-test-results img {
  display: inline-block;
  vertical-align: middle;
}
.LTL-test-results .number-of-steps {
  display: inline-block;
  width: 55px;
}
.LTL-test-results .number-of-steps input:hover {
  cursor: pointer;
}
.LTL-test-results.default {
  background-color: transparent;
  border: none;
  color: #606060;
}
.LTL-test-results.default .red {
  color: #ff0066;
}
.LTL-test-results.default .red.errorMessage {
  max-height: 50px;
  overflow-y: hidden;
  text-overflow: ellipsis;
}
.LTL-test-results.default .red.errorMessage:hover {
  cursor: pointer;
}
/*.LTL-test-results {

    img {
        display:inline-block;
        vertical-align:middle;
        height:20px;
        width:20px;
    }

    &.true {
        .red{
            color: @darkred;
        }
    }
}

.LTL-results-not-expanded {
    &.true {
        color: @green;
    }

    &.false {
        color:@darkred;
    }
}*/
.ui-icon {
  width: 20px;
  height: 20px;
  margin-left: 5px;
}
.ui-icon-scissors {
  background-size: 20px 20px;
  background-position: 0px 0px;
}
.ui-icon-copy {
  background-size: 20px 20px;
  background-position: 0px 0px;
}
.ui-icon-pencil {
  background-size: 20px 20px;
  background-position: 0px 0px;
}
.ui-icon-arrow-4-diag {
  background-size: 20px 20px;
  background-position: 0px 0px;
}
.ui-icon-trash {
  background-size: 20px 20px;
  background-position: 0px 0px;
}
.ui-icon-clipboard {
  background-size: 20px 20px;
  background-position: 0px 0px;
}
.ui-icon-export {
  background-image: url('../images/icon-export-LTL.svg') !important;
  /*background-size: 20px 20px;
    background-position: 0px 0px;*/
}
.ui-icon-import {
  background-image: url('../images/icon-import-LTL.svg') !important;
  /*background-size: 20px 20px;
    background-position: 0px 0px;*/
}
/*ul.ui-helper-hidden.ui-menu.ui-widget.ui-widget-content.ui-corner-all.ui-menu-icons {
    width: 85px;
    font-size: 12px;
    padding: 5px 0 3px 0;
}*/
.ui-menu {
  box-shadow: 2px 5px 10px 0px rgba(0, 0, 0, 0.5);
  border-radius: 4px;
}
.ui-menu .ui-icon {
  width: 20px;
  height: 20px;
  margin-left: 3px;
}
.ui-menu .ui-menu-item {
  text-decoration: none;
  line-height: 19px;
  display: block;
  vertical-align: middle;
  margin-bottom: 3px;
  font-size: 12px;
}
.ui-menu-icons .ui-menu-item {
  padding-left: 30px;
}
.ui-widget-content .ui-state-focus,
.ui-widget-content .ui-state-active {
  border: none;
  background: #EDEDED;
  margin: 0 0 3px 0;
}
.window.canvas-contextual {
  padding: 5px 0 3px 0;
}
.ui-menu.ui-widget.ui-widget-content.ui-front.command-list .ui-menu-item {
  text-decoration: none;
  line-height: 19px;
  padding: 2px 5px 2px 5px;
  display: block;
  vertical-align: middle;
  margin-bottom: 3px;
}
.action-button-small.grey {
  margin-right: 5px;
}
.action-button-small.grey.spin {
  margin-right: 5px;
  background-color: white;
}
.action-button-small.grey .cancel-button {
  display: inline-block;
}
.action-button-small.grey .cancel-button:hover {
  color: white;
}
.window.variable-editor {
  height: 404px;
}
.variable-editor .editor-namerange-container {
  width: 100%;
}
.variable-editor .editor-namerange-container .variable-name-div {
  width: calc(100%-165px);
}
.variable-editor .variable-name {
  width: 100%;
}
.variable-editor.bmaeditor-expanded {
  height: 434px;
}
.variable-editor.bmaeditor-expanded-horizontaly {
  width: 485px;
  height: 700px;
}
.variable-editor .target-function .formula-text-area {
  width: calc(100% - 2px);
  height: 150px;
}
.variable-editor .target-function .formula-validation-message {
  color: #ff0066;
}
.variable-editor .description {
  /*margin-top:20px;*/
  margin-bottom: 20px;
  width: 368px;
}
.variable-editor .description .description-input {
  width: 100%;
  padding: 0 5px;
  height: 30px;
}
.tfswitcher {
  margin-top: 20px;
  width: 65px;
}
.tfswitcher .tfswitch {
  display: inline-block;
  text-align: center;
  vertical-align: middle;
  width: 27px;
  height: 23px;
  margin-right: 5px;
  border-radius: 15px;
  background-color: #EDEDED;
}
.tfswitcher .tfswitch.selected {
  background-color: #AAA;
  color: white;
}
.tfswitcher .tfswitch:hover {
  background-color: #606060;
  color: white;
  cursor: pointer;
}
.tfswitcher .tfswitch:first-child {
  border-top-right-radius: 0px;
  border-bottom-right-radius: 0px;
}
.tfswitcher .tfswitch:last-child {
  border-top-left-radius: 0px;
  border-bottom-left-radius: 0px;
}
.tfswitcher .tfswitch.disabled:hover {
  background-color: #EDEDED;
  color: #606060;
}
.model-repository .refresh {
  display: inline-block;
  background: url("../images/random2.png") no-repeat;
  background-size: 25px 25px;
  height: 30px;
  width: 30px;
  cursor: pointer;
  padding-bottom: 5px;
  vertical-align: middle;
}
.model-repository .close-icon {
  display: inline-block;
}
.model-repository .share-icon {
  display: inline-block;
  height: 20px;
  width: 20px;
  border: 1px solid #00cccc;
  border-radius: 100px;
  color: white;
  background-color: #00cccc;
  text-align: center;
  line-height: 20px;
  float: right;
}
.model-repository .repository-switcher {
  background-color: #AAA;
  color: white;
  border-radius: 15px;
  width: 200px;
  height: 20px;
  margin-left: auto;
  margin-right: auto;
}
.model-repository .repository-switcher .repository-bttn {
  display: inline-block;
  text-align: center;
  line-height: 20px;
  width: 100px;
  height: 20px;
  border-radius: 15px;
}
.model-repository .repository-switcher .repository-bttn:hover {
  cursor: pointer;
}
.model-repository .repository-switcher .repository-bttn:first-child {
  border-top-right-radius: 0px;
  border-bottom-right-radius: 0px;
}
.model-repository .repository-switcher .repository-bttn:last-child {
  border-top-left-radius: 0px;
  border-bottom-left-radius: 0px;
}
.model-repository .repository-switcher .repository-bttn.active {
  background-color: #00cccc;
}
.model-repository .signin {
  text-align: right;
  cursor: pointer;
}
.repository-popup-menu {
  width: 150px;
}
.repository-popup-menu .repository-menu-item {
  display: inline-block;
  margin: 0px 5px 5px 0px;
  vertical-align: middle;
  cursor: pointer;
}
.repository-popup-menu .repository-menu-item.repository-menu-item-icon {
  background-color: #AAA;
  width: 20px;
  height: 20px;
  border: 1px solid #AAA;
  border-radius: 100%;
}
.repository-popup-menu .repository-menu-item.repository-menu-item-icon.active {
  background-color: white;
}
.repository-popup-menu .repository-readonly-bttn {
  background-color: #AAA;
  color: white;
  border: 1px solid #AAA;
  border-radius: 15px;
  width: 80px;
  height: 20px;
  text-align: center;
  margin-left: auto;
  margin-right: auto;
  margin-top: 10px;
  cursor: pointer;
}
.repository-popup-menu .repository-readonly-bttn.selected {
  background-color: #00cccc;
  border-color: #00cccc;
}
.ui-tooltip-content .operators-info {
  width: 258px;
  font-family: 'OpenSans';
  font-size: 13px;
  line-height: 17px;
  color: #606060;
}
.ui-tooltip-content .operators-info h3 {
  margin-top: 0;
}
.ui-tooltip-content .operators-info p {
  margin: 0;
  padding: 0;
  width: 95%;
}
.tooltip-red {
  color: #ff0066;
}
.simulation-popout .steps-container ul.button-list li.disabled:hover {
  background-color: #606060;
}
.simulation-popout .steps-container ul.button-list li.disabled:hover button {
  color: white;
}