p.right { text-align: right; }
.definition { background-color: rgb(255,255,0); }
.important { background-color: rgb(255,92,92); }
.bibentry { margin-bottom: 0.7ex; }
span.title { font-style: italic; }