body { background: #f8f9fa; }
.font-monospace { font-size: 0.82rem; }
.navbar { box-shadow: 0 1px 3px rgba(0,0,0,.15); }
.card { box-shadow: 0 1px 4px rgba(0,0,0,.07); }
dt { font-weight: 500; font-size: .875rem; }
dd { font-size: .875rem; }