@font-face {
  font-family: terminal; /* set name */
  src: url(terminal-f4.ttf); /* url of the font */
}

p {
  font-family: terminal; /* use font */
  color: #115399
  font-size 18px;
  font-weight: normal;
}

body { background-color: #000000; 
       color: #115399; 
       font-family: terminal;
       font-size: 18px;
       font-weight: normal; } 
       table, th, td {
       border: 0px; padding: 0px;
       border-spacing: 0px } .center {
       margin-left: auto; margin-right: auto; }

/* unvisited link */
a:link {
  color: #115399;
}

/* visited link */
a:visited {
  color: #115399;
}

/* mouse over link */
a:hover {
  color: #115399;
}

/* selected link */
a:active {
  color: #115399;
}