Merge "Recover from missing #beginSession."
diff --git a/client/css/style.css b/client/css/style.css
index 56536a2..7cb6f74 100644
--- a/client/css/style.css
+++ b/client/css/style.css
@@ -90,6 +90,7 @@
.de-text {
white-space: pre-wrap;
+ min-height: 1em;
}
.de-section, .de-shader-program, .de-shader, .de-egl-config-set, .de-build-info, .de-image-set {
diff --git a/client/js/directives.js b/client/js/directives.js
index 4a73c2f..e2ce122 100644
--- a/client/js/directives.js
+++ b/client/js/directives.js
@@ -99,8 +99,11 @@
var leftElemWidthRatio = barLeftRatio;
var rightElemWidthRatio = 1.0 - barWidthRatio - barLeftRatio;
- leftElem.width(percentStr(leftElemWidthRatio - pads(leftElem)/containerElem.width()));
- rightElem.width(percentStr(rightElemWidthRatio - pads(rightElem)/containerElem.width()));
+ // on some configurations (precision issues?) we need to give some leeway for the implementation
+ var errorTolerance = 0.01;
+
+ leftElem.width(percentStr(leftElemWidthRatio - pads(leftElem)/containerElem.width() - errorTolerance));
+ rightElem.width(percentStr(rightElemWidthRatio - pads(rightElem)/containerElem.width() - errorTolerance));
currentBarLeftRatio = barLeftRatio;
}