Fix a name in triqs theme

  modified:   doc/themes/triqs/layout.html