From 68733533c81036537677dc09ea7d30937b7f95fa Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 20 Sep 2021 15:05:48 +0100
Subject: [PATCH] common/defs.man: Set the font for the running headers as well
 as the body.

This involves switching environments.
---
 common/defs.man | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common/defs.man b/common/defs.man
index 161f4e3b..74752a9f 100644
--- a/common/defs.man
+++ b/common/defs.man
@@ -32,6 +32,9 @@
 .  ds se \d\s0
 .  if \n(.g \{\
 .    fam P
+.    ev an-1
+.    fam P
+.    ev
 .  \}
 .\}
 .el \{\
-- 
2.11.0