@@ -589,11 +589,11 @@ div.note + div.note { margin-top: ◊x-lineheight[2]; } - span.disposition-mark { + .disposition-mark { color: ◊color-xrefmark; position: relative; top: -0.5em; font-size: 0.83em; }