Adapt header in menu (#1504)

5 jobs from master in 6 minutes and 45 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #7178
build_bionic

00:02:40

passed #7177
build_stretch

00:03:07

 
  Sign
passed #7179
sign

00:00:28

 
  Deploy
passed #7180
pages

00:00:27

passed pages:deploy

00:00:01