p.caption {
  color: #777;
  margin-top: 10px;
}
p code {
  white-space: inherit;
}
pre {
  word-break: normal;
  word-wrap: normal;
}
pre code {
  white-space: inherit;
}

li {
  margin-left: 24pt;
}

p.ex {
  background-color: #fff;
  margin-left: 24pt;
}

span.r {
  float: right;
}

div.example {
  border: 2px solid #eee;
  background-color: #fff;
  padding-left: 12pt;
  padding-right: 12pt;
  padding-bottom: 6pt;
  margin-top: 12pt;
  margin-bottom: 12pt;
  margin-left: 24pt;
  margin-right: 24pt;
}

td, th {
  background-color: #fff;
}

table.ex {
  border: 0pt solid black;
}

table.gwap, tr.grow, td.gword {
  border: none;
  padding: none;
  border-bottom: none;
  border-top: none;
}

.trans {
  font-size: 18pt;
  margin-top: 0;
  margin-left: .5ex;
}