/* This is a section for the body of your website */
body {
  background: #000000;
font-family: Arial;
font-size: 12px;
color: #FFF;
margin: 0px;
}

/* This is a section for the body of your website */
div.content {
margin: auto;
width: 80%;
}

/* This is a section for the style of your headings */
h1, h2, h3, h4, h5, h6 {
  color: #ff8400;
  font-family: Arial;
  font-size: 20px;
  font-style: bold
}

/* This is a section for the style of an unvisited link */
a:link {
  color: #FFFFFF;
}

/* This is a section for the style of a visited link */
a:visited {
  color: #FFFFFF;
}

/* This is a section for the style when someone hovers their mouse over a link */
a:hover {
  color: #FFFFFF;
}

/* This is a section for the style of an selected link */
a:active {
  color: #FFFFFF;
}

/* This is a section for the style of images on mobile devices */
img {
  max-width: 100%;
  height: auto;
}

/* This is a section for the style of a horizontal line */
hr {
  border: 1px solid #ff8400;
width: 70%
}

/*PRE tag style*/
pre { 
font-family: Arial;
font-size: 12px;
color: #FFF;
margin: 0px;
white-space: pre-wrap;
word-wrap: break-word;
text-align: justify;
}