html, body {
  height: 100%;
  margin: 0;
  padding: 0;
  background: black url('background-green-grid.png') no-repeat center top;
  background-size: cover;
  font-family: "Lucida Console", "Courier New", monospace;
  color: green;
}

body a:link    { color: green; }
body a:visited { color: green; }
body a:hover   { color: yellow; }
body a:active  { color: red; }

.central-window {
  width: 800px;
  height: 660px;
  margin: 50px auto;           /* centers horizontally and adds top spacing */
  padding: 20px 20px 20px 3em; /* left padding for numbers */
  overflow-y: auto;            /* vertical scroll if needed */
  background-color: rgba(0,0,0,0.8);
  border: 4px solid #000;
  box-shadow: 8px 8px 0 #555;
  line-height: 1.4;
}

 pre {
 font-size: 16px !important;
 }
 /*.central-window {
 /* width: 800px;
 /* height: 400px;
 /* margin: 50px auto;                             /* centers horizontally and gives top spacing */
 /* padding: 20px;                                 /* inner spacing */
 /* overflow-y: scroll;
 /* background-color: rgba(000, 000, 000, 0.8);    /* slightly transparent */
 /* border: 4px solid #000;                        /* classic thick border */
 /* box-shadow: 8px 8px 0 #555;                    /*  90s-style shadow */ 
 /* padding-left: 3em;                             /* space for numbers- later*/
 /* line-height: 1.4;                              /*set line height to mimic spaceig on a terminal*/
 /*}*/