body {
  font-size: 200%;
  margin: 0;
  padding: 0;
}

a {
  text-decoration: none;
}

nav, nav ul, nav li {
  margin: 0;
  padding: 0;
}

nav ul {
  list-style-type: none;
}

nav li {
  display: block;
  float: left;
  margin: 0 4px;
}

article.deck {
  margin: 0;
  padding: 0;
  width: 100%;
  height: 100%;
}

article.deck header, article.deck footer {
  width: 100%;
  margin: 0;
  position: absolute;
  left: 0;
  font-size: 50%;
}

article.deck header {
  top: 0;
  overflow: hidden;
}

article.deck header h1, article.deck header nav,
article.deck footer p, article.deck footer address {
  margin: 1ex;
  padding: 0;
  font-size: 1em;
  font-weight: normal;
}

article.deck header h1,
article.deck footer address {
  float: left;
}

article.deck header nav,
article.deck footer p {
  float: right;
}

article.deck section {
  margin: 10% 0;
  padding: 0 1ex;
  text-align: center;
}

article.deck section p {
  width: 70%;
  margin: 1em auto;
}

article.deck section pre {
  text-align: left;
  width: 75%;
  margin: 0 auto;
}

article.deck footer {
  bottom: 0;
}

article.deck section h2 img {
  vertical-align: middle;
}

.amp {
  font-family: "Apple Chancery";
  font-style: italic;
}

var {
  font-style: normal;
}

body {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  background-color: #000;
  color: #fff;
}
:link    { color: #ff9; }
:visited { color: #ff3; }
a:active { color: #ff9; }
a:hover  { color: #ff6; }
code, pre {
  font-family: "Andale Mono", Monaco, "Consolas", "Lucida Console",
  Courier, "Courier New", monospace;
}
ul {
  list-style-position: inside;
}

/* Code */


code .keyword           { color: #4682b4; }
code .type              { color: #3cb371; }
code .function          { color: #5f9ea0; }
code var,
code .variable          { color: #ff6a6a; }
code .string            { color: #fffacd; }
code .comment           { color: #9932cc; }
code .comment-delimiter { color: #ba55d3; }
code .doc               { color: #f0e68c; } /* like string */
code .docstring         { color: #ba55d3; } /* like comment */
code .preprocessor      { color: #f0e68c; }
code .constant          { color: #db7093; }
code .builtin           { color: #f4a460; }

/* For shell listings, IELM, etc. */
code .prompt        { color: #933; }