/* This file can be used to add custom CSS rules to the web version of the
   blueprint, on top of those provided by the leanblueprint plasTeX plugin. */