p.doc-description {
  margin-top: 5px;
  margin-bottom: 20px;
  margin-left: 20px;
}

h3.doc-description {
  margin-left: 20px;
}

p.doc-description-version {
  margin-bottom: 0px;
  margin-left: 5px;
}

div.panel-mint div.panel-heading {
  background-color: #26a69a;
}
div.panel-success div.panel-heading {
  background-color: #8bc34a;
}