body {
  margin: 0;
  padding: 0;
  font: 18px "ff-dagny-web-pro-1", "ff-dagny-web-pro-2";
  line-height: 1.7em;
  color: black;
  background: white;
}
h1, h2, h3, h4, h5 {
  font-family: "ff-tisa-web-pro-1", "ff-tisa-web-pro-2";
  font-weight: normal;
}
#container {
  width: 42em;
  margin-left: auto;
  margin-right: auto;
}
.menubar {
  color: #aaaaaa;
  line-height: 1.3em;
  margin-top: 0;
  padding-top: 0;
}
.menubar a {
  color: #aaaaaa;
  text-decoration: none;
}
.menubar a:hover { color: #004491; }
header {
  display: block;
  padding-bottom: 3em;
  padding-top: 0.3em;
}
article { display: block; }
div.update {
  background: #ffdddd;
  padding: 0.5em;
  margin-top: 1em;
  margin-bottom: 1em;
  -moz-border-radius: 0.3em;
  -webkit-border-radius: 0.3em;
  border-radius: 0.3em;
}
.update h3 {
  margin: 0;
  font-size: 1.1em;
}
#footer {
  margin-top: 3em;
  padding-bottom: 0.3em;
}
h2 {
  font-size: 1.8em;
  line-height: 1.2em;
  border-bottom: 1px solid #dddddd;
  padding-bottom: 0.2em;
  margin-bottom: -0.3em;
  margin-top: 0;
}
h3 { font-size: 1.3em; }
h1 {
  font-size: 2em;
  font-weight: normal;
  border-bottom: 1px solid #dddddd;
  padding-bottom: 8px;
}
article { padding-bottom: 48px; }
code {
  font-size: 0.9em;
  background: #f0f0f0;
  padding-left: 0.2em;
  padding-right: 0.2em;
  border: 1px solid #e0e0e0;
  -moz-border-radius: 0.2em;
  -webkit-border-radius: 0.2em;
  border-radius: 0.2em;
}
.highlight {
  background: yellow;
  margin-top: -0.3em;
}
.osx-shortcut {
  background: #f0f0f0;
  padding-left: 0.2em;
  padding-right: 0.2em;
  border: 1px solid #e0e0e0;
  -moz-border-radius: 0.2em;
  -webkit-border-radius: 0.2em;
  border-radius: 0.2em;
}
.meta {
  font-family: "ff-tisa-web-pro-1", "ff-tisa-web-pro-2";
  font-size: 0.9em;
  font-weight: bold;
  color: #999999;
  border-top: 1px solid #dddddd;
  padding-top: 0.1em;
  padding-bottom: 0.1em;
  margin-top: -0.6em;
}
.meta a {
  color: #004491;
  text-decoration: none;
  border-bottom: 1px dotted #d3dfee;
}
.content a {
  color: #004491;
  text-decoration: none;
  border-bottom: 1px dotted #d3dfee;
}
.related a {
  color: #004491;
  text-decoration: none;
  border-bottom: 1px dotted #d3dfee;
}
.meta a { font-weight: normal; }
.meta a:hover { border-bottom: 1px solid #d3dfee; }
.content a:hover { border-bottom: 1px solid #d3dfee; }
.related a:hover { border-bottom: 1px solid #d3dfee; }
.title a {
  color: black;
  text-decoration: none;
  border: none;
  padding: 0;
  margin: 0;
  background: white;
}
.title a:hover { border: none; }
.video {
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  padding-bottom: 0;
  text-align: center;
}
pre {
  font: 0.7em Monaco, monospace;
  line-height: 1.4em;
  display: block;
  color: white;
  background: #222222;
  -moz-border-radius: 0.3em;
  -webkit-border-radius: 0.3em;
  border-radius: 0.3em;
  padding: 0.6em;
}
.related {
  padding-top: 1em;
  color: #aaaaaa;
  font-family: "ff-tisa-web-pro-1", "ff-tisa-web-pro-2";
  font-size: 0.9em;
  line-height: 1.7em;
}
.related h3 {
  font-size: 1.2em;
  border-bottom: 1px solid #dddddd;
  padding-bottom: 0;
  margin-bottom: 0;
}
.related p { margin-top: 0.4em; }
.content p { margin-bottom: 1.3em; }
.s1, .s2, .sx, .mi { color: #aec4eb; }
.nb, .k, .o, .kp { color: #c4ebae; }
.ss { color: #ffcf87; }
.nf { color: #ffffa0; }
.vi { color: #ff9f9d; }
.c, .c1 { color: #a0a0a0; }