/* The side navigation menu */
.sidebar {
  margin: 0;
  padding: 0;
  width: 200px;
  background-color: #f1f1f1;
  position: fixed;
  height: 100%;
  overflow: auto;
}

/* Sidebar links */
.sidebar a {
  display: block;
  color: black;
  padding: 16px;
  text-decoration: none;
  text-align: center;
  float: none;
}

/* Links on mouse-over */
.sidebar a:hover:not(.active) {
  background-color: #555;
  color: white;
}

/* anything that needs to be editted */
#toedit{
  background-color: yellow;
}

/* Tables */
td {
  vertical-align: top;
}

Table {
  border-spacing: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
}

/* Page content. The value of the margin-left property should match the value of the sidebar's width property */
div.content {
  margin-left: 200px;
  padding: 1px 16px;
}

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;
}

/*smaller and higher char*/
sup {
  vertical-align: super;
  font-size: smaller;
}

/*smaller and lower char*/
sub {
  vertical-align: sub;
  font-size: smaller;
}

/*Applying checkmarks to a list's "style".*/
.checkmark_list{
  list-style: none;
}

.checkmark_list > li:before{
  content: '+';
}

/*Create a list of elements, no point styling and each item spaced between each other.*/
.spaced_list{
  list-style: none;
  line-height: 300%;
}

/*Center a table*/
.center_table{
  margin-left: auto;
  margin-right: auto;
}

/*Area of text in a div to be centered*/
.center_text{
  text-align: center;
  line-height: 2;
}

/*Center area of text and other content*/
.center-area{
  display: block;
  text-align: center;
  margin-right: 50px;
  margin-left: 50px;
}

/*Create a set size for an empty table cell*/
.empty_cell{
  width: 100px;
  height: 40px;;
}

.single_cell{
  padding: 50px;
}

.source_example{
  color: blue;
  background-color: lightgray;
  border: 2px solid grey;
  border-radius: 10px;
}