@font-face {
  font-family: 'andron-scriptor-web';
  src: url('../fonts/andron.scriptor.web.ttf') format('truetype');
}

.dexblock {
border: solid black 1px;
#background-color: #F5F5F5;
background-color: white;
border-radius: 3px;
padding: 5px;
font-family: andron-scriptor-web, sans-serif;
}

.sticky {
  position: fixed;
  top: 0;
  z-index: 100; #This makes it stay above elements that scroll beneath
  width: 100%;
  margin: 0 auto;
  background-color: black;
  font-family: andron-scriptor-web, sans-serif;
  color: white;
  padding: 5px;
}

.top{
  font-family: andron-scriptor-web, sans-serif;
  padding: 5px;
}

.container{
  background-image: url('../images/dimension.png');
}

.tablediv{
  padding: 0px 0px;
  vertical-align: top;
}

.odd{
  background-color: lightgray;
}

label{
  display: inline;
}

hi{
  text-decoration: underline;
}

seg[type="supralinear"] {
  position: relative;
  top: -0.5em;
}

seg[type="sublinear"] {
  position: relative;
  top: 0.5em;
}

.selected{
  font-weight: bold;
}