From 3bc732ae0fcbc97871d8a042134374ed45a6dbd6 Mon Sep 17 00:00:00 2001 From: Lu Wang Date: Wed, 6 Feb 2013 20:52:53 +0800 Subject: [PATCH] ugly fix for FF --- share/base.css | 7 +++++-- src/util/StateManager.h | 3 --- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/share/base.css b/share/base.css index b941eb5..f96400e 100644 --- a/share/base.css +++ b/share/base.css @@ -163,8 +163,11 @@ span { page-break-inside:avoid; } @-moz-document url-prefix() { - /* fix page truncation for Firefox */ - .d {overflow:visible;} + /* fix page truncation for FireFox */ + .d { + overflow:visible; + border:1px solid #FFFFFF; + } .p {overflow:visible;} .b {overflow:visible;} } diff --git a/src/util/StateManager.h b/src/util/StateManager.h index 59a5963..b84f94a 100644 --- a/src/util/StateManager.h +++ b/src/util/StateManager.h @@ -66,9 +66,6 @@ public: } void dump_print_css(std::ostream & out, double scale) { - //debug - std::cout << imp->get_css_class_name << ' ' << scale << std::endl; - for(auto iter = value_map.begin(); iter != value_map.end(); ++iter) { out << "." << imp->get_css_class_name() << iter->second << "{";