/* HTML tag modifications */
body {
    padding: 10px;
    margin: 1.5em;
    font-size: 15px;
	font-family: georgia, Palatino, times, serif;
	line-height: 20px;
}

form {
    margin: 0;
}

input {
    margin: 0;
}

h1, h2 {
    font-weight: bold;
    font-size: 17px;
	line-height: 200%;
	margin-top: 1cm;
	margin-left: -1em;
}

h1 {
    padding: 1em;
    margin: 0;
	margin-top: 30px;
	background-color: #FC6;
}

h5 {
	display: none;
}

body > h1:first-child {
	margin-top: 0px;
}

h3 {
    font-weight: bold;
    font-size: inherit;
	line-height: 200%;
	margin-top: 1cm;
	margin-left: -1em;
}

h4 {
    font-weight: bold;
    font-size: 12px;
    margin: 0;
    padding: 0;
}

.chaptitle {
	padding: 0;
    margin: 0;
	font-weight: bold;
	line-height: 200%;
	margin-top: 1cm;
	margin-left: -1em;
	color: red;
	text-align: center;
	font-size: 30px;
	margin-bottom: 20px;
}

pre {
    clear: both;
    background-color: #efefef;
	line-height: 120%;
	margin: 6px;
	padding: 6px;
}

/* ignored by IE */
html>body preNOT {
    overflow:auto;
}

table {
    font-size: inherit;
}

code, samp, kbd, var {
    /* color: #993333; */
	color: #993300;
	font-size: 85%;
}

code {
	font-family: geneva, monaco, courier, monospace;
}

dt {
   font-weight: bold;
}


/* basic HTML tag classes */
ol.plain, ul.plain {
    list-style-type:none;
    margin:0;
    padding:0;
}

.left {
   float:left;
   margin:0 1em 1em 0;
}

.right {
   float:right;
   margin:0 0 1em 1em;
}

.center {
   display:block;
   clear:both;
   margin:0 auto 1em;
}

.image {
    margin-bottom:1em;
}

.image p {
   padding:0;
   margin:0;
   font-style:italic;
}


/* hr styling for firefox bug see bugzilla 265463 */
hr[size="1"]{
border: 2px solid transparent;
border-top: 1px -moz-bg-solid;
margin-right:2px;
}

.note {
	border-style: solid;
	padding: 6px;
}

blockquote pNOT {
	background-color: #FFC;
}

sup {
	font-size: 6px;
}

div.figure, div.figure2 {
  float: right;
  width: 25%;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
background-color: white;
}

div.figure2 {
	width: 75%;
	float: none; 
	text-align: center;
	margin-left: auto;
	margin-right: auto;
}

div.figure p, div.figure2 p {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
  line-height: 110%;
}
img.scaled {
  width: 100%;
}

div.toc {
	line-height: 90%;
}

div.toc .h1 {
	margin-left:+1cm;
}

div.toc .h2 {
	margin-left:+2cm;
}