/*
&#169;  &copy;  copyright symbol
&#174;  &reg;   trademark symbol
&#160;  &nbsp;  Nonbreaking space
*/


body{background-color: #ffffff;}
div.utpcenterer{
background-color: #ffffff;
display: block;
text-align: center;
padding: 0;
margin-top: -1ex;
margin-bottom: -1ex;
/*background-color: #105020; */
}
div.utpcenterer div.midcolumn{
margin-bottom: 0ex;
margin-top: 0ex;
max-width: 44em;
min-width: 10em;
text-align: left;
background-color: #ffffff;
color: #000000;
margin-left: auto;
margin-right: auto;
display: inline-table;
padding-left: 0.4em;
padding-right: 0.2em;
position: static;
font-family: sans-serif;
}

/* CHARACTER STYLES (SPANS) */
div.utpcenterer span.emph{font-size: 105%; font-style: italic; color: #003300;}
div.utpcenterer span.code{color: #000066; font-family: monospace;}
div.utpcenterer pre.code span.tinycode{font-size:50%;}
div.utpcenterer pre.code span.smallcode{font-size:75%;}
div.utpcenterer span.userinput{color: #660066; font-family: monospace; font-weight: bold; font-size: 100%}
div.utpcenterer span.copyright_symbol{font-size: 125%;}
div.utpcenterer span.term{font-family: serif; font-style: oblique;}
em{font-size: 105%; font-style: italic; color: #000066;}

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

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

/* GENERIC PARAGRAPH */
div.utpcenterer p{margin-bottom: 3ex;}


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

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


/* 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.utpcenterer 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.utpcenterer div.note p{font-size: 90%; font-weight: bold; line-height: 140%;}
div.utpcenterer 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 */
div.utpcenterer 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;
  }
div.utpcenterer h2{
  font-size: 140%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
}
div.utpcenterer h3{
  font-size: 120%; 
  font-weight: bold;
  margin-bottom: 0ex;
  margin-top: 3ex;
}
div.utpcenterer h4{
  font-size: 100%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
}
div.utpcenterer h5{
  font-size: 90%; 
  font-weight: bold;
  margin-bottom: 0.5ex;
  margin-top: 3ex;
  color: #660000;
}
div.utpcenterer 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;}

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

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

div.utpcenterer 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;
}



div.utpcenterer pre.code{color: #000066; font-size: 85%; font-family: monospace;}
div.utpcenterer pre.code_small{color: #000066; font-size: 70%; font-family: monospace;}
div.utpcenterer span.buzz{
	font-weight: bold;
	font-style: italic;
	color: #006600;
	text-decoration: blink;
} /* was 006600 */

div.utpcenterer div.centerer{margin: 0ex; padding: 0ex; text-align: center;}
div.utpcenterer div.add{
  text-align: center;
  border-style: ridge;
  border-width: 6px;
  background-color: #ffffcc;
  margin-left: auto;
  margin-right: auto;
  display: inline-table;
  padding: 0.4ex 0.4em;
}
div.utpcenterer div.add>p{margin: 0ex; font-weight: bold; margin-bottom: 0ex;}
