body {
  padding-top: 60px; /* 60px to make the container go all the way to the bottom of the topbar */
}

dl.inline dt, dl.inline dd {
  float: left;
}

dl.inline dd + dt, dl.inline dd + dd {
  clear: left
}

dl.inline dd + dd {
  float: none
}

dl.inline dt {
  font-weight: bold
}

th.descending:after {
  padding-left: 5px;
  content: "▼";
}

th.ascending:after {
  padding-left: 5px;
  content: "▲";
}

th.unselected:after {
  padding-left: 5px;
  content: "　";
}

body {
  /* Add space for fixed position navbar. */
  padding-top: 60px;
}

@media (max-width: 979px) {
  body {
    /* Mobile devices 979px and narrower use a statically positioned navbar */
    /* and therefore need no padding for the <body>. */
    /* */
    /* @see http://twitter.github.io/bootstrap/scaffolding.html#responsive */
    padding-top: 0;
  }
}

dl.inline dt, dl.inline dd {
  float: left;
}

dl.inline dd + dt, dl.inline dd + dd {
  clear: left
}

dl.inline dd + dd {
  float: none
}

dl.inline dt {
  font-weight: bold
}

th.descending:after {
  padding-left: 5px;
  content: "▼";
}

th.ascending:after {
  padding-left: 5px;
  content: "▲";
}

th.unselected:after {
  padding-left: 5px;
  content: "　";
}

Remove 60px <body> padding for mobile devices.
Remove 60px <body> padding for mobile devices.

Mobile devices 979px and narrower use a statically positioned navbar
and therefore need no padding for the <body>.

See http://twitter.github.io/bootstrap/scaffolding.html#responsive

From: Ross Allen <4ed793e095872e523cb2d9ff6e599dba3478be1c@gmail.com>
Review: https://reviews.apache.org/r/12279
