@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 400;
  src: local('Open Sans'), local('OpenSans'), url(https://fonts.gstatic.com/s/opensans/v13/cJZKeOuBrn4kERxqtaUH3ZBw1xU1rKptJj_0jans920.woff2) format('woff2');
}


body {
  margin: auto;
  font-family: 'Open Sans', sans-serif;
}

header {
  text-align: center;
}

section {
  margin-top: 2em;
  border-top: 1px solid #DCDCDC;
}

p {
  text-align: justify;
}

:not(pre) > code {
  font-family: monospace;
  white-space: pre;
}

pre {
  border-radius: 2px;
  padding: 20px;
  transition: box-shadow 0.25s ease 0s;
  box-shadow: 0px 2px 5px 0px rgba(0, 0, 0, 0.16), 0px 2px 10px 0px rgba(0, 0, 0, 0.12);
  overflow:auto;
  margin-bottom: 2em;
}

footer {
  margin-top: 7em;
  border-top: 1px solid #DCDCDC;
}

li.L0, li.L1, li.L2, li.L3,
li.L5, li.L6, li.L7, li.L8
{ list-style-type: decimal !important }

a, a:visited, a:active, a:hover {
  text-decoration: none;
  color: #0091ea;
}

a:hover {
  text-decoration: underline;
}