[gnome-calculator] Potential fix for infoview black box (bgo#793157)

[Robert Roth <robertroth src gnome org>]

commit caf53bb4a21b9b0473abd0ba72f92641204cdaf9
Author: Robert Roth <robert roth off gmail com>
Date:   Thu Feb 8 00:01:39 2018 +0200

    Potential fix for infoview black box (bgo#793157)

 src/calculator.css    |   22 +++++++++-------------
 src/math-display.vala |    4 ++--
 2 files changed, 11 insertions(+), 15 deletions(-)
---
diff --git a/src/calculator.css b/src/calculator.css
index 4b86070..a97b1e8 100644
--- a/src/calculator.css
+++ b/src/calculator.css
@@ -1,13 +1,13 @@
-.history-view {
-  border-width: 0 0 1px 0;
-}
-
 .sourceview {
   padding: 0px 12px;
+  padding-bottom: 8px;
+  padding-left: 0px;
+  font-size: 1.4em;
+
 }
 
 .info-view {
-  padding: 0px 12px;
+  padding: 0px;
   padding-bottom: 4px;
 }
 
@@ -19,9 +19,6 @@ window > grid {
   padding: 12px;
 }
 
-.display-scrolled .sourceview {
-  padding-bottom: 8px;
-}
 
 .math-buttons button {
 }
@@ -43,6 +40,10 @@ window > grid {
 .bit-marker-label {
 }
 
+.history-view {
+  border-width: 0 0 1px 0;
+}
+
 .history-view, .history-entry {
   background-color: shade(@theme_base_color, .95);
 }
@@ -51,11 +52,6 @@ window > grid {
   background-color: shade(@theme_unfocused_base_color, .97);
 }
 
-.sourceview {
-  padding-left: 0px;
-  font-size: 1.4em;
-}
-
 .history-entry {
   border-top: 1px groove @borders;
   padding: 6px 3px;
diff --git a/src/math-display.vala b/src/math-display.vala
index 69ae0bf..4b1a17c 100644
--- a/src/math-display.vala
+++ b/src/math-display.vala
@@ -67,8 +67,8 @@ public class MathDisplay : Gtk.Viewport
         info_view.set_wrap_mode (Gtk.WrapMode.WORD);
         info_view.set_can_focus (false);
         info_view.set_editable (false);
-        /* TEMP: Disabled for now as GTK+ doesn't properly render a right aligned right margin, see bug 
#482688 */
-        /*info_view.set_right_margin (6);*/
+        info_view.set_left_margin (12);
+        info_view.set_right_margin (12);
         info_box.pack_start (info_view, true, true, 0);
         info_buffer = info_view.get_buffer ();