@import url("theme.css");

.highlight a {
    text-decoration: underline;
}

.deprecated p {
    padding: 10px 7px 10px 10px;
    color: #b94a48;
    background-color: #F3E5E5;
    border: 1px solid #eed3d7;
}

.deprecated p span.versionmodified {
    font-weight: bold;
}

div.topic {
  padding: 0.5rem;
  background-color: #eee;
  margin-bottom: 1rem;
  border-radius: 0.25rem;
  border: 1px solid #CCC;
}