/* This file is generated from basic.scss. */
a {
  color: #485dc5;
  text-decoration: none; }
  a:hover {
    color: #ff0000; }

acronym {
  border-bottom: 1px dotted black; }

body {
  font-size: 9pt;
  font-weight: normal;
  font-family: sans-serif;
  line-height: 140%;
  padding: 0px;
  margin: 0px; }

code {
  font-family: monospace;
  color: #a04000; }

h1, h2, h3, h4, h5, h6 {
  margin: 0.9em 0px 0.3em 0px;
  font-weight: normal;
  font-family: sans-serif;
  line-height: 140%; }

h1 {
  color: #cc0000;
  font-size: 14pt;
  margin-top: 0px;
  margin-bottom: 1em; }

h2 {
  clear: both;
  color: #df8d0a;
  font-size: 12pt; }

h3 {
  clear: both;
  color: #808080;
  font-size: 12pt; }

img {
  border: 0px; }

td {
  vertical-align: top; }

p {
  margin-top: 0.3em;
  margin-bottom: 0.9em;
  max-width: 552px;
  text-align: justify;
  font-weight: normal;
  font-family: sans-serif;
  line-height: 140%; }

ul, ol {
  padding-left: 40px;
  max-width: 512px; }
  ul li, ol li {
    text-align: justify;
    font-weight: normal;
    font-family: sans-serif;
    line-height: 140%;
    -ms-hyphens: auto;
    -moz-hyphens: auto;
    -webkit-hyphens: auto;
    hyphens: auto; }

p code, li code, h1 code, h2 code, h3 code {
  display: inline;
  margin: auto; }

code pre {
  /* Stanza is a hack for IE6 */
  font-size: 1em; }

pre {
  font-family: monospace;
  background-color: #f5f2f0;
  margin: 1.2em 0em 1.2em 0em;
  padding: 0.8em; }

p[lang], div[lang] p {
  -ms-hyphens: auto;
  -moz-hyphens: auto;
  -webkit-hyphens: auto;
  hyphens: auto; }

/* End simple elements */
div.display {
  clear: both;
  border-bottom: 1px dashed #e0e0e0;
  margin-bottom: 1em;
  padding: 1em 0em 1em 0em; }
  div.display p {
    color: gray;
    clear: both; }
  div.display img {
    display: block;
    margin-bottom: 1em; }

/* Hoverable images, IE6 compatible
 * Each <a> element also needs an id, a stanza to specify its background
 * image and dimensions, and a :hover declaration. See a#header-name below. */
a.hoverimg {
  background-position: 0px 0px;
  background-repeat: no-repeat;
  display: block;
  border: 0px;
  margin: 0px;
  padding: 0px; }

a#header-name {
  top: 0px;
  left: 0px;
  width: 180px;
  height: 40px;
  position: absolute;
  background-image: url('/style/name.png');
  background-repeat: no-repeat;
  background-position: 0px 0px; }
  a#header-name:hover {
    background-position: 0px -40px; }

/* COLUMNS.
 * Columns have widths divisible by 8, and a gutter of 24px.
 * column.two: 1128px;
 * column: 552px;
 * column.half: 264px;
 * column.quart: 120px
*/
div.column {
  float: left;
  margin: 0px 24px 0px 0px;
  text-align: justify;
  -ms-hyphens: auto;
  -moz-hyphens: auto;
  -webkit-hyphens: auto;
  hyphens: auto; }

div.column p, div.column h3, div.column > img, div.column > table {
  /* only apply to img's not embedded in e.g. a <p> */
  margin: 0px 0px 1.12em 0px;
  /* put default margin of 1.12em below element, not above it */
  padding: 0px;
  width: auto;
  /* do not use fixed width when embedded in a column */ }

div.column h2, div.column h3 {
  clear: none;
  /* when embedded in a column, never clear */ }

div.column.two {
  width: 1128px; }

div.column {
  width: 552px; }

div.column.half {
  width: 264px; }

div.column.quart {
  width: 120px; }

/* Images inside paragraphs are centered vertically; see keys on the mk61 page */
div.column img {
  vertical-align: middle; }

div.column > img {
  vertical-align: auto; }

/* A colset has no right margin; it piggybacks on the rightmost column's right margin */
div.colset {
  float: left;
  margin-right: 0px;
  width: 576px; }

/* h2 children of a colset need a margin on the right */
div.colset > h2 {
  margin-right: 24px; }

/*  Must come after column definition to reset the para margin to zero: */
div.box {
  background-color: #f0f0f0;
  padding: 16px;
  margin-bottom: 1.12em;
  max-width: 520px; }
  div.box p {
    margin: 0px;
    padding: 0px; }

/*=== Header ===*/
div#header {
  background-color: #000000;
  background-image: -webkit-gradient(linear, left top, left bottom, from(#44484A), to(#000000));
  background-image: -webkit-linear-gradient(top, #44484A, #000000);
  background-image: -moz-linear-gradient(top, #44484A, #000000);
  background-image: -ms-linear-gradient(top, #44484A, #000000);
  background-image: -o-linear-gradient(top, #44484A, #000000);
  background-image: linear-gradient(top, #44484A, #000000);
  filter: progid:DXImageTransform.Microsoft.gradient(GradientType=0,StartColorStr='#44484A',EndColorStr='#000000');
  height: 40px;
  padding-left: 16em; }
  div#header div {
    background-color: #e0e0e0;
    background-image: linear-gradient(#e0e0e0, #e0e0e0, #d8d8d8, #a0a0a0);
    background-position: bottom;
    background-repeat: repeat-x;
    float: left;
    margin: 10px 1em 0px 0em;
    padding: 5px;
    padding-left: 1em;
    height: 20px;
    width: 11.5em;
    border-radius: 6px 6px 0px 0px;
    -moz-border-radius: 6px 6px 0px 0px; }
    div#header div p {
      margin: 0px; }
      div#header div p a {
        color: #cc0000;
        text-decoration: none; }

/*=== Main ===*/
div#content {
  position: relative;
  margin-left: 16em;
  padding: 2em;
  padding-left: 0em;
  left: 0em; }

/* Submenu, these are the grey menu strips on the top left of the page */
div#submenu {
  background-color: #f0f0f0;
  display: block;
  float: left;
  margin: 0em;
  padding: 2em 1em 2em 1em;
  position: relative;
  /* Hack so that FF and */
  left: 1em;
  /* IE position the same */
  text-align: right;
  width: 11em;
  /* -moz-border-radius: 0px 0px 6px 6px; Rounded bottom corners? */ }
  div#submenu ul {
    padding: 0em;
    margin: 0em; }
    div#submenu ul li {
      list-style-type: none;
      padding: 0em;
      margin: 0.2em; }

/* Gallery. Lots of images on display. */
div.gallery {
  clear: both; }
  div.gallery img {
    display: inline;
    margin: 0.5em; }

div.imgstrip {
  overflow: auto; }
  div.imgstrip img {
    float: left;
    display: block;
    margin: 0 24px 24px 0; }
  div.imgstrip p {
    clear: both;
    margin-top: 0px;
    color: #a0a0a0; }

/* Project boxes */
div.project {
  float: left;
  width: 21%;
  height: 10em;
  margin: 0px 10px 10px 0px;
  background-color: #f0f0f0;
  padding: 1em; }
  div.project h2 {
    border: none;
    margin: 0% 0% 1% 0%;
    padding: 0em; }
    div.project h2 a {
      color: #df8d0a;
      text-decoration: none; }
  div.project p {
    text-align: left;
    -moz-hyphens: none;
    -webkit-hyphens: none;
    hyphens: none; }

.c {
  text-align: center; }

.r {
  text-align: right; }

.clear {
  clear: both; }

div.codefile {
  clear: both;
  display: block;
  margin-top: 1em;
  margin-bottom: 1em;
  padding: 0em; }
  div.codefile p {
    display: inline-block;
    color: #808080;
    margin: 0px;
    padding: 4px 8px;
    border: 1px solid #c0c0c0;
    border-bottom: none;
    border-radius: 5px 5px 0px 0px;
    -moz-border-radius: 5px 5px 0px 0px;
    -webkit-border-radius: 5px 5px 0px 0px; }
  div.codefile pre {
    margin: 0px;
    border-top: 1px solid #c0c0c0; }
  div.codefile code {
    display: block;
    margin: 0px;
    padding: 0px; }

div#footer {
  clear: both;
  margin: 3em 2em 0em 16em;
  padding: 1em 0em 1em 0em;
  border-top: 1px dashed #e0e0e0;
  overflow: auto; }
  div#footer img {
    float: right; }
  div#footer p {
    color: #e0e0e0;
    font-size: 8pt;
    margin: 0;
    padding: 0;
    width: auto; }

.language-sh, .language-tex, .language-c, .language-asm {
  color: #606060;
  background: none repeat scroll 0% 0% #f5f2f0;
  font-family: Consolas, Monaco, 'Andale Mono', monospace;
  direction: ltr;
  text-align: left;
  white-space: pre;
  word-spacing: normal;
  word-break: normal;
  padding: 1em;
  -moz-tab-size: 8;
  -o-tab-size: 8;
  tab-size: 8;
  -webkit-hyphens: none;
  -moz-hyphens: none;
  -ms-hyphens: none;
  hyphens: none; }
  .language-sh .char, .language-tex .char, .language-c .char, .language-asm .char {
    color: #347918; }
  .language-sh .comment, .language-tex .comment, .language-c .comment, .language-asm .comment {
    color: slategray; }
    .language-sh .comment.todo, .language-tex .comment.todo, .language-c .comment.todo, .language-asm .comment.todo {
      color: #dedede; }
  .language-sh .identifier, .language-tex .identifier, .language-c .identifier, .language-asm .identifier {
    color: black; }
  .language-sh .keyword, .language-tex .keyword, .language-c .keyword, .language-asm .keyword {
    color: #0077aa; }
  .language-sh .label, .language-tex .label, .language-c .label, .language-asm .label {
    color: #2a7324; }
  .language-sh .type, .language-sh .usertype, .language-tex .type, .language-tex .usertype, .language-c .type, .language-c .usertype, .language-asm .type, .language-asm .usertype {
    color: #648a1a; }
  .language-sh .preproc, .language-tex .preproc, .language-c .preproc, .language-asm .preproc {
    color: #272779; }
  .language-sh .number, .language-sh .argument, .language-tex .number, .language-tex .argument, .language-c .number, .language-c .argument, .language-asm .number, .language-asm .argument {
    color: #990055; }
  .language-sh .string, .language-tex .string, .language-c .string, .language-asm .string {
    color: #3a444a; }
  .language-sh .symbol, .language-tex .symbol, .language-c .symbol, .language-asm .symbol {
    color: #a67f59; }
  .language-sh .function, .language-tex .function, .language-c .function, .language-asm .function {
    color: #871b6f; }
  .language-sh .classname, .language-tex .classname, .language-c .classname, .language-asm .classname {
    color: #af4141; }

div.rightcol {
  position: absolute;
  left: 576px;
  width: 576px;
  margin: 0px;
  padding-top: 0.3em; }
  div.rightcol img {
    display: block;
    float: left;
    margin: 0 24px 24px 0; }
  div.rightcol p {
    clear: both;
    margin-top: 0px;
    color: #a0a0a0; }

@media only screen and (max-width: 1360px) {
  div.rightcol {
    position: static; } }

/*
vim:ft=scss:ts=4:sw=4:tw=120:fenc=utf8:ai:noet:nojs:nowrap
*/