/* This css applies to the whole app div wrapper */
#app {

}
/* title header */
.h1Header {
    display: flex;
    align-items: center;
    justify-content: center;
    border: 1px solid black;
  }

  .h2Header {
    display: flex;
    align-items: center;
  }

  .h3Header {
    display: flex;
    align-items: center;
  }

  .h4Header {
    display: flex;
    align-items: center;
  }
  
  .referenceMath {
    padding-left: 20px;
  }



.skipLinkDiv {
  left: auto;
  width: auto;
  height: auto;
  display: flex;
  gap: 250px;
  border-radius: 5px;
  padding-bottom: -20px;
}

.skipLinks {
  position: inline;
  left: -10000px;
  width: 1px;
  height: 1px;
  overflow: hidden;

}
  .skipLinks:focus {
    position: static;
    left: auto;
    width: auto;
    height: auto;
    display: flex;
    padding-top: 5px;
    padding-bottom: 10px;
  }

.nobr {
  white-space: nowrap;
}

/* css for the entire tool and border */
.tool {
    font-size: 20px;
    display: flex;
    flex-direction: column;
}

.screenReaderOnly {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  padding: 0 !important;
  margin: -1px !important;
  overflow: hidden !important;
  clip: rect(0, 0, 0, 0) !important;
  white-space: nowrap !important;
  border: 0 !important;
}


.grid-container {
}

.appGrid {
  display: grid;
  grid-template-columns: minmax(375px, 450px) minmax(min-content, 800px);
  grid-template-rows: min-content min-content 1fr;
  grid-gap: 0;
}

.titleGridElement {
  display: grid;
  grid-column: 1/3;
  grid-row: 1;
}

.gsGridElement {
  display: grid;
  grid-column: 1;
  grid-row: 2;
}

.refGridElement {
  display: grid;
  grid-column: 1;
  grid-row: 3;
}

.toolGridElement {
  display: grid;
  grid-column: 2;
  grid-row: 2/4;
  width: 100%;
}

.toolSection {
  /* display: flex; */
  flex-direction: column;
  border: 1px solid black;
  padding: 5px 10px 5px 10px;
}

@media (max-width: 935px) {
  .appGrid {
    grid-template-columns: minmax(800px, 935px);
    grid-template-rows: repeat(4, min-content);
  }

  .titleGridElement {
    grid-column: 1;
    grid-row: 1;
  }

  .gsGridElement {
    grid-column: 1;
    grid-row: 2;
  }

  .refGridElement {
    grid-column: 1;
    grid-row: 4;
  }

  .toolGridElement {
    grid-column: 1;
    grid-row: 3;
  }

  .toolSection {
    width: inherit;
  }
}

.invalid {
  border: 1px black;
  background-color: red;
  height: 15px;
  width: 15px;
  border-radius: 50%;
  margin-left: 10px;
  margin-right: 10px;
  display: inline-block;
}

.valid {
  border: 1px black;
  background-color: green;
  height: 15px;
  width: 15px;
  border-radius: 50%;
  margin-left: 10px;
  margin-right: 10px;
  display: inline-block;
}

.ProofLineText div {
  display: inline-block;
}

.LineText div {
  
  vertical-align: top;
}

.PremiseLineText {
  display: inline-block;
}

.indexNumber {
  /*display: inline-block;
  padding: 16px 5px 0 5px;
  vertical-align: top;
  width: 10px;
  font-family: "Work Sans", Helvetica, sans-serif;*/
}

.LineText {
  position: relative;
  white-space: nowrap;
  padding: 4px 0 4px 0;
}

.feedbackGrandParent {
  position: absolute;
}
.feedbackParent {
  position: relative;
  top: 25px; /* height of IconButton*/
  left: -34px; /* width of IconButton*/
  /*width: calc(100% + 34px);*/
}
.feedback {
  font-size: 12px;
  color: #006298; /* $primary02 */
}

.line-grid-container {
  display: grid;
  align-items: top;
  grid-gap: 0;
  grid-auto-flow: row;
}

.line-subproof-indent {
  border-right: 2px solid black;
  width: 27px;
  height: 170%;
  display: inline-block;
}

.line-subproof-indentFeedback {
  border-right: 2px solid black;
  width: 27px;
  height: 120%;
  display: inline-block;
}

.line-subproof-indentSymbols {
  border-right: 2px solid black;
  width: 27px;
  height: 110%;
  display: inline-block;
}

.padWrapper {
  width: fit-content;
  z-index: 9999; /* set a higher z-index value */
  background-color: #E8E9F8; /* magma primary-100 */
  padding: 5px;
  border: 1px solid #292F7C; /* magma primary-600 */
  border-radius: 5px;
  margin-left: 31px;
  margin-top: 8px;
}

.alert-contents {
  min-height: 32px;
  align-items: center;
  word-break: break-word;
  hyphens: auto;
}

.symbolsPadTitle {
  font-family: "Work Sans", Helvetica, sans-serif;
  font-weight: 600;
}

.inputBox {
   /*width: 285px;*/
   
}
.padCellSymbol {
    width: max-content;
}
.previousLineReferencesWrapper {
  /*position: relative;
  padding: 5px;
  top:-42px;*/
}

input[type="text"].previousLineReferences {
 /* width: 60px;
  margin-left: 1em;
  margin-right: 0.1em;
  display:inline-block;
  */
}

.previousLineReferencesWrapper:not(.previousLineReferencesWrapper:focus-within) fieldset.previousLineReferenceSelect {
  display: none; /* default hidden */
}
fieldset.previousLineReferenceSelect {
  display: flex; /* default hidden */
  z-index: 10;
  background-color: white;
  border-radius: 5px;
  border: 1px solid #707070;
  position: absolute;
  left: 0;
  top: 55px;
  width: 21px;
  /* width: 100px;
  height: 20px;
  padding: 2px;*/
}

/* hide checkbox https://www.a11ymatters.com/pattern/checkbox/ */

input.selectLine {
  position: absolute;
  clip: rect(1px, 1px, 1px, 1px);
  padding: 0;
  border: 0;
  height: 1px;
  width: 1px;
  overflow: hidden;
}
label.selectLine {
  display: grid;
  font-size: 12px;
  font-family: "Work Sans", Helvetica, sans-serif;
  font-weight: 500;
  user-select: none;
  margin: 1px;
  width: 21px;
  height: 14px;
  padding: 5px 5px;
  color: #3942b0;
  border: 1px solid #3942b0;
  border-radius: 5px;
  justify-content: center;
  background-color: white;
}
label.selectLine:focus-within {
  /* for keyboard users */
  /* outline: dashed 1px black;
  outline-offset: 0px; */
}
input.selectLine:checked + span {
  display: grid;
  font-size: 12px;
  user-select: none;
  width: 21px;
  height: 14px;
  padding: 5px 5px;
  margin: -5px;
  color: white;
  transition: background 0.35s,border-color 0.35s,box-shadow 0.35s,color 0.35s;

  border-radius: 5px;
  justify-content: center;
  background-color: #3942b0;
}

label.selectLine:hover {
  background-color: #ebecf7;
}

input.selectLine:checked:hover + span {
  background-color: #2d3489;
  border-radius: 5px;
}

.lines-pad-grid-container {
  display: grid;
  grid-gap: 0px;
}

.checkbox {
  margin: 2px;
  padding: 2px;
}

.checkbox:focus-within {
  border: 2px solid #3942b0;
  border-radius: 5px;
  padding: 0;

}
.ruleMathGrid {
    display: flex;
    flex-wrap: wrap;
    justify-content: left;
    align-items: start;
  }
  
  .ruleMathColumn {
    display: flex;
    flex-direction: column;
    align-items: center;
    margin: 10px 10px;
  }

  .therefore {
    margin-top: -0.85em;
    margin-bottom: 0.1em;
  }