# HG changeset patch
# User Mads Kiilerich <mads@kiilerich.com>
# Date 1518743608 -3600
# Node ID 65069004c2a2b3abed68be11ab4164b103392d74
# Parent  15f777cd19e60c382fb373b6c01308a6855d040a
less: reduce space around panels and thus make pages more dense

Based on work by Dominik Ruf, but aiming for 10px space both horizontally and
vertically.

Vertical space below panels is hardcoded to @line-height-computed in Bootstrap,
so we need extra styling to override that.

diff -r 15f777cd19e6 -r 65069004c2a2 kallithea/public/less/kallithea-variables.less
--- a/kallithea/public/less/kallithea-variables.less	Fri Feb 16 01:41:45 2018 +0100
+++ b/kallithea/public/less/kallithea-variables.less	Fri Feb 16 02:13:28 2018 +0100
@@ -1,6 +1,7 @@
 /* basic variables */
 @kallithea-theme-main-color:        #577632;
 @kallithea-theme-inverse-color:     #FFF;
+@kallithea-panel-margin:            10px;
 
 /* logo */
 @kallithea-logo-url:                "../images/kallithea-logo.svg";
@@ -14,6 +15,7 @@
 @btn-default-bg:                    #E7E7E7;
 @font-family-monospace:             Lucida Console, Consolas, Monaco, Inconsolata, Liberation Mono, monospace;
 @navbar-height:                     36px;
+@navbar-margin-bottom:              @kallithea-panel-margin;
 @navbar-inverse-color:              @kallithea-theme-inverse-color;
 @navbar-inverse-bg:                 @kallithea-theme-main-color;
 @navbar-inverse-border:             @kallithea-theme-main-color;
@@ -27,6 +29,7 @@
 @nav-link-padding:                  8px 10px; /* default: 10px 15px */
 @dropdown-link-color:               @navbar-inverse-color;
 @dropdown-bg:                       @navbar-inverse-bg;
+@grid-gutter-width:                 2 * @kallithea-panel-margin; /* default: 30px */
 @panel-heading-padding:             5px 15px; /* default: 10px 15px */
 @headings-font-weight:              700;
 @table-cell-padding:                2px 4px;
diff -r 15f777cd19e6 -r 65069004c2a2 kallithea/public/less/style.less
--- a/kallithea/public/less/style.less	Fri Feb 16 01:41:45 2018 +0100
+++ b/kallithea/public/less/style.less	Fri Feb 16 02:13:28 2018 +0100
@@ -89,6 +89,11 @@
   overflow-x: visible;
 }
 
+/* margin below top level panels */
+#main > .panel {
+  margin-bottom: @kallithea-panel-margin;
+}
+
 /* search highlighting */
 div.search-code-body pre .match {
   background-color: @highlight-color;