* {
  margin: 0px 0px 0px 0px;
  padding: 0px 0px 0px 0px;
}

body {
  padding: 3px 3px 3px 3px;
  background-color: #D8DBE2;
  font-family: sans-serif;
  font-size: 17px;
  color: #000;
}


 a {
  font-weight: bold;
}

a:link,
a:visited,
a:active {
  color: #000;
}

a:hover {
  background-color: #000;
  color: #fff;
}

.content_section_text a:link,
.content_section_text a:visited,
.content_section_text a:active {
  background-color: #DCDFE6;
  color: #000;
}

.content_section_text a:hover {
  background-color: #000;
  color: #DCDFE6;
}

pre {
  margin: 8px 0px 8px 0px;
  padding: 8px 8px 8px 8px;
  border-width: 1px;
  border-style: dotted;
  border-color: #000;
}

.content_section_text pre {
  background-color: #F5F6F7;
}

p {
  margin-bottom: 6px;
}

ul,
li {
  padding: 4px 8px 4px 16px;
}

.main_page {
  max-width: 800px;
  width: 90%;
  margin-bottom: 3px;
  margin-left: auto;
  margin-right: auto;
  padding: 0px 0px 0px 0px;
  border-width: 2px;
  border-color: #212738;
  border-style: solid;
  background-color: #fff;
}

.page_header {
  padding: 20px 0 20px 40px;
  display: flex;
  background-color: #F5F6F7;
}

.page_header img {
  margin-top: -25px;
  margin-right: 40px;
  width: 184px;
}

.page_header h1 {
  margin-top: 22px;
  margin-bottom: 14px;
  font-size: 150%;
  font-weight: bold;
}

.banner {
  margin: 12px 0 20px 40px;
  padding: 9px 50px 9px 50px;
  width: 162px;
  background-color: #E9510E;
  color: #fff;
  font-weight: bold;
  font-size: 112%;
  line-height: 1;
  text-align: center;
}

@media screen and (max-width: 700px) {
  .page_header img {
    margin-right: 10px;
  }
}

@media screen and (max-width: 600px) {
  .page_header {
    padding: 14px;
    flex-direction: column;
    align-items: center;
  }

  .page_header img {
    margin-top: -17px;
    margin-right: 0;
  }
  
  .page_header h1 {
    margin-top: 0;
    margin-bottom: 0;
  }

  .banner {
    margin: 0;
  }

}

.content_section {
  margin: 3px 3px 3px 3px;
  background-color: #fff;
  text-align: left;
}

.content_section_text {
  padding: 4px 8px 4px 8px;
}

.section_header {
  padding: 3px 6px 3px 6px;
  background-color: #8E9CB2;
  color: #fff;
  font-weight: bold;
  font-size: 112%;
  text-align: center;
}

.section_header_grey {
  background-color: #9F9386;
}

.introduction {
  text-align: center;
}

.content_section_text.introduction {
  margin: 20px auto;
  width: 82%;
}