/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */

body {
  padding: 0px 0px;
  background-color: black;
  color: white;
  font-family: Consolas, Inconsolata, "Lucida Console";
}

pre {
  font-family: Consolas, Inconsolata, "Lucida Console" !important; 
}

#title_text {
  margin: auto;
  width: 80%;
  
  border: 2px solid white;
  border-radius: 5px;
  
  background-color: #000;
  color: #FA0;
  
  font-weight: bold;
}

#main_portion {
  background-color: #080800;
  
  position: absolute;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
  padding: 5px 5px;
  
  margin: auto;
  width: 600px;
  
  text-align: center;
  
  border: 2px solid white;
  border-radius: 5px;
}

#stuff {
  margin: auto;
  width: 90%;
  
  padding: -5px -5px;
  background-color: #0f0f00;
  
  border: 2px solid white;
  border-radius: 5px;
}

hr {
  border: none;
  height: 2px;
  background-color: white; 
  width: 50%;
  margin: 20px auto;
}

a:link {
    color: #83e314;
    background-color: transparent;
    text-decoration: none;
}
a:visited {
    color: #31a7d6;
    background-color: transparent;
    text-decoration: none;
}
a:hover {
    color: #ffffff;
    background-color: transparent;
    text-decoration: underline;
}
a:active {
    color: #d61e30;
    background-color: transparent;
    text-decoration: underline;
}

p {
  margin-left: auto;
  margin-right: auto;
  max-width: 90%; 
}