Minor layout fixes.

examples/scholarly/IsaDofApplications.thy

@@ -8,7 +8,6 @@ open_monitor*[this::article]
 
 title*[tit::title]\<open>Using the Isabelle Ontology Framework\<close> 
 subtitle*[stit::subtitle]\<open>Linking the Formal with the Informal\<close>
-term scholarly_paper.author
 text*[adb:: author,
       email="''a.brucker@sheffield.ac.uk''",
       orcid="''0000-0002-6355-1200''",

examples/scholarly/document/lstisadof.sty

@@ -76,6 +76,7 @@
   ,literate={%
     {...}{\,\ldots\,}3%
     {\\<Open>}{\ensuremath{\isacartoucheopen}}1%
+    {\\at}{@}1%
     {\\<Close>}{\ensuremath{\isacartoucheclose}}1%
     {\\<Gamma>}{\ensuremath{\Gamma}}1%
     {\\<times>}{\ensuremath{\times}}1%