.sidebar {
  margin: 0;
  padding: 0;
  overflow: auto;
  width: 200px;
  background-color: #f1f1f1;
  position: fixed;
  height: 100%;
}
.sidebar a {
  padding: 16px;
  display: block;
  color: black;
  text-decoration: none;
  text-align: center;
  float: none;
}
.sidebar a:hover:not(.active) {
  background-color: #555555;
  color: white;
}
#toedit {
  background-color: yellow;
}
td {
  vertical-align: top;
}
table {
  border-spacing: 10px;
}
div.content {
  padding: 1px 16px;
  margin-left: 200px;
  height: 1000px;
}
table.tableborder, .tableborder th, .tableborder td {
  border: 1px solid black;
  border-collapse: collapse;
}
.tableborder th, .tableborder td {
  text-align: center;
}
#warning {
  background-color: #ffcccc;
}
#redfont {
  color: red;
}
#bluefont {
  color: blue;
}
sup {
  vertical-align: super;
  font-size: smaller;
}
sub {
  vertical-align: sub;
  font-size: smaller;
}
.hidedots {
    list-style-type:none;
}
#centertxt{
    text-align:center;
}
#centeredimg {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 50%;
}
.source_example{
  color: blue;
  background-color: lightgray;
  border: 2px solid grey;
  border-radius: 10px;
}