Decrease main content size
Allows for displying the full version on 1024px wide screens with a bit
of a buffer for window chrome.
diff --git a/static/css/style.less b/static/css/style.less
index 9bc4620..360325a 100644
--- a/static/css/style.less
+++ b/static/css/style.less
@@ -12,12 +12,12 @@
@mono: 'Ubuntu Mono', monospace;
@side_size: 250px;
-@main_size: 755px;
+@main_size: 740px;
@border_color: #C2C2C2;
@pag_label_size: 60px;
@logo_size: 150px;
-@total_size: (@side_size + @main_size + 15px);
+@total_size: (@side_size + @main_size + 16px);
body {
margin: 0;