html {
    display: block;
}

body {
    font-family: sans-serif;
    font-style: normal;
/*    font-weight: 200;*/
    color: whitesmoke;

    display: block;
    margin: 8px;

    background-image: url("background.gif");
    background-size: cover;
}

p {
    font-family: monospace;
    font-style: normal;
    font-size: normal;
}

.fig {
	font-family: Monospace;
	font-size: 5pt;
	/*color: blue;*/

}

h1 {
   text-align: center;
   font-size: 3em;
   }

div {
    margin: auto;
    display: block;
	font-family: 'Source Code Pro', Consolas, Menlo, Monaco, 'Lucida Console', 'Liberation Mono', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Courier New', monospace;
}

div.content {
    margin: auto;
	font-family: 'Source Code Pro', Consolas, Menlo, Monaco, 'Lucida Console', 'Liberation Mono', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Courier New', monospace;
	text-align: justify;
    max-width: 800px;

/*    background-color: black;*/
}

a {
    text-decoration: none;
    color: lightcyan;
    font-weight: bold;
}

marquee {
    font-family: monospace;
    font-style: bold;
    /*font-size: .5em;*/
}