client/src/css/main.scss

@import "palette.scss";
//@import "LatoLight.scss";
@import "../fonts/plex_sans.css";
@import "base";
@import "SentenceInput";
@import "AttentionConnectorControls";

body {
  font-family: 'IBM Plex Sans';
  margin-left: auto;
  margin-right: auto;
  width: 80%;
  max-width: 1500px;
}

.layerCheckbox {
  background-color: lightgrey;
  padding-left: 8px;
  padding-right: 8px;

  &.active{
    color: #fff;
    background-color: #6c7067;
  }
}

.main-grid {
  width: 100%;
  display: grid;
  grid-template-columns: 0.18fr 0.2fr 0.2fr 0.04fr 0.2fr 0.2fr 0.18fr;
  overflow: auto;
  max-height: 100vh;
}

#vis-break {
  height: 15px;
}

label {
  //margin-left: 5px;
}

#header {
  width: 100%;
  background-color: lightgray;
  height: 40px;
  margin-bottom: 5px;

  .header-logo{
    height: 20px;
    display:inline-block;
    margin-left: 10px;
    margin-top: 5px;
    margin-bottom: 5px;
  }
  .header-info{
    font-size: 9pt;
    height: 30px;
    display:inline-block;
    float:right;
    margin-right: 10px;
    margin-top: 10px;
    //margin-bottom: 5px;
  }


  #headertext{
    text-align: center ;
    display: inline-block;
    font-size: 18px;
    margin-left: 30%;
    margin-top: 5px;
    margin-bottom: 5px;
  }
}

.highlighted {
  background: rgba(152, 83, 216, 0.8);
}

#selected-heads {
  margin-bottom: 1em;
}

#corpus-selection-description {
  display: inline-block;
  margin-right: 15px;
}

#corpus-querying {
  display: inline-block;
  .btn {
    display: inline-block;
  }
}

#usage-info {
  margin-top: 10px;
  color: rgb(87, 87, 87);
  font-size: 14px;
}

.tick {
  font-size: 18px;
}

#connector-container {
  .mat-hover-display{
    pointer-events: none;
    display: block;
    position: absolute;
    visibility: hidden;
    background-color: rgba(200, 200, 200, 0.93);
    font-size: 14px;
    p {
      margin: 4px 1px 1px 4px;
      // margin: auto;
    }
  }
}

.right-token-hover {
    border-radius: 1px 8px 8px 8px;
    text-align: left;
}

.left-token-hover {
    border-radius: 8px 1px 8px 8px;
    text-align: right;
}

.next-token {
  color: rgba(228, 1, 1, 0.8);
  -moz-box-shadow: 0 0 3px #ccc;
  -webkit-box-shadow: 0 0 3px #ccc;
  box-shadow: 0 0 3px #ccc;
}