common/defs.man: Set the font for the running headers as well as the body.

This involves switching environments.

diff --git a/common/defs.man b/common/defs.man
index 161f4e3b350193c01e9075a619eae573285cffb7..74752a9fbf74b47589e25b9b59781b372922d580 100644 (file)
--- a/common/defs.man
+++ b/common/defs.man
@@ -32,6 +32,9 @@
 .  ds se \d\s0
 .  if \n(.g \{\
 .    fam P
 .  ds se \d\s0
 .  if \n(.g \{\
 .    fam P

+.    ev an-1
+.    fam P
+.    ev

 .  \}
 .\}
 .el \{\
 .  \}
 .\}
 .el \{\