Release-1.2.5-20010304

1 files changed, 1 insertions, 7 deletions

diff --git a/src/htmlgen.h b/src/htmlgen.h
index c0fb455..baa73a3 100644
--- a/src/htmlgen.h
+++ b/src/htmlgen.h
@@ -115,13 +115,7 @@ class HtmlGenerator : public OutputGenerator
     void writeAnchor(const char *,const char *name) 
                          { t << "<a name=\"" << name <<"\"></a>"; }
     void startCodeFragment() { t << "<div class=\"fragment\"><pre>"; }
-    void endCodeFragment()   { t << "</div></pre>"; } // <- I know this is 
-                                                      //    ordered the wrong
-                                                      //    way, but it is
-                                                      //    the only way I know
-                                                      //    to prevent an extra
-                                                      //    blank line 
-                                                      //    (with netscape)
+    void endCodeFragment()   { t << "</pre></div>"; } 
     void startPreFragment() { t << "<pre>"; }
     void endPreFragment()   { t << "</pre>"; }
     void startCodeLine() { col=0; }