* {
  margin: 0;
  padding: 0;
  font-size: 1em;
  font-weight: normal;
}

body {
  background-color: white;
  color: #001a5a;
  font-size: 16px;
  font-style: normal;
  font-weight: normal;
  font-family: "Lucida Grande", Arial, "MS Trebuchet", sans-serif;
  line-height: 150%;
  width: 52.5em;
}

#main {
  width: 36em;
  padding: 2em 0 2em 16.5em;
  clear: both;
}

#ie6fix {
  clear: both;
}

#footnotes_holder {
  font-size: 0.85em;
}

#leftpane {
  float: left;
  clear: left;
  display: inline;
  margin: 0.25em 0 0 -15.5em;
  width: 10em;
  font-size: 1em;
  line-height: 1.2em;
}
#leftpane h3 {
  padding: 2em 0 1em 0;
}
#leftpane img {
  width: 8.125em;
  height: 10.125em;
}
#leftpane p {
  margin-bottom: 2em;
  font-size: 0.9em;
}

.ident {
  float: left;
  display: inline;
  font-family: Courier, "Courier New", "Andale Mono", monospace;
  margin: 1em 0 -3.6em 0.5em;
  padding: 0.25em 0 0.25em 0.25em;
  color: #0033b3;
  background-color: white;
  width: 12em;
}
.ident a:visited, .ident a:link, .ident a:hover {
  text-decoration: none;
  color: #0033b3;
  background-color: white;
}

#multi {
  color: #c90244;
}

strong {
  font-weight: bold;
}

p {
  padding-bottom: 1em;
}
p.strong {
  font-weight: bold;
}

a:link, a:visited {
  text-decoration: underline;
  color: #0033b3;
}
a:hover {
  background-color: #e4edfb;
}
a.strong {
  font-weight: bold;
  text-decoration: underline;
  color: inherit;
}
a.unstyled {
  border: none;
  text-decoration: none;
}

.navbar1, .navbar2, .navbar3 {
  font-size: 90%;
  display: block;
  float: left;
  margin: 1.25em 0 0 0em;
  border-top: 0.25em #0033b3 solid;
  border-left: 0.2em #0033b3 solid;
  border-bottom: none;
}
.navbar1 li, .navbar2 li, .navbar3 li {
  display: block;
  list-style-type: none;
  list-style-position: outside;
}
.navbar1 a:link, .navbar1 a:visited, .navbar2 a:link, .navbar2 a:visited, .navbar3 a:link, .navbar3 a:visited {
  display: block;
  padding: 0.1em 0.5em;
  margin: 0;
  color: #c90244;
  text-decoration: none;
}
.navbar1 a:hover, .navbar2 a:hover, .navbar3 a:hover {
  background-color: #e4edfb;
}
.navbar1 .current, .navbar2 .current, .navbar3 .current {
  padding: 0.1em 0.5em;
  margin: 0;
  display: block;
  background-color: #0033b3;
  color: white;
}
.navbar1 .current a, .navbar2 .current a, .navbar3 .current a {
  color: white;
}
.navbar1 .linked, .navbar2 .linked, .navbar3 .linked {
  padding: 0;
}

/* 
 * .minornavbar
 * :text-align center
 * :list-style-type none
 * :font-size 0.85em
 * :margin 2em 0 0 0
 * //
 * li
 * :display inline
 * :margin 0 1em 0 0
 * :padding 0
 * a
 * :text-decoration none
 * :padding 2px 3px */
.navbar1 {
  margin-left: 4.2em;
}
.navbar1 li a {
  padding-right: 3em;
}

.navbar4 {
  display: block;
  float: none;
  clear: left;
  width: 28.5em;
  margin: 0 0 0 16.5em;
  padding: 0.25em 0 0.3em 0;
  border-top: 0.2em #0033b3 solid;
  border-left: 0.2em #0033b3 solid;
  border-bottom: none;
  line-height: 100%;
  height: 1.15em;
}
.navbar4 li {
  display: inline;
  border: none;
  font-size: 90%;
}
.navbar4 li.current {
  margin: 0;
  padding: 0.35em 0.15em;
  background-color: #0033b3;
  color: white;
}
.navbar4 li.tbs {
  padding: 0.35em 0.14em;
}
.navbar4 a {
  display: inline;
  text-decoration: none;
  padding: 0.35em 0.1em;
  margin: 0;
  color: #c90244;
}

.accessnavbar {
  display: inline;
  float: left;
  width: 12em;
  margin: 1.1em 0 0 -1.5em;
  padding: 2em 0 0 0;
  list-style-type: none;
  list-style-position: outside;
}
.accessnavbar li {
  display: block;
  margin: 0;
  padding: 0;
  font-size: 0.6em;
}
.accessnavbar a {
  margin: 0;
  padding: 0 0 0 1.2em;
}
.accessnavbar a:link, .accessnavbar a:visited {
  text-decoration: none;
  color: #001a5a;
}

#quicklynx {
  list-style-type: none;
  display: inline;
  float: right;
  border: 0.2em solid #0033b3;
  padding: 0.5em 0;
  margin: 1.25em 0 0 0;
}
#quicklynx li:first-child {
  font-weight: bold;
  padding: 0 0 0.5em 0.5em;
  color: #0033b3;
}
#quicklynx a {
  display: block;
  padding: 0.1em 0.5em;
  margin: 0;
  color: #c90244;
}
#quicklynx a:link, #quicklynx a:visited {
  color: #c90244;
  text-decoration: none;
}
#quicklynx a:hover {
  background-color: #e4edfb;
}

.formfieldlist {
  list-style-type: none;
  padding-left: 10em;
}
.formfieldlist li {
  margin-bottom: 1em;
}
.formfieldlist li label {
  float: left;
  width: 10em;
  margin: 0 1em 0 -10em;
}
.formfieldlist li input, .formfieldlist li textarea {
  font-size: 1.1em;
}

.errors {
  margin: 0 -12em 0 0;
  float: right;
  width: 12em;
  border: 2px solid #c90244;
  background-color: #e4edfb;
  padding: 0.25em;
}

.fieldWithErrors {
  margin: 0;
  padding: 0;
  display: inline;
}
.fieldWithErrors label {
  border: 2px solid #c90244;
  background-color: #e4edfb;
  padding: 0.25em;
}

.errorExplanation {
  margin: 0  0 2em -10em;
  padding: 1em;
  border: 1px solid #c90244;
}
.errorExplanation h2 {
  margin: 0;
  padding: 0;
}

.booktitle {
  font-style: italic;
}

.runinhead {
  font-weight: bold;
}

h2 {
  font-size: 115%;
  font-weight: bold;
  color: #001a5a;
  padding: 1em 0 0 0;
  font-size: 100%;
}

h3 {
  font-size: 100%;
  font-style: italic;
  padding: 1em 0 0 0;
  color: #001a5a;
  font-size: 100%;
}
h3.example {
  padding-top: 0;
}
h3.reference {
  padding: 1em 0 0 0;
  font-style: normal;
}
h3.blogmonth {
  padding: 0;
}

h1 {
  color: #001a5a;
  font-size: 125%;
  margin: 0 0 0.5em 0;
}

code {
  font-family: "Courier New", Courier, "Andale Mono", monospace;
  font-size: 100%;
  font-weight: bold;
}

pre {
  font-family: "Courier New", Courier, "Andale Mono", monospace;
  font-size: 100%;
  margin-left: 1em;
}
pre.codefragment {
  margin: 0;
  width: auto;
  padding: 12px 24px;
  font-weight: bold;
}

h4 {
  font-size: 100%;
  padding: 0 24px;
  margin: 0;
  font-style: italic;
  font-weight: bold;
}

ul.cv {
  list-style-position: outside;
}
ul.cv li {
  margin-left: 40px;
}

.example {
  padding: 1em 0 0 0;
  margin: 0;
  clear: right;
}

.small {
  font-size: 85%;
}

.centred {
  text-align: center;
}

.copyright {
  font-size: 70%;
  margin-top: 5em;
}

.blobs {
  display: inline;
  float: left;
}

.blob1, .blob2, .blob3 {
  display: block;
  height: 1em;
  width: 0.5em;
  margin: 0 0.4em 0.2em 0;
  background-color: #0033b3;
}

.chapterlist li {
  font-size: 100%;
  padding: 0.15em 0 0.35em 0;
  font-size: 100%;
  list-style-type: none;
}

.chapterlist>li {
  color: #0033b3;
  font-size: 1.15em;
}

.aheadlist li {
  list-style-type: none;
  text-indent: 1.6em;
  font-size: medium;
  color: #001a5a;
}

.bookhead {
  font-size: 105%;
}

.bheadlist li {
  text-indent: -1em;
}

.cheadlist li {
  text-indent: -2em;
  font-style: italic;
}

.pagenum {
  padding-left: 0.5em;
}

.faqs li {
  margin: 0 0 0.75em 30px;
}

.huge {
  font-size: 250%;
}

dd {
  display: inline;
}

.tbs {
  font-style: italic;
  font-size: 90%;
  color: #CCCCCC;
  padding: 0.1em 0.5em;
}
.tbs a:hover {
  background-color: white;
}

.warning {
  font-style: italic;
}
.warning:before {
  content: "(";
}
.warning:after {
  content: ")";
}

.sitemapsublist {
  list-style-type: none;
}
.sitemapsublist li {
  margin: 0 0 0 1em;
  clear: left;
}

.sitemaplist {
  list-style-type: none;
}

.flatlist {
  list-style-type: none;
}
.flatlist li {
  display: inline;
  white-space: nowrap;
}

.shortlist {
  list-style-type: none;
  margin-left: -40px;
  margin-bottom: 2.5em;
}
.shortlist li {
  padding-bottom: 1em;
}

.points {
  list-style-position: outside;
  margin-left: 20px;
}
.points li {
  padding-bottom: 1em;
}

ol.answerlist, ol.projectlist {
  list-style-type: decimal;
  margin-left: 40px;
}

.answerlist>li, .projectlist>li {
  display: list-item;
  list-style-type: decimal;
  padding-top: 1em;
}

.projectlist>li p:first-child, p.brief-continuation {
  color: #0033b3;
  font-weight: bold;
}
.projectlist>li p:first-child em, p.brief-continuation em {
  font-style: italic;
  font-weight: bold;
}

.answerlist ul {
  margin: .5em 0 0 20px;
  list-style-type: disc;
}

.indented, .correction, blockquote {
  margin-left: 1.5em;
}

.setoff {
  margin: 2em 0 1em 0;
}

ul.indented, blockquote {
  margin-bottom: 1em;
}

.boxed {
  border: 0.2em solid #c90244;
  padding: 1em 1em 0;
  margin: 1em 0 2em 0;
}
.boxed p {
  padding-bottom: 1em;
}

.boxedsingle {
  padding: 1em 1em;
  margin: 0.5em 0 1.5em 0;
}

.boxedsingle {
  border: 0.2em solid #c90244;
}

.advert {
  border: 0.2em solid #c90244;
  padding: 1em;
  margin: 1em 0 2em 0;
}

div.advert h2 {
  font-size: 1em;
  font-weight: bold;
  margin: 0;
  padding: 0;
  text-align: left;
}

.advert a strong {
  font-weight: normal;
}

.advert .contrasting a {
  color: #c90244;
}

.advertspecial {
  padding: 1em 1em;
  border: 0.2em solid #0033b3;
}

.advertspecial {
  margin: 1.5em 0 0.5em 0;
}

.boxedwarning {
  border: 0.2em solid #0033b3;
  padding: 1em 1em;
  margin: 2em 0;
}

li.environment {
  text-indent: 12px;
  color: white;
  font-size: 1em;
  background-color: #c90244;
}

.selected {
  color: #0033b3;
}

.coverpic {
  float: right;
  padding: 0 0 1em 1em;
  width: 10em;
}

.clearright {
  clear: right;
}

.clearleft {
  clear: left;
}

.newexample {
  clear: right;
  margin-top: 2.5em;
}

.poster {
  float: right;
  display: inline;
  margin: 0.5em 0 1.5em 0.75em;
}

.spaced {
  margin: 2em 2em 0 0;
}

.illustrationlinks {
  list-style-type: none;
  margin-left: -40px;
}
.illustrationlinks li {
  display: inline;
  white-space: nowrap;
}
.illustrationlinks a {
  text-decoration: none;
}
.illustrationlinks a:visited {
  text-decoration: none;
}

.right {
  text-align: right;
}

.embed {
  margin: 2.5em 0;
}

object {
  padding-top: 0.5em;
}

img {
  border: none;
  margin: 0;
  padding: 0;
}

/* 
 * &.amazon
 * :border none
 * :margin 0px
 * :height 1px
 * :width 1px
 * //
 * &.floatleft
 * :float left
 * :padding 0.5em 0.5em 0 0
 * //
 * &.floatright
 * :float right
 * :padding 0.5em 0 0 0.5em */
#leftpane .amazonlinks img {
  border: none;
  margin: 0px;
  height: 1px;
  width: 1px;
}

table {
  border-collapse: collapse;
  margin-bottom: 1em;
  font-size: 0.9em;
}

th {
  font-weight: bold;
  text-align: left;
  border: 1px solid #001a5a;
}
th.colhead {
  text-align: center;
}

td, th {
  border: 1px solid #001a5a;
  padding: 0 0.5em;
  vertical-align: top;
}
td.ll, th.ll {
  border-left: 2px solid #001a5a;
}

#definition {
  font-size: 100%;
}
#definition dt {
  clear: right;
  font-weight: bold;
  margin-top: 1.5em;
  margin-bottom: 0.8em;
}
#definition dd {
  text-indent: 0;
  margin-left: 0;
}

#form {
  padding: 3em 0 0 0;
}

#cloud {
  text-align: center;
  line-height: 175%;
  padding: 3em 0 1em 0;
}
#cloud a {
  text-transform: none;
  text-decoration: none;
  font-weight: bold;
  white-space: nowrap;
}
#cloud a:hover {
  background-color: #ebf5f1;
}
#cloud a.l0 {
  font-size: 75%;
}
#cloud a.l1 {
  font-size: 80%;
}
#cloud a.l2 {
  font-size: 90%;
}
#cloud a.l3 {
  font-size: 100%;
}
#cloud a.l4 {
  font-size: 120%;
}
#cloud a.l5 {
  font-size: 135%;
}

#term2 {
  margin: 0 0 0 11.25em;
}

#term1 {
  font-size: 120%;
}

.tight {
  margin: 0;
  padding: 0;
}

ul.examples {
  padding-right: 255px;
  list-style-type: none;
}
ul.examples li {
  clear: right;
}
ul.examples li img, ul.examples li .embedded, ul.examples li .widget {
  clear: right;
  float: right;
  margin-right: -255px;
  display: inline;
  padding-left: 20px;
}
ul.examples li .boxedsingle {
  margin-right: -255px;
  width: 36em;
  margin: 2em 0 0 0;
}
ul.examples .wide {
  margin-right: -255px;
  width: 36em;
  padding: 1em 0 0 0;
}
ul.examples .wide object {
  padding: 0;
}
ul.examples .wide h2 {
  font-size: 1em;
  font-weight: bold;
}

#linkdisplay {
  font-size: 85%;
  width: 32em;
  padding: 0.6em;
  height: 1.2em;
  color: #0033b3;
  border: solid #0033b3 1px;
  float: right;
  clear: right;
  display: inline;
  text-align: right;
  margin: 20px -255px 0 0;
}

ul.alphabet {
  list-style-type: none;
  font-size: 80%;
  margin-bottom: 2em;
}
ul.alphabet li {
  display: inline;
}
ul.alphabet li:after {
  content: " | ";
}
ul.alphabet li:first-child:after {
  content: none;
}

ul.termsleft, ul.termsright {
  list-style-type: none;
  width: 45%;
}
ul.termsleft li, ul.termsright li {
  padding-bottom: 1em;
}

ul.termsright {
  float: right;
}

ul.termsleft {
  float: left;
  margin-right: 5%;
}

ul.booklist, ul.linklist {
  list-style-type: none;
}
ul.booklist li p, ul.linklist li p {
  margin: 0.5em 20px 0;
}
ul.booklist li h3, ul.linklist li h3 {
  font-style: normal;
  font-size: 1em;
}

ul.sitemap0, ul.sitemap1, ul.sitemap2, ul.sitemap3 {
  list-style-type: none;
}

ul.sitemap1 {
  margin: 0 0 0 20px;
}
ul.sitemap1 li {
  margin: 0;
}

ul.sitemap2 {
  margin: 0 0 0 40px;
}
ul.sitemap2 li {
  margin: 0;
}

ul.sitemap3 {
  margin: 0 0 0 40px;
}
ul.sitemap3 li {
  display: inline;
}