I’m undecided between marginal notes and <details> tags for references. Marginal notes are tricky to position and mean the body text can’t be centred on the page, but “details” require extra clicks from the reader.