#container {
        width: expression(document.body.clientWidth>850 ? "850px" : "auto");
        }

body {
        max-width: 60cm;
        color: black;
        background-color: white;
        font-family: "Courier New", "Courier", monospace;
	font-size: 12pt;
        }

img {
        border: 0;
        }

a:link {
        color: black;
        }

a:visited {
        color: black;
        }

a:hover {
        color: blue;
        }

p {
        margin-top: 1ex;
        margin-bottom: 1.5ex;
}

h1 {
        margin-bottom: 0.5ex;
}

h2 {
        margin-bottom: 0.5ex;
}

code {
        font-family: "Courier New", "Courier", monospace;
        font-size: 12pt;        
        font-weight: bold;
}

pre {
        border-style: solid;
        font-family: "Courier New", "Courier", monospace;
        font-size: 12pt;        
        font-weight: bold;
}