/* REVISION: 1 */
.panel-header p {
  margin: 0.35rem 0 0;
  color: var(--muted);
}