Add a very light dashed underline back to glossary terms.

Gently indicate which links are glossary terms versus regular links,
without introducing too-dark underlines that could clutter the
text. This is especially important for mobile devices where there
is no hover event to help indicate the type of link. (#308)