The changes in the CREATE POLICY man page from commit
87c2a17f triggered a stylesheet bug that
created some warning messages and incorrect output.  This installs a
workaround.

Also improve the whitespace a bit so it looks better.