@import "navbar.css";
@import "page_nav.css";

body {
    width: 1000px;

    font-family: Eurostile,sans-serif;
    font-size: 12pt;
    color: #333;
    background: white;
    }
table {
    width: 960px;
    margin: 10px;
    }
td {
    padding: 10px;
    }

#wrapper { 
    margin-left: auto;
    margin-right: auto;
    }
    
#header { 
       color: navy;
       background: white;
       text-align: center;
       width: 100%;
       border: thin outset silver;
       font-style: italic;
       }
h1 {
    font-size: 18pt;
    font-variant: small-caps;
    font-style: italic;
    }

h2, h3 {
    font-size: 14pt;
    color: black;
    background: inherit;
    }

#footer {
    clear: left;
    text-align: center;
    background: inherit;
    color: inherit;
    width: 100%; 
    font-size: 10pt;
    font-style: italic;
    }

a:link, a:visited, a:active {
    text-decoration: none;
    }

a:hover {
    text-decoration: underline;
    }

.examples {
    text-align: center;
    }


pre {
    font-family: Courier,monospace;
    color: navy;
    background: inherit;
    }