<style>
        body {
                width:                  80%;
                color:                  black;
                background-color:       white;
                font-family:            Sans-Serif, Verdana, Arial, Helvetica;
                font-weight:            normal;
        }
        h1,h2 {
                text-align:             center;
        }
        div {
                width:                  100%;                 color:                  black;
                background-color:       #efefef;
                padding:                0.1em;
                margin:                 0.6em;
                font-weight:            bold;
        }
        ol, li {
                font-weight:            normal;
                color:                  black;
                background-color:       inherit;
        }
        ol {
                list-style-type:        lower-alpha;
        }         ol > ol {
                margin-top:             5em;
                list-style-type:        decimal;
        }
        li {                 
		margin-bottom:          5em;
        }         
	p {
                font-weight:            normal;
                margin:                 7px;         
	}
        p.tip, p.windows_tip, p.linux_tip {
                margin-top:             0;
                padding:                0.5em;
                color:                  darkblue;
                background-color:       #bee0ea;                 
		margin-left:            10px;
        }
	p.note {
		text-align:		right;
		font-style:		italic;
		font-size:		90%;
		margin-left:		30%;
	}
	p.windows_tip {
		color:			darkred;
		background-color:	#ff6868;
	}
	span.warn {
		color:			red;
		background-color:	inherit;
		font-size:		90%;
	}
        code {
                font-family:            Lucida Console, Courier;
                color:                  #0000ff;
		background-color:	inherit;
                font-size:              0.9em;
        }
        var {
                font-family:            Terminal, Console, Mono, Sans;
                font-size:              0.9em;
                font-style:             normal;
                padding:                2px;
                font-weight:            bolder;
        }
	pre {
		width:			70%;
		border:			2px solid #bbbbbb;
		color:                  #0000ff;
		background-color:	#e1dbca;
	}
	comments {
		color:			red;
		background-color:	inherit;
	}
</style>









