html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, font, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td {
  margin: 0;
  padding: 0;
  border: 0;
  outline: 0;
  font-weight: inherit;
  font-style: inherit;
  font-size: 100%;
  font-family: inherit;
  vertical-align: baseline; }

body {
  line-height: 1;
  color: black;
  background: white; }

ol, ul {
  list-style: none; }

table {
  border-collapse: separate;
  border-spacing: 0;
  vertical-align: middle; }

caption, th, td {
  text-align: left;
  font-weight: normal;
  vertical-align: middle; }

q, blockquote {
  quotes: "" ""; }
  q:before, q:after, blockquote:before, blockquote:after {
    content: ""; }

a img {
  border: none; }

body.blueprint body {
  line-height: 1.5;
  font-family: "Helvetica Neue", Arial, Helvetica, sans-serif;
  color: #333333;
  font-size: 75%; }
body.blueprint h1, body.blueprint h2, body.blueprint h3, body.blueprint h4, body.blueprint h5, body.blueprint h6 {
  font-weight: normal;
  color: #222222; }
  body.blueprint h1 img, body.blueprint h2 img, body.blueprint h3 img, body.blueprint h4 img, body.blueprint h5 img, body.blueprint h6 img {
    margin: 0; }
body.blueprint h1 {
  font-size: 3em;
  line-height: 1;
  margin-bottom: 0.50em; }
body.blueprint h2 {
  font-size: 2em;
  margin-bottom: 0.75em; }
body.blueprint h3 {
  font-size: 1.5em;
  line-height: 1;
  margin-bottom: 1.00em; }
body.blueprint h4 {
  font-size: 1.2em;
  line-height: 1.25;
  margin-bottom: 1.25em; }
body.blueprint h5 {
  font-size: 1em;
  font-weight: bold;
  margin-bottom: 1.50em; }
body.blueprint h6 {
  font-size: 1em;
  font-weight: bold; }
body.blueprint p {
  margin: 0 0 1.5em; }
  body.blueprint p img.left {
    display: inline;
    float: left;
    margin: 1.5em 1.5em 1.5em 0;
    padding: 0; }
  body.blueprint p img.right {
    display: inline;
    float: right;
    margin: 1.5em 0 1.5em 1.5em;
    padding: 0; }
body.blueprint a {
  text-decoration: underline;
  color: #000099; }
  body.blueprint a:visited {
    color: #000066; }
  body.blueprint a:focus {
    color: black; }
  body.blueprint a:hover {
    color: black; }
  body.blueprint a:active {
    color: #cc0099; }
body.blueprint blockquote {
  margin: 1.5em;
  color: #666666;
  font-style: italic; }
body.blueprint strong {
  font-weight: bold; }
body.blueprint em {
  font-style: italic; }
body.blueprint dfn {
  font-style: italic;
  font-weight: bold; }
body.blueprint sup, body.blueprint sub {
  line-height: 0; }
body.blueprint abbr, body.blueprint acronym {
  border-bottom: 1px dotted #666666; }
body.blueprint address {
  margin: 0 0 1.5em;
  font-style: italic; }
body.blueprint del {
  color: #666666; }
body.blueprint pre {
  margin: 1.5em 0;
  white-space: pre; }
body.blueprint pre, body.blueprint code, body.blueprint tt {
  font: 1em "andale mono", "lucida console", monospace;
  line-height: 1.5; }
body.blueprint li ul, body.blueprint li ol {
  margin: 0; }
body.blueprint ul, body.blueprint ol {
  margin: 0 1.5em 1.5em 0;
  padding-left: 3.333em; }
body.blueprint ul {
  list-style-type: disc; }
body.blueprint ol {
  list-style-type: decimal; }
body.blueprint dl {
  margin: 0 0 1.5em 0; }
  body.blueprint dl dt {
    font-weight: bold; }
body.blueprint dd {
  margin-left: 1.5em; }
body.blueprint table {
  margin-bottom: 1.4em;
  width: 100%; }
body.blueprint th {
  font-weight: bold; }
body.blueprint thead th {
  background: #c3d9ff; }
body.blueprint th, body.blueprint td, body.blueprint caption {
  padding: 4px 10px 4px 5px; }
body.blueprint tr.even td {
  background: #e5ecf9; }
body.blueprint tfoot {
  font-style: italic; }
body.blueprint caption {
  background: #eeeeee; }
body.blueprint .quiet {
  color: #666666; }
body.blueprint .loud {
  color: #111111; }
body.blueprint .box {
  padding: 1.5em;
  margin-bottom: 1.5em;
  background: #e5ecf9; }
body.blueprint div.border {
  padding-right: 4px;
  margin-right: 5px;
  border-right: 1px solid #eeeeee; }
body.blueprint div.colborder {
  padding-right: 27px;
  margin-right: 27px;
  border-right: 1px solid #eeeeee; }
body.blueprint hr {
  background: #dddddd;
  color: #dddddd;
  clear: both;
  float: none;
  width: 100%;
  height: 0.1em;
  margin: 0 0 1.45em;
  border: none; }
body.blueprint hr.space {
  background: #dddddd;
  color: #dddddd;
  clear: both;
  float: none;
  width: 100%;
  height: 0.1em;
  margin: 0 0 1.45em;
  border: none;
  background: white;
  color: white;
  visibility: hidden; }
body.blueprint form.inline {
  line-height: 3; }
  body.blueprint form.inline p {
    margin-bottom: 0; }
body.blueprint .container {
  width: 800px;
  margin: 0 auto;
  overflow: hidden;
  display: inline-block;
  margin-top: 14pt;
  margin-left: auto;
  margin-right: auto;
  padding: 3px; }
  body.blueprint .container {
    display: block; }

body#default {
  background-color: white;
  font-family: Verdana;
  font-size: 10pt;
  line-height: 1.5; }
  body#default #header {
    display: inline;
    float: left;
    margin-right: 0;
    width: 800px;
    padding-right: 2px;
    text-align: left;
    background-color: #0f336f;
    color: white; }
    * html body#default #header {
      overflow-x: hidden; }
    body#default #header h1 {
      color: white;
      font-size: 200%;
      font-family: Verdana;
      font-weight: bold;
      margin: 12pt 12pt 4pt 12pt; }
    body#default #header a {
      color: white; }
  body#default #navigation {
    font-size: 125%;
    font-family: sans-serif;
    font-weight: bold;
    font-color: white;
    letter-spacing: 1pt;
    margin: 0;
    padding: 0;
    border: 0;
    outline: 0;
    overflow: hidden;
    display: inline-block; }
    body#default #navigation {
      display: block; }
    body#default #navigation li {
      list-style-image: none;
      list-style-type: none;
      margin-left: 0px;
      white-space: nowrap;
      display: inline;
      float: left;
      padding-left: 4px;
      padding-right: 4px; }
      body#default #navigation li:first-child, body#default #navigation li.first {
        padding-left: 0px; }
      body#default #navigation li:last-child, body#default #navigation li.last {
        padding-right: 0px; }
    body#default #navigation a {
      text-decoration: none; }
      body#default #navigation a:hover {
        text-decoration: underline; }
    body#default #navigation li {
      padding: 2pt 28pt 8pt 2pt; }
    body#default #navigation ul {
      margin: 14pt; }
    body#default #navigation .current {
      text-decoration: underline; }
  body#default div#navigation ul {
    padding: 0px; }
  body#default #content-wrap {
    background-color: white;
    border-right: 1px dashed;
    border-left: 1px dashed;
    border-bottom: 1px dashed;
    border-color: #0f336f;
    color: black;
    display: inline;
    float: left;
    margin-right: 0;
    width: 800px;
    margin-bottom: 12pt; }
    * html body#default #content-wrap {
      overflow-x: hidden; }
  body#default #content {
    background-color: white;
    display: inline;
    float: left;
    margin-right: 10px;
    width: 665px;
    margin-bottom: 12pt; }
    * html body#default #content {
      overflow-x: hidden; }
    body#default #content h2.title {
      font-family: sans-serif;
      font-size: 125%;
      font-weight: bold;
      margin-bottom: 0pt;
      line-height: 125%; }
    body#default #content p.info {
      line-height: 125%;
      margin-bottom: 0pt; }
    body#default #content p.lastinfo {
      margin-bottom: 14pt;
      line-height: 125%; }
    body#default #content h2.listtitle {
      font-family: sans-serif;
      font-size: 125%;
      line-height: 125%;
      margin-bottom: 2pt; }
    body#default #content p.author {
      font-style: italic;
      margin: 0;
      line-height: 125%; }
    body#default #content p.listend {
      margin-bottom: 8pt;
      line-height: 125%; }
    body#default #content p {
      clear: both; }
    body#default #content p.ack {
      font-size: 80%;
      margin-top: 32pt; }
    body#default #content h2.centeredtitle {
      font-family: sans-serif;
      font-size: 150%;
      font-weight: bold;
      margin-bottom: 0pt;
      line-height: 125%;
      text-align: center; }
    body#default #content h3.pagelink {
      font-family: sans-serif;
      font-size: 90%;
      margin-top: 3pt; }
    body#default #content h3 {
      font-family: sans-serif;
      font-size: 110%;
      font-weight: bold;
      margin-bottom: 4pt;
      margin-top: 4pt;
      clear: both; }
    body#default #content .teaser {
      margin-bottom: 28pt;
      margin-top: 28pt;
      margin-left: auto;
      margin-right: auto;
      display: block; }
    body#default #content .screencap {
      margin-top: 8pt;
      margin-bottom: 4pt; }
  body#default .summary {
    margin: 14pt 28pt 14pt 28pt; }
    body#default .summary tbody {
      float: left; }
    body#default .summary td {
      padding: 0 4pt 0 4pt; }
    body#default .summary h2 {
      font-family: sans-serif;
      font-size: 125%;
      font-weight: bold;
      margin-bottom: 14pt;
      line-height: 125%; }
  body#default .post {
    margin: 14pt 28pt 28pt 28pt; }
  body#default .bloglist {
    margin: 14pt 28pt 28pt 28pt; }
  body#default .pubpage {
    margin: 14pt 28pt 28pt 28pt; }
  body#default .publist {
    margin: 14pt 4pt 14pt 28pt; }
    body#default .publist td {
      vertical-align: top; }
    body#default .publist td.icon {
      width: 132px; }
  body#default pre {
    font-family: monospace;
    font-size: 9pt;
    display: block;
    line-height: 1.3;
    background-color: #ebebeb;
    padding: 4pt;
    white-space: pre-wrap;
    white-space: -moz-pre-wrap;
    white-space: -o-pre-wrap;
    margin-top: 8pt; }
  body#default pre.bibtex {
    margin-top: 0pt;
    padding-top: 0pt;
    background-color: white; }
  body#default #extras {
    background-color: white;
    display: inline;
    float: left;
    margin-right: 0;
    width: 80px; }
    * html body#default #extras {
      overflow-x: hidden; }
  body#default #footer {
    text-align: right;
    display: inline;
    float: left;
    margin-right: 0;
    width: 665px;
    margin-bottom: 8pt; }
    * html body#default #footer {
      overflow-x: hidden; }
    body#default #footer a {
      font-family: sans-serif;
      font-size: 150%; }