.document{
  margin: 10px 0;
}

#document_title{
  color: #017ce5;
  font-weight: bold;
  font-size: 1.5em;
  margin-top: 15px;
}

#document_body{
}