/* --- PGP KEYS PAGE STYLES --- */
.pgp-keys {
  margin: 1rem 0;
  padding: 0;
  max-width: 700px;
  font-family: "Courier New", Courier, monospace;
  color: #ccc;
}

.pgp-keys dt {
  font-weight: bold;
  margin-top: 1rem;
  margin-bottom: 0.25rem;
  color: #eee;
}

.pgp-keys .key-id {
  font-weight: normal;
  color: #aaa;
  margin-left: 0.5rem;
}

.pgp-keys dd {
  margin: 0 0 1rem 2rem; /* indented slightly for readability */
  line-height: 1.4;
}

.pgp-keys dd pre {
  background-color: #000;
  color: #ccc;
  padding: 1rem;
  margin: 0.5rem 0 0 0;
  overflow-x: auto;
  white-space: pre-wrap;
  word-break: break-word;
  border-left: 2px solid #444;
}