index.scss

body {
  font-family: sans-serif;
  max-width: 50em;
  margin: auto;
}
h2 {
  margin: 1ex 0 0 0;
  font-size: 120%;
}
h2:first-child {
  margin-top: .5em;
}
.next-group {
  padding-left: 3em;
}
#mathml-input {
  font-family: monospace;
  font-size: 100%;
  padding: .3em;
  width: 100%;
  box-sizing: border-box;
}
#render-button {
  display: block;
  font-weight: bold;
  background-color: lightgreen;
  margin-top: 1ex;
  margin-bottom: 3ex;
  margin-left: auto;
  margin-right: auto
}
#mathml-output {
    font-size: 110%;
    margin-top: 0em;
    border: 1px solid grey;
    padding: .25em;
    min-height: 3em;
    width: 100%;
    white-space: pre;
  }
select {
    appearance: none;
    outline: 0;
    background: rgb(176, 236, 176);
    background-image: none;
    height: 100%;
    color: black;
    cursor: pointer;
    border: 1px solid black;
    border-radius: 3px;
    font-size: 90%;
}
.select {
  position: relative;
  height: 2em;
  line-height: 3;
  overflow: hidden;
  border-radius: .25em;
  padding-bottom: 10px;
}
option {
  background: rgb(225, 255, 225);;
  color: black;
  font-size: 90%;
}

textarea {
  word-wrap: normal;
}

#speech, #braille {
  min-height: 3em;
  width: 100%;
  border: 1px solid #AAA;
  background-color: #F8F8F8;
  padding: .5em .5em .5em 1.5em;
  overflow: auto;
}

#mathml-output:focus-within {
  outline-width: 2px;
  outline-style: solid;
  outline-color: green;
}

#outer-table {
  width: 100%;
}

#braille {
  font-family: courier;
  font-size: 150%;
}

.sync-highlight {
  color: yellow;
  background: blue;
  outline-color: blue;
  outline-style: solid;
  outline-width: 1px;
  outline-offset: 0px;
  // padding: 1px;   // looks better with padding, but that sometimes causes shifts -- hmmm...
  // margin: -1px;   // looks better with padding, but that sometimes causes shifts -- hmmm...
}

.nav-highlight {
  // color: white;
  // background: #0f1d68;
  outline-color: orange;
  outline-style: solid;
  outline-width: 2px;
  outline-offset: 0px;
  // padding: 1px;   // looks better with padding, but that sometimes causes shifts -- hmmm...
  // margin: -1px;   // looks better with padding, but that sometimes causes shifts -- hmmm...
}