.sup, .sub 
{
  vertical-align: baseline;
  position: relative;
/*
  top: -1.7em;
  font-size: 0.3em;
*/
  top: -0.4em;
  font-size: 0.65em;
}
.sub 
{ 
  top: 0.4em; 
}
.sup2
{
  top: -1.7em;
  font-size: 0.8em;
}



.vertical-space-5
{
  margin-top: 5px;
}
.vertical-space-10
{
  margin-top: 10px;
}
.vertical-space-20
{
  margin-top: 20px;
}
.vertical-space-30
{
  margin-top: 30px;
}
.vertical-space-40
{
  margin-top: 40px;
}
.vertical-space-50
{
  margin-top: 50px;
}
.vertical-space-bottom-5
{
  margin-bottom: 5px;
}
.vertical-space-bottom-10
{
  margin-bottom: 10px;
}
.vertical-space-bottom-20
{
  margin-bottom: 20px;
}
.vertical-space-bottom-30
{
  margin-bottom: 30px;
}
.vertical-space-bottom-40
{
  margin-bottom: 40px;
}
.vertical-space-bottom-50
{
  margin-bottom: 50px;
}



.val, .valsum
{
  color: #f00;
}
.valsum-inline
{
  display: inline-block;
}

.internal
{
  background-color: #fca4a4;
  color: #000;
  outline: 1px solid #f00;
  outline-offset: 0px;
}












/*  bootstrap overrides  */


@media (min-width: 576px) {

  .navbar-expand-sm .navbar-nav .nav-link {
    padding-right: 2rem;
    padding-left: 2rem;
  }

}