body {
	font-family: Arial,Lucida Grande,sans-serif;
	font-size: 1em;
    line-height: 1.231;
}

h1 {
  font-weight: bold;
  font-size: 16pt;
  color: #006FAE;
  /*text-decoration: underline;*/
}

h2 {
  font-weight: bold;
  font-size: 14pt;
  margin-top: 10px;
  margin-bottom: 10px;
  color: #006FAE;
}

h3 {
  font-weight: bold;
  font-size: 12pt;
  padding-left: 20px;
  margin-top: 8px;
  margin-bottom: 8px;
}

h4 {
  font-weight: normal;
  font-size: 12pt;
  margin-top: 5px;
  margin-bottom: 5px;
  padding-left: 40px;
}

hr {
  margin-top: -5px;
  margin-bottom: -5px;
  color: gray; /* #006FAE; */
  background-color: white; /* #006FAE; */
  border-style: solid;
  line-height: 1.231;
}

ul {
  margin-top: 0px;
  margin-bottom: 0px;
  line-height: 1.231;
}

a {
	text-decoration: none;
	color: #006FAE;
    line-height: 1.231;
}

a:hover {
	text-decoration: underline;
}

tt {
	font-size: 1.2rem;
	font-family: monospace;
}

.content {
    position: absolute;
    top: 342px;
    left: 290px;
    width: 600px;
    line-height: 1.231;
}

.box {
    border: 1px;
    background: #E5E5E5;
    border-radius: 10px;
    padding: 10px;
    line-height: 1.231;
}

.source-code {
	/* Fabio's style */
	border: 1px;
    background: #E5E5E5;
    border-radius: 10px;
    padding: 10px;

	/* Alex' style */
/*  border: 1px solid #EAEAEA;
    background: #F4F4F4;
    background: #f8f8f8;
    border-radius: 4px;
    padding: 15px; */
    font-size: 1.2rem;
    overflow: auto;
    margin: 25px 0;
    font-family: monospace;
    width: 850px;
}