body {font-family: Arial Black, Garamond ;
			color: #000066 ;
			background-color: #ffffff}


    a.hidden {color: #f0f0f0 ;
		font-size: .6em ; text-decoration: none}

    a.lcl1  {text-decoration: none ;
	    font-family: Arial ;
	    color: #b51729 ;
	    font-weight: 700 ;
	    font-size: .9em ; line-height: 90%}
    a.lcl2, span.lcl2 {text-decoration: none ;
	    font-family: Arial ;
	    color: #000066 ;
	    font-weight: 700 ;
	    font-size: .8em ; line-height: 80%}

    span.toc1 {text-decoration: none ;
	    font-family: Arial ;
	    color: #000066 ;
	    font-weight: 700 ;
	    font-size: 1em ; line-height: 90%}
    a.toc2  {text-decoration: none ;
	    font-family: Arial ;
	    color: #b51729 ;
	    font-weight: 700 ;
	    font-size: .8em ; line-height: 100%}

    span.callout {text-decoration: none ;
	    font-family: Arial ;
	    color: #b51729 ;
	    font-weight: 700 ;
	    font-size: 1.2em ; line-height: 120%}
    td.callout {background-color: #f0f0f0}

    dt.adcol, a.adcol, span.adcol, font.adcol
	{   font-family: Arial ;
	    color: #000066 ;
	    font-weight: 400 ;
	    font-size: 8pt  ; line-height: 80%}

    a.adcol {text-decoration: underline }

    span.summfont
	{   font-family: Arial ;
	    color: #000066 ;
	    font-weight: 400 ;
	    font-size: 10pt }

    dt { color: #993333 ;
                font-size: 1.1em ; font-weight: 700 ;
                text-decoration: none}

    h1 {text-indent: 0 in ; line-height: 1 ;
		font-family: Arial ;
		color: #993333 }
    h2, h3 {text-indent: 0 in ; line-height: 1 ;
		font-family: Arial ;
		color: #993333 }

    .mbar, .toc {background-color: #f0f0f0}

    .bkg {background-color: #ffffff}

    a.stripmenu, span.stripmenu {color:#993333 ;
	    font-weight: 900 ; font-size:11pt ; text-decoration: none }

    a.clickhere {color:#000066 ;
        font-weight: 700 ; text-decoration: underline }
    a {color:#000066 ; text-decoration: underline }

    a:hover {color:#993333 ; text-decoration: underline}
    hr {color: #993333}

    p.formerror {color: red}
    span.formerror {color: red}

    /* button format */
    .bttn { background: #f0f0f0 ;
	color: #000066 ; 
	font-family: Arial Black, Garamond ;
	border-bottom: 2px solid #000066 ;
	border-right: 2px solid #000066 ;
	border-top: 2px solid white ;
	border-left: 2px solid white ;
	height: 29px ;
	text-decoration:none ; cursor: hand ;
	}

    div.summary li {margin-left: -12pt}
    td.bordered {border-style: solid ; border-width: thin ;
		border-color: #993333 ;
	    font-family: Arial ; font-weight: 700 ;
	    font-size: .9em}

    td.bordered hr {color: #993333}

    td.bhbar, th.bhbar {font-family: Arial ; font-weight: 700 ;
	    font-size: .9em ; text-align: center}
    th.bhbar {color: #993333 ; font-weight: 900 }

    caption.pic, td.pic, span.pic {text-decoration: none ;
	    font-family: Arial ;
	    color: #990033 ;
	    font-weight: 700 ;
	    font-size: .9em ; line-height: .9}

    /* styles used by mit1965.book */
    td.bug {border-style: solid ; border-width: thin ;
		border-color: #993333}
    span.bug0 {text-decoration: none ;
	    font-family: Arial ;
	    color: #993333 ;
	    font-weight: 700 ;
	    font-size: 1em ; line-height: .9}
    td.bug1 {line-height: 1}
    p.bug1 {margin-left: 20pt ; margin-bottom: 0 ; line-height: 1}
    a.bug1  {text-decoration: none ;
	    font-family: Arial ;
	    color: #993333 ;
	    font-weight: 700 ;
	    margin-left: -20pt ;
	    font-size: .9em ; line-height: .8 }
    td.bug2 {line-height: 1}
    p.bug2 {margin-left: 20pt ; margin-bottom: 0; line-height: .9}
    a.bug2  {text-decoration: none ;
	    font-family: Arial ;
	    color: #000066 ;
	    font-weight: 800 ;
	    margin-left: -20pt ;
	    font-size: .8em ; line-height: .8}
    td.bug3 {line-height: .95}
    p.bug3 {margin-left: 20pt ; margin-bottom: 0 ; line-height: .8}
    a.bug3  {text-decoration: none ;
	    font-family: Arial ;
	    color: #000066 ;
	    font-weight: 700 ;
	    margin-left: -20pt ;
	    font-size: .78em ; line-height: .8}


    p.dox  {margin-top: 5 ; margin-bottom: 0 ; line-height: 1 ;
    		margin-left: 0}

    span.nd    {text-decoration: none ;
	    font-family: WingDings ;
	    color: #993333 ;
	    font-weight: 700 ;
	    font-size: 1em ; line-height: 90%}