/* Whole document: */
body{
  font-family: Helvetica;
  font-size: 12pt;
  margin-left: 10px;
  margin-right: 0px;
}

a {
    color: LightSlateGray;
}

/* Headers */
h1{
  font-size: 20pt;
}

div.container-fluid.main-container {max-width: 100%}

.toc-content.col-xs-12.col-sm-8.col-md-9{margin-left: 300px;}