* {
  box-sizing: border-box;
  padding: 0;
  margin: 0;
}

body {
  font-size: 13px;
  background-color: #073642;
  color: #2aa198;
}

p, pre {
  margin-top: 1em;
  margin-bottom: 1em;
}

h2 {
  color: #8bc3c4;
}

/* Header */
.header {
  font-size: 15px;
  padding: 5px;
  border-bottom: 1px solid #00232c;
  background-color: #002b36;
  color: #2aa198;
}

/* Header - TRANSMUTON */
.transmuton {
  font-size: 20px;
  font-weight: bold;
}

/* Header - TRANSMUTON link */
.transmuton a:link,
.transmuton a:visited,
.transmuton a:hover,
.transmuton a:active {
  text-decoration: none;
  color: #8bc3c4;
}

/* Side navigation */
.sidenav {
  height: 5px;
  width: 90px;
  padding-top: 20px;
  text-align: right;
  float: left;
}

/* Side navigation links */
.sidenav a {
  padding: 5px;
  text-decoration: none;
  display: block;
}

/* Side link color */
.sidenav a:link, .sidenav a:visited {
  font-size: 15px;
  color: #586e75;
}

/* Change color on hover */
.sidenav a:hover {
  border-top: 1px solid #532c2e;
  border-bottom: 1px solid #532c2e;
  border-right: 1px solid #532c2e;
  background-color: #713c3f;
  color: #7dafb0;
}

/* Side link of current page */
#current {
  background-color: #002b36;
  color: #2aa198;
  font-size: 15px;
  border-top: 1px solid #00232c;
  border-bottom: 1px solid #00232c;
  border-right: 1px solid #00232c;
}

.content {
  height: auto;
  width: 1700px;
  padding-left: 20px;
  text-align: justify;
  float: left;
}

.article {
  padding-top: 25px;
}

/* Article - p */
.article p {
  padding-top: 10px;
}

/* Correct Code */
.article .correct {
  font-family: "Source Code Pro";
  font-size: 13px;
  margin-top: 18px;
  padding-left: 3px;
  border-left: 3px solid #00232c;
  border-right: 1px solid #00232c;
  border-top: 1px solid #00232c;
  border-bottom: 1px solid #00232c;
  background-color: #002b36;
  color: #aee;
}

/* Wrong Code */
.article .wrong {
  font-family: "Source Code Pro";
  font-size: 13px;
  margin-top: 18px;
  padding-left: 3px;
  border-left: 2px solid #532c2e;
  border-right: 2px solid #532c2e;
  border-top: 2px solid #532c2e;
  border-bottom: 2px solid #532c2e;
  background-color: #713c3f;
  color: #fff;
}

.clearfix::after {
  content: "";
  clear: both;
  display: table;
}

/* Footer */
.footer {
  margin-top: 100px;
}

/* Boot - empty div */
.boot {
  height: 75px;
}

/* Comment */
.comment {
  color: #389;
}

/* Comment - Wrong Code */
.comment2 {
  color: RosyBrown;
}