On Sun, 17 Apr 2016, Gerald Pfeifer wrote: > When I initially created this in the early 2000s, CSS did barely > exist and was hardly used. Now in 2016 it makes sense to use it > fully (a first phase of conversation happened a few years ago) > and reduce our dependency on MetaHTML even further.
After that change, we can now simplify things further. Committed. Gerald Remove now obsolete nav-title-style and nav-body-style MetaHTML functions. Index: style.mhtml =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.129 diff -u -r1.129 style.mhtml --- style.mhtml 21 Apr 2016 23:04:36 -0000 1.129 +++ style.mhtml 23 Apr 2016 16:13:06 -0000 @@ -3,8 +3,6 @@ <set-var XHTML> <set-var BACKPATH> -<define-function nav-title-style> class="td_title" </define-function> -<define-function nav-body-style> class="td_con" </define-function> ;;; The "install/" pages are HTML, not XHTML.