:root {
  --link-tab-bg-color: #303030;
  --link-tab-bg-hover-color: #004080;
}

* {
  font-family: 'Open Sans', sans-serif; 
}

.centered {
  margin-left: auto;
  margin-right: auto;
}

.header {
  margin-top: 17px;
  text-align: center;
  font: 21px Arial;
  border-bottom: 5px solid var(--link-tab-bg-color);
  padding-bottom: 10px;
}

.link-tab {
  font-weight: normal;
  padding: 10px;
  color: white;
  background-color: var(--link-tab-bg-color);
  text-decoration: none;
}

.link-tab:hover {
  background-color: var(--link-tab-bg-hover-color);
}

.footer {
  text-align: center;
  line-height: 39px;
  border-top: 5px solid var(--link-tab-bg-color);
}

a {
  text-decoration: none;
  font-weight: bold;
  color: #004080;
}

article {
  margin-left: 25%;
  margin-right: 25%;
}

code {
  font: 12px Monaco,"Courier New","DejaVu Sans Mono","Bitstream Vera Sans Mono",monospace;
  color: #52595d;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  -moz-background-clip: padding;
  -webkit-background-clip: padding-box;
  background-clip: padding-box;
  border: 1px solid #ccc;
  background-color: #f9f9f9;
  padding: 0px 3px;
  display: inline-block;
  margin: 0px;
}

pre > code {
  border: 1px solid #cacaca;
  line-height: 1.2em;
  font: 12px Monaco,"Courier New","DejaVu Sans Mono","Bitstream Vera Sans Mono",monospace;
  padding: 10px;
  overflow:auto;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  -moz-background-clip: padding;
  -webkit-background-clip: padding-box;
  background-clip: padding-box;
  background-color: #FAFAFB;
  color: #393939;
  margin: 0px;
}