html, body {
  height: 100%;
}

body {
  font: 13px Arial;
  margin: 0 auto;
  width: 860px;
}

code, pre {
  color: green;
}

#info-column {
  color: white;
  float: right;
  width: 285px;
  height: 100%;
}

#inner-info-column {
  float: right;
  width: 250px;
  font-size: 12px;
  height: 100%;
  padding: 0 5px;
  background-color: rgb(0, 168, 168);
}

.rough-cuts-cover {
  margin-top: 10px;
  margin-bottom: 6px;
  width: 250px;
  border: 1px solid white;
}

.sidebar-anchor {
  color: white;
}

#content {
  width: 600px;
}

h1 {
  font-size: 24px;
  margin-top: 0;
  margin-bottom: 4px;
}

h2 {
  font-size: 16px;
}

ul {
  list-style: none;
  margin: 15px 0 0;
  padding-left: 0;
}

li {
  margin-bottom: 13px;
}

.example-title {
  font-weight: bold;
}