changeset 7174:65069004c2a2

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.
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 16 Feb 2018 02:13:28 +0100
parents 15f777cd19e6
children bedccdc47bd9
files kallithea/public/less/kallithea-variables.less kallithea/public/less/style.less
diffstat 2 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;
--- 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;