diff options
| -rw-r--r-- | public/css/style.css | 10 | ||||
| -rw-r--r-- | public/js/mv/chart.js | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/public/css/style.css b/public/css/style.css index bad0275..2272814 100644 --- a/public/css/style.css +++ b/public/css/style.css @@ -52,10 +52,6 @@ body { width: 250px; } -#main, .side { - font-size: smaller; -} - /* Titles */ h3 { margin: 0; @@ -190,10 +186,14 @@ p.filterinfo { border-left: 1px black solid; border-bottom: 1px black solid; display: none; - height: 200px; + height: 208px; overflow-y: scroll; } +#connect-status a { + font-size: smaller; +} + #users-status .channel { border: 1px gray solid; margin: 0 2em; diff --git a/public/js/mv/chart.js b/public/js/mv/chart.js index a21cd7b..d2eedd4 100644 --- a/public/js/mv/chart.js +++ b/public/js/mv/chart.js @@ -33,7 +33,7 @@ var mv = function(mv) { ; mv.charts.map = height(monoGroup(margined(wide(dc.bubbleChart("#map-chart"))) , "map") - , 500) + , 655) .colorCalculator(d3.scale.category20c()) /* X */ .keyAccessor(function(d) { return d.value.e + 1; }) |