Simplify CSS classes for floats.

Fixes bug #8605 and probably parts of #8755 and #9328.

diff --git a/src/Floating.cpp b/src/Floating.cpp
index 03bde1fe249b9fee7ea0b3aebf09a25e12e9cb65..8309e79caa1297f47c313b4597f30dc3262e3e62 100644 (file)
--- a/src/Floating.cpp
+++ b/src/Floating.cpp
@@ -44,7 +44,7 @@ Floating::Floating(string const & type, string const & placement,
 string const & Floating::htmlAttrib() const
 {
        if (html_attrib_.empty())
-               html_attrib_ = "class='float " + defaultCSSClass() + "'";
+               html_attrib_ = "class='" + defaultCSSClass() + "'";
        return html_attrib_;
 }