/*styling for system buttons */
.dms-key {
  display: inline-block;
  background-color: #f6f8fa;
    border: 1px solid #9CA6BA;
    border-radius: 0.2rem;
    padding: 0.1rem 0.4rem;
    font-size: 0.8em;
    font-family: SFMono-Regular,Menlo,Monaco,Consolas,monospace;
    color: #24292f;
    margin-bottom: 0.15em;
    margin-right: 2px;
}
/* list padding */
li.pad {
 margin-bottom: 0.5em;
}