HTML {
  padding: 0px; 
}

BODY {
        margin: 0px 0px 0px 0px;
        background-color: white;
        color: black;
}

.top {
	margin: 0px 0px 0px 0px;
        margin-bottom: 1em;
        /* background: #eeeeec; */
        /*       border-bottom: solid 1px grey; */
}

.main {
	max-width:85em;
        margin-top: 0px;
        padding-top: 0px;
        padding-left: 12px;
        padding-right: 12px;
	line-height:1.6em;
	font-family: "Verdana", "Arial", sans-serif;
}


h1  {	font-size:      large;
        font-family:	"Verdana", "Arial", sans-serif;
	padding: 0px 0px 0px 0px;
}

h2, h3, h4, h5  {	
        font-size: medium;
        font-family:	"Verdana", "Arial", sans-serif;
}

h2 {
        border-bottom:  solid 1px black;
}

.Front {
       	padding: 1em 1em 1em 1em;        
}

.Catalogue {
       	padding: 0.5em 0px 0.5em 0px;
}


/* Banner at top of page  */

.Header { font-weight: bold;
          font-variant: small-caps;
          font-size: large;
          padding-left: 12px;
          padding-top: 6px;
          font-family: "Verdana", "Arial", sans-serif; 
}

.Header .logo a{ text-decoration:none; }

.nav {
	border-style:solid;
	border-color:#3080b0;
        border-width:3px 0px 0px 0px;
	margin: 2px 0px 0px 0px;
	padding: 3px 0px 3px 12px;
        font-family: "Verdana", "Arial", sans-serif; 
}

.nav a { margin-left: 2px; margin-right: 2px; }

.nav2 {
        border-width: 1px 1px 1px 1px;
        border-color: #3080b0;
        border-style: solid;
	margin: 8px 0px 16px 0px;
	padding: 1px 0px 1px 0px;
}


.navdoc {
        padding:0em;    
        margin :0em;  
}

.prev {
        width: 33%;
}

.toc {
        width: 33%;
        text-align: center;
}

.next {
        width: 33%;
        text-align: right;
}

.buyit {
        text-align: center;
        float: right;
        padding: 1ex; 
        margin: 0;
        /*        background-color: #ffff66; */
        border-width: 1px 1px 1px 1px;
        border-color: black;
        border-style: solid;
}

.buytitle {
        font-size: smaller;
}

.docbar {
        margin: 0;
        padding: 0;
        border: 0;
}

#docicon {
        border-width: 0;
        margin: 1ex;
}


.Footer {
	font-size: x-small;
	border-style:solid;
	border-color:#3080b0;
        border-width:3px 0px 0px 0px;
	margin: 1.5em 0px 0px 0px;
	padding: 3px 0px 3px 12px;
        font-family: "Verdana", "Arial", sans-serif; 
}

.Title {
	/* font-size: medium; */
	font-weight: bold;
        font-family: "Verdana", "Arial", sans-serif;
        padding-top: 8px;
        margin-top: 0px;
	}

div.PageImage {
        text-align: center;
        width: 720px;
        margin-left: auto;
        margin-right: auto;
}

img.PageImage {
	border-style:solid;
	border-color:black;
	border-width:1px 1px 1px 1px;
        vertical-align: top;
        }

:hover.pageimagenavleft, :hover.pageimagenavright {
        background: lightgrey;
}

img.pageimagenavleft {
	border-style:solid;
	border-color:black;
	border-width:1px 0px 1px 1px;
        background-color: darkgrey;
	padding: 30px 10px 846px 10px;
	margin: 0px 0px 10px 8px;
        vertical-align: top;
        }
img.pageimagenavright {
	border-style:solid;
	border-color:black;
	border-width:1px 1px 1px 0px;
        background-color: darkgrey;
	padding: 30px 10px 846px 10px;
	margin: 0px 8px 10px 0px;
        vertical-align: top;
        }


.FrontCaption {
        text-align: center;
        padding: 0px 0px 1ex 0px;
}


.FrontImage {
        border-style:none;
        padding: 0px 10px 0px 10px;
}


.CoverImage {
	border-style:none;
	margin: 0px 1ex 0px 0px;
        }

.TinyCoverImage {
	border-style:none;
	margin: 0ex 1ex 0ex 1ex;
        float: left;
        }

pre {
        background-color: #F1F5F9;
        border: 1px solid gray;
        padding: 1ex 1ex 1ex 2ex;
}

.copying {
        font-size: x-small;
}

.float {
        padding-bottom: 1ex;
        padding-top: 1ex;
}

.caption {
        margin-bottom: -1ex;
        }

table.multitable {
        width: 100%;
        margin-top: 1em;
        margin-bottom: 1em;
        border-collapse: collapse;
        border-top: 3px double black;
        border-bottom: 3px double black;
}

table.multitable tr:first-child {
        border-bottom: 1px solid black;
}


table.multitable tr {
        border-top: 1px solid grey;
        border-bottom: 1px solid grey;
}

table.multitable td {
        vertical-align: baseline;
}


pre.flushright {
        font-family: normal;
        background-color: #FFFFFF;
        border: none;
        padding: 0 0 0 0;
}

pre.order {
        background-color: #FFFFFF;
        border: 1px solid #000000;
        padding: 2em 2em 1em 2em;
}

.smallcaps {
        font-variant: small-caps;
}


optgroup {
        font-style: normal;
}

.print {
        display: none;
}

DL.table DD {
        padding-bottom: 1em;
}

.cover { margin-left: 0.5em; }
.bibdata { margin-left: 1em; }

.indented {
        margin-left: 3em;
}

ul li {
	list-style-type:square;
}

TR.headitem {
    font-weight: bold;
}

.titlepage {
           font-size: x-small;
}

.titlepage .cmbx-12x-x-120 {
           font-weight: bold;
           font-size: large;
}

.titlepage .cmr-10x-x-109 {
           font-weight: bold;
           font-size: large;
}