input.controls {
        width: 1.5em; height: 1.5em;
}
LABEL {
        font-weight: bold;
}
.left {
	text-align: left;
}
.nobr {
	white-space: nowrap;
}
.right {
	text-align: right;
}
.center {
	text-align: center;
}
.navtable {
	border: 3px groove;
	padding: 4px;
	margin: 0px;
	background-repeat: no-repeat;
}
.enduser {
	color: blue;
}
.pro {
	color: green;
}
.probottom {
	vertical-align: bottom;
	color: green;
}
.first {
  margin-top: 0 }

.last {
  margin-bottom: 0 }

.biggertext {
  font-size: large }

.forminput {
  font-size: large }

.linklist {
	list-style-type: square;
	list-style-image: url(/images/hpoint_right_small.gif);
	list-style-position: outside;
}

.smallprint {
	font-size: x-small;
	font-weight: normal;
}

.top {
	vertical-align: top;
}

body {
	font-size: large;
	font-weight: bold;
}

h1, h2, h3 {
	background-color: #6699FF;
	text-align: center;
}

a.toc-backref {
  text-decoration: none ;
  color: black }

dd {
  margin-bottom: 0.5em }

div.abstract {
  margin: 2em 5em }

div.abstract p.topic-title {
  font-weight: bold ;
  text-align: center }

div.attention, div.caution, div.danger, div.error, div.hint,
div.important, div.note, div.tip, div.warning, div.admonition {
  margin: 2em ;
  border: medium outset ;
  padding: 1em }

div.attention p.admonition-title, div.caution p.admonition-title,
div.danger p.admonition-title, div.error p.admonition-title,
div.warning p.admonition-title {
  color: red ;
  font-weight: bold ;
  font-family: sans-serif }

div.hint p.admonition-title, div.important p.admonition-title,
div.note p.admonition-title, div.tip p.admonition-title,
div.admonition p.admonition-title {
  font-weight: bold ;
  font-family: sans-serif }

div.dedication {
  margin: 2em 5em ;
  text-align: center ;
  font-style: italic }

div.dedication p.topic-title {
  font-weight: bold ;
  font-style: normal }

div.figure {
  margin-left: 2em }

div.footer, div.header {
  font-size: smaller }

div.sidebar {
  margin-left: 1em ;
  border: medium outset ;
  padding: 0em 1em ;
  background-color: #ffffee ;
  width: 40% ;
  float: right ;
  clear: right }

div.sidebar p.rubric {
  font-family: sans-serif ;
  font-size: medium }

div.system-messages {
  margin: 5em }

div.system-messages h1 {
  color: red }

div.system-message {
  border: medium outset ;
  padding: 1em }

div.system-message p.system-message-title {
  color: red ;
  font-weight: bold }

div.topic {
  margin: 2em }

font {
  font-size: large }

h1.title {
	background-color: #6699FF;
  text-align: center }

h2.subtitle {
	background-color: #6699FF;
  text-align: center }

input.continue {
  margin-left: 12%;
  margin-top: 1em;
}

hr {
  width: 75% }

ol.arabic {
  list-style: decimal }

ol.loweralpha {
  list-style: lower-alpha }

ol.upperalpha {
  list-style: upper-alpha }

ol.lowerroman {
  list-style: lower-roman }

ol.upperroman {
  list-style: upper-roman }

p.attribution {
  text-align: right ;
  margin-left: 50% }

p.caption {
  font-style: italic }

.credits {
  font-style: italic ;
  font-size: smaller ; }

p.label {
  white-space: nowrap }

p.rubric {
  font-weight: bold ;
  font-size: larger ;
  color: maroon ;
  text-align: center }

p.sidebar-title {
  font-family: sans-serif ;
  font-weight: bold ;
  font-size: larger }

p.sidebar-subtitle {
  font-family: sans-serif ;
  font-weight: bold }

p.topic-title {
  font-weight: bold }

pre.address {
  margin-bottom: 0 ;
  margin-top: 0 ;
  font-family: serif ;
  font-size: 100% }

pre.line-block {
  font-family: serif ;
  font-size: 100% }

pre.literal-block, pre.doctest-block {
  margin-left: 2em ;
  margin-right: 2em ;
  background-color: #eeeeee }

table.citation {
  border-left: solid thin gray ;
  padding-left: 0.5ex }

table.docinfo {
  margin: 2em 4em }

table.footnote {
  border-left: solid thin black ;
  padding-left: 0.5ex }

th {
  vertical-align: bottom;
}

td {
  vertical-align: middle;
}

.question {
  font-size: 80%;
  font-weight: normal;
  margin-top: 2em;
}

th.docinfo-name, th.field-name {
  font-weight: bold ;
  text-align: left ;
  white-space: nowrap }

h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
  font-size: 100%;
}

tt {
  background-color: #eeeeee }

ul.auto-toc {
  list-style-type: none }