.dry-document {
}
.document {
  & > .document:last-child {
    margin-bottom: 0;
  }

  /* 
    Sometimes the document has no content; in that event,
    we hide it, so that it takes no space on the page. 
  */
  &:empty {
    display: none;
  }

  & .tag {
    margin-bottom: 12px;
  }
}