Merge branch 'doc-style' into 'master'

More conventions in style guide

See merge request !297
6 jobs for master in 19 minutes and 24 seconds (queued for 10 minutes and 9 seconds)
Status Job ID Name Coverage
  Build
passed #38775
fp
build-coq.8.10.dev

00:12:42

passed #38779
fp
build-coq.8.7.2

00:05:26

passed #38778
fp
build-coq.8.8.2

00:05:47

passed #38777
fp-timing
build-coq.8.9.0

00:05:38

passed #38776
fp
build-coq.8.9.1

00:06:46

passed #38774
fp
build-coq.dev

00:14:09