div.b-tag small {
  color: gray; }
div.b-tag a.filter {
  font-size: 80%;
  float: right; }
div.b-tag a.doc {
  font-size: 60%;
  vertical-align: super; }
div.b-tag div.list {
  margin-top: 10px; }
  div.b-tag div.list > div h3 {
    display: inline; }
  div.b-tag div.list > div p {
    margin: 5px; }
  div.b-tag div.list > div small.reception a, div.b-tag div.list > div span.tags a {
    margin: 0 5px; }
div.b-tag div.pager {
  margin-top: 10px; }
  div.b-tag div.pager a.current {
    text-decoration: none; }