diff --git a/doc/gf-editor-modes.t2t b/doc/gf-editor-modes.t2t
index 603025834..ffa6473ea 100644
--- a/doc/gf-editor-modes.t2t
+++ b/doc/gf-editor-modes.t2t
@@ -1,12 +1,6 @@
 Editor modes & IDE integration for GF
 
 
-%!style:../css/style.css
-%!options(html): --toc
-%!postproc(html): <TITLE> <meta name = "viewport" content = "width = device-width"><TITLE>
-%!encoding:utf-8
-%!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>
-
 We collect GF modes for various editors on this page. Contributions are
 welcome!