UI tweaks

modules/game/gameinterface.otui

@@ -44,7 +44,7 @@ UIWidget
   GameSidePanel
     id: gameRightPanel
     layout: verticalBox
-    anchors.left: rightSplitter.left
+    width: 190
     anchors.right: parent.right
     anchors.top: parent.top
     anchors.bottom: parent.bottom
@@ -60,17 +60,6 @@ UIWidget
     @canUpdateMargin: function(self, newMargin) return math.max(math.min(newMargin, self:getParent():getHeight() - 300), 100) end
     @onGeometryChange: function(self) self:setMarginBottom(math.min(math.max(self:getParent():getHeight() - 300, 100), self:getMarginBottom())) end
 
-  Splitter
-    id: rightSplitter
-    anchors.right: parent.right
-    anchors.top: parent.top
-    anchors.bottom: parent.bottom
-    relative-margin: right
-    margin-right: 190
-    enabled: false
-    @canUpdateMargin: function(self, newMargin) return math.max(math.min(newMargin, self:getParent():getWidth() - 300), 150) end
-    @onGeometryChange: function(self) self:setMarginRight(math.min(math.max(self:getParent():getWidth() - 300, 150), self:getMarginRight())) end
-
   UIWidget
     id: mouseGrabber
     focusable: false

modules/game/styles/miniwindow.otui

@@ -5,7 +5,6 @@ MiniWindow < UIMiniWindow
   height: 200
   text-offset: 24 5
   text-align: topLeft
-  margin-bottom: 2
   image-source: /game/images/miniwindow.png
   image-border: 4
   image-border-top: 23
@@ -84,7 +83,8 @@ MiniWindowContents < ScrollablePanel
   id: contentsPanel
   anchors.fill: parent
   anchors.right: miniwindowScrollBar.left
-  padding: 24 5 3 5
+  margin-top: 19
+  padding: 3 5 3 5
   vertical-scrollbar: miniwindowScrollBar
 
 BorderlessGameWindow < UIWindow