html {
  font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
  background-color: #292525;
  color: #b5e853; }

a {
  color: #63c0f5;
  text-shadow: 0 0 5px rgba(104, 182, 255, 0.5); }

code.highlighter-rouge {
  background: rgba(0, 0, 0, 0.9);
  padding: 0px 3px;
  margin: 0px -3px;
  color: #aa759f; }

main {
  margin-left: 250px; }

/* Add a black background color to the top navigation */
.topnav {
  background-color: #333;
  overflow: hidden;
  /* Style the links inside the navigation bar */ }
  .topnav a {
    float: left;
    cursor: pointer;
    text-align: center;
    padding: 10px;
    text-decoration: none;
    font-size: 17px;
    /* Change the color of links on hover */
    /* Add a color to the active/current link */ }
    .topnav a:hover {
      background-color: #ddd;
      color: black; }
    .topnav a.brand {
      background-color: #4caf50;
      color: white;
      /* Change the color of links on hover */ }
      .topnav a.brand:hover {
        background: rgba(0, 0, 0, 0.9);
        color: #aa759f; }

#menu {
  height: 100%;
  position: fixed;
  background-color: #333; }
  #menu ul {
    padding: 10px;
    margin: 0px;
    list-style: none;
    width: 200px; }
  #menu li .submenu {
    display: block;
    width: 150px;
    max-height: 100px; }
  #menu .submenu {
    display: none;
    overflow: hidden;
    max-height: 0;
    -webkit-transition: all 0.5s ease-out; }
  #menu .clearlink {
    text-decoration: none; }