/* -*- css -*- */
body {
  font-size: 14px;
  line-height: 24px;
  font-family: "Helvetica Neue", "Verdana", sans-serif;
}
#container {
  margin: 0 10px;
}
@media screen and (min-width: 740px) {
  #container {
    margin: 0 auto;
    max-width: 720px;
  }
}
header {
  margin: 24px 0 0 0;
  padding: 0 0 24px 0;
  border-bottom: 1px dotted #999;
  font-weight: bold;
  overflow: hidden;
}
header a {
  color: #000 !important;
  text-decoration: none;
}
header nav {
  float: left;
}
header #menu {
  float: right;
}
h1,
h2 {
  font-size: 24px;
  font-weight: normal;
}
#intro {
  font-size: 28px;
  line-height: 48px;
  font-weight: bold;
}
h1,
#intro {
  margin: 24px 0;
}
h1 img {
  vertical-align: bottom;
}
pre,
code {
  font-family: "Menlo", monospace;
}
p {
  margin: 0 0 24px 0;
}
img {
  max-width: 100%;
  height: auto;
}
article p {
  max-width: 660px;
}
#articles {
  list-style: none;
  padding: 0;
}
#articles li {
  margin: 0 0 24px 0;
  padding: 0;
}
ul ul {
  margin-top: 0;
}
blockquote {
  overflow: hidden;
}
blockquote p {
  width: 100%;
}
blockquote,
.translation {
  margin: 0 0 0 50px;
}
.translation {
  clear: both;
  overflow: hidden;
}
.translation blockquote {
  max-width: 300px;
  margin: 0 10px 0 0;
  border: none;
  float: left;
  padding: 0;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
}
footer,
#buttons {
  padding: 24px 0;
  border-top: 1px solid #999;
  margin-bottom: 24px;
}