body{background-color: #ffffff;}
/* CHARACTER STYLES (SPANS) */
span.emph{font-size: 105%; font-style: italic; color: #003300;}
span.code{color: #000066; font-family: monospace;}
span.copyright_symbol{font-size: 125%;}
sup.copyright_symbol{font-size: 125%;}
span.tinycode{font-size: 60%;}
span.userinput{color: #660066; font-family: monospace; font-weight: bold; font-size: 100%}

span.term{font-family: serif; font-style: oblique;}
em{font-size: 105%; font-style: italic;}

/* Link properties MUST appear in this order: */
a:hover{color: #ff0000;}
a:active{color: #666600;}

/* NAVIGATIONAL LINKS */
p.navv{text-align: center; font-size: 90%; font-weight: bold; margin-top:  0.2ex; margin-bottom: 0.7ex;}
span.navv{font-size: 90%; font-weight: bold;}

/* GENERIC PARAGRAPH */
p{margin-bottom: 3ex; margin-right: 0.1em;}
p.story{font-style: italic; margin-right: 1em; margin-left: 1em;}
p.reference{font-style: italic; margin-right: 1em; margin-left: 1em; font-size: 90%; color: #770000;}

p.quotation{font-style: italic; margin-right: 1em; margin-left: 1em; font-size: 90%; color: #770000;}


/* FRONTMATTER: PRESENTS, TITLE, COPYRIGHT, AND CONTENTS */
p.presents,p.subtitle{font-size: 120%; font-weight: bold; text-align: center; margin-top: 1.5ex; margin-bottom: 1ex;}
sup.tm{font-size: 110%; position: relative; line-height: 0; vertical-align: baseline; top: -.25ex; left: -.25ex;}
p.title{font-size: 160%; font-weight: bold; color: #990000; text-align: center; margin-top: 2ex; margin-bottom: 2ex;}
p.copyright{font-size: 90%; font-weight: bold; text-align: center;}
p.prevnext{font-size: 90%; font-weight: bold; text-align: center; margin-top:  0ex;}
p.prevnext span.space{margin-left: 2%; margin-right: 0%; width: 0%; text-align: center;}

p.contents_title{font-size: 130%; font-weight: bold; margin-bottom: -0.4ex;}
ul.contents{font-weight: bold; margin-top:  1ex; margin-bottom: 4ex;}
ul.contents li{margin-bottom:  0.8ex;}


/* BYLINE AND ENDLINE */
p.byline{font-size: 80%; font-weight: bold; margin-top: 0ex;}
p.endline{font-size: 80%; font-weight: bold;}

/* NOTE BOX */
div.note{
  width: 80%; 
  background-color: #ffcc99; 
  border-style: ridge;
  border-width: 2px;
  margin-left: 9.7%;
  margin-right: 9.9%;
  margin-bottom: 3ex;
  padding-left: 0.5ex;
}
div.note p{font-size: 90%; font-weight: bold; line-height: 140%;}
div.note p.title{text-align: center; font-size: 140%; font-weight: bold; color: #000000; margin-top: 0.8ex;}

/* DANGER BOX */
div.danger{
background-color: #fff0f0;
width: 80%;
border-style: ridge;
border-width: 8px;
margin-left: auto;
margin-right: auto;
margin-top: 2ex;
margin-bottom: 2ex;
text-align: center;
}
div.danger p.title{
font-size: 200%;
font-weight: bold;
color: #99ffff;
background-color: #cc0000;
border-style: ridge;
border-width: 4px;
text-align: center;
margin: 0ex;
margin-bottom: 1ex;
}
div.danger p{
font-weight: bold;
color: black;
text-align: left;
margin: 0ex 0.5em 1.5ex 0.5em;
}

/* HIERARCHY H1 THRU H6 */
h1{
  font-size: 160%; 
  font-weight: bold;
  color: #000000;
  background-color: #f9f9ff;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
  padding-top: 0.3ex;
  padding-bottom: 0.2ex;
  border-left-style: none;
  border-right-style: none;
  border-top-width: 0.2ex;
  border-bottom-width: 0.1ex;
  border-top-style: groove;
  border-bottom-style: solid;
  border-color: #000050;
  }
h2{
  font-size: 140%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
}
h3{
  font-size: 120%; 
  font-weight: bold;
  margin-bottom: 0ex;
  margin-top: 3ex;
}
h4{
  font-size: 100%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
}
h5{
  font-size: 90%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
  color: #660000;
}
h6{
  font-size: 75%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
  margin-left: 3ex;
  color: #990000;
}

/* OTHER HANDY STUFF */
br.bottompage{margin-bottom: 10ex;}

ol,ul{margin-bottom: 4ex; margin-top: 1.6ex;}
li{margin-bottom: 0.8ex; margin-top: 0.2ex;}

p.q{font-size: 110%; font-style: italic; font-weight: bold; list-style-type: disc; margin-bottom: 0ex; margin-top: 4ex;}
p.a{margin-left: 2ex; margin-bottom: 3ex; margin-top: 0.6ex;}
p.a ol{margin-left: 3ex;}
p.a ul{margin-left: 3ex;}
p.a li{margin-left: 3ex;}

p.trademark{
   width: 80%;
   margin-bottom: 3ex;
   margin-top: 3ex;
   margin-left: 9.5%;
   margin-right: 9.5%;
   background-color: #eeeeee;
   border-color: black;
   border-style: groove;
   border-width: 4px;
   padding: .4ex;
   font-size: 90%;
   font-weight: bold;
   text-align: center;
}

pre.code{
	margin:0ex;
	border-width:3px;
	border-style: ridge;
	border-color: black;
	padding: 0.3em;
	font-size: 85%;
	font-weight: bold;
	background-color: #e0ffff;
}

pre.tinycode{
	margin:0ex;
	border-width:3px;
	border-style: ridge;
	border-color: black;
	padding: 0.3em;
	font-size: 60%;
	font-weight: bold;
	background-color: #e0ffff;
}