make margin font in LaTeX output configurable
Merge pull request #44 from SemanticsOS/lambdafu/marginfont

make margin font in LaTeX output configurable