@charset "UTF-8";
html, body {
  margin: 0;
  padding: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif;
}

.noData {
  color: #666;
  text-align: center;
  font-style: italic;
}

.font-small {
  font-size: 0.8em;
}

body {
  height: 100vh;
  width: 100vw;
  margin: 0;
  padding: 0;
}

header {
  grid-column: 1/span 2;
  grid-row: 1/1;
  background-color: #668;
  color: #EEF;
  border-bottom: 1px solid #224;
  padding: 0.5em 1em;
  display: grid;
  grid-template-rows: auto;
  grid-template-columns: 1fr 100px;
}
header img {
  width: 100px;
  margin: 0;
}

footer {
  grid-column: 1/span 2;
  grid-row: 3/span 1;
  background-color: #668;
  color: #EEF;
  border-top: 1px solid #224;
  text-align: right;
  padding: 0.5em;
  font-size: 10pt;
}

.loader {
  color: #DDD;
  background-color: #666;
  text-align: center;
  padding: 0.5em;
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.25) inset;
}

#projectName {
  color: white;
  text-shadow: 0 2px 4px rgba(0, 0, 0, 0.4);
}

#main {
  display: grid;
  width: 100%;
  height: 100%;
  margin: 0;
  padding: 0;
  grid-template-columns: 150px 1fr;
  grid-template-rows: auto 1fr auto;
  row-gap: 0;
  column-gap: 0;
}
#main div.traceBox {
  grid-column: 1/span 1;
  grid-row: 2/2;
  overflow-y: scroll;
  overflow-x: hidden;
}
#main div.traceBox ul {
  list-style: none;
  font-size: 10pt;
  padding: 0;
  margin: 0;
}
#main div.traceBox ul li {
  margin-bottom: 1px;
}
#main div.traceBox ul li.failure {
  background-color: #FAA;
}
#main div.traceBox ul li.failure a {
  color: #a54444;
}
#main div.traceBox ul li.failure a::after {
  display: inline-block;
  width: 12px;
  margin-left: 5px;
  text-align: center;
  content: "︎✘";
}
#main div.traceBox ul li.success {
  background-color: #93dc93;
}
#main div.traceBox ul li.success a {
  color: #005d00;
}
#main div.traceBox ul li.success a::after {
  display: inline-block;
  width: 12px;
  margin-left: 5px;
  text-align: center;
  content: "✔";
}
#main div.traceBox ul li a {
  display: block;
  text-decoration: none;
  padding: 5px;
  cursor: pointer;
  display: flex;
  flex-direction: row;
}
#main div.traceBox ul li a:hover {
  background-color: rgba(255, 255, 255, 0.5);
}
#main div.traceBox ul li a:active {
  background-color: rgba(255, 255, 255, 0.5);
  box-shadow: 0 0 8px #FFF;
}
#main div.traceBox ul li a span.title {
  display: inline-block;
}
#main div.traceBox ul li a span.criticality {
  font-size: 9pt;
  border-radius: 0.5em;
  border: 1px solid #224;
  padding: 0.1em 0.3em;
  display: inline-block;
  margin-left: auto;
}
#main div.svgCtnr {
  grid-column: 2/span 1;
  grid-row: 2/2;
  width: 100%;
  height: 100%;
  padding: 1px;
  position: relative;
}
#main div.svgCtnr svg {
  width: 100%;
  height: 100%;
  margin: 0;
  padding: 0;
}

#simulationCtrl {
  position: absolute;
  top: 1px;
  right: 1px;
  width: auto;
  height: auto;
  background-color: #668;
  color: #EEF;
  font-size: 0.9rem;
  padding: 0.5rem;
  border: 1px solid black;
}
#simulationCtrl label {
  margin: 0;
}
#simulationCtrl .custom-control-input:checked ~ .custom-control-label::before {
  background-color: #28A745;
  border-color: #224;
}

.infoPanel {
  background-color: #EEF;
}
.infoPanel h2 {
  text-align: center;
  font-weight: bold;
  background-color: #668;
  color: #EEF;
  padding: 0.5em;
  margin: 0;
  font-size: 16pt;
}
.infoPanel h3 {
  text-align: center;
  font-weight: bold;
  background-color: #668;
  color: #EEF;
  padding: 0.5em;
  margin: 0;
  font-size: 14pt;
}
.infoPanel .alert {
  margin: 0.5em;
}

.detailsPanel {
  position: fixed;
  top: 1em;
  bottom: 1em;
  width: 350px;
  right: 0;
  box-shadow: 0 4px 8px rgba(0, 0, 0, 0.5);
  background-color: #EEF;
  overflow-y: scroll;
}
.detailsPanel .header {
  display: grid;
  grid-template-columns: 1fr auto;
  grid-template-rows: 1fr;
  padding: 0.5em;
}
.detailsPanel h3 {
  font-weight: normal;
  text-align: left;
  padding: 0.5em;
}
.detailsPanel h4 {
  font-size: 1rem;
}
.detailsPanel .close {
  float: left;
  margin-left: 0.3rem;
}

ul.events {
  list-style: none;
  padding: 0;
  font-size: 10pt;
}
ul.events li {
  border-bottom: 1px solid white;
  padding: 0.5em;
  margin-bottom: 1px;
}
ul.events li.none {
  display: block;
  color: #666;
  font-style: italic;
  text-align: center;
}
ul.events li .title {
  word-wrap: anywhere;
}
ul.events li button {
  border: 1px solid #668;
  border-radius: 0.5em;
  background-color: #EEF;
  color: #224;
  text-align: center;
  display: block;
  width: 100%;
}
ul.events li button:hover {
  background-color: #FFF;
}
ul.events li button:active {
  background-color: #FF0;
}
ul.events li p {
  word-wrap: anywhere;
  padding-left: 1em;
  color: #668;
  font-family: Monaco, Consolas, "Courier New", Courier, monospace;
  background-color: rgba(255, 255, 255, 0.3);
}
ul.events li p::before {
  content: "Event Data:";
  display: block;
  position: relative;
  left: -1em;
  font-style: italic;
  font-size: 9pt;
  color: #224;
}

ul.syncStatements {
  list-style: none;
  padding: 0;
  margin: 4px;
  font-size: 10pt;
}
ul.syncStatements li {
  border-bottom: 1px solid white;
  padding: 4px;
  overflow-x: scroll;
  padding-bottom: 0.5em;
  margin-bottom: 0.5em;
}
ul.syncStatements li table {
  width: 100%;
  border-spacing: 0px;
}
ul.syncStatements li table tr.request {
  background-color: #cce4c0;
}
ul.syncStatements li table tr.waitFor {
  background-color: #ececab;
}
ul.syncStatements li table tr.block {
  background-color: #fcb5b5;
}
ul.syncStatements li table tr.interrupt {
  background-color: #ffbdfc;
}
ul.syncStatements li table td {
  font-family: monospace;
  margin: 0;
  padding: 4px;
}
ul.syncStatements li table th {
  text-align: center;
  margin: 0;
  padding: 4px;
  width: 24px;
}
ul.syncStatements h3 {
  margin: 0;
  font-weight: normal;
}

ul.trace {
  list-style: none;
  padding: 0 0.5em;
  font-size: 10pt;
}
ul.trace li {
  padding: 4px;
}
ul.trace li.bpss {
  background-color: #EEF;
  display: flex;
  flex-direction: row;
  align-items: center;
}
ul.trace li.bpss button {
  flex-grow: 0;
  margin-left: auto;
  font-size: 9pt;
}
ul.trace li.event.application {
  background-color: #67a577;
}
ul.trace li.event.proposal {
  background-color: #61ba78;
}
ul.trace li.event.approval {
  background-color: #78d590;
}
ul.trace li.event.verify {
  background-color: #e1b3d1;
}
ul.trace li.event {
  background-color: rgba(0, 0, 0, 0.1);
}
ul.trace li.event p {
  word-wrap: anywhere;
  margin: auto;
  color: #668;
}

.btn-xs {
  font-size: 9pt;
}

/*# sourceMappingURL=sse.css.map */