kallithea Changeset - 65069004c2a2

Changeset - 65069004c2a2

Parent rev.

Child rev.

[Not reviewed]

default

0 2 0

Mads Kiilerich - 8 years ago 2018-02-16 02:13:28
mads@kiilerich.com

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.

2 files changed with 8 insertions and 0 deletions:

kallithea/public/less/kallithea-variables.less

kallithea/public/less/style.less

0 comments (0 inline, 0 general)

kallithea/public/less/kallithea-variables.less

➞

Show inline comments

 /* 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;

kallithea/public/less/style.less

➞

Show inline comments

@@ @@ -89,6 +89,11 @@ nav.navbar.mainmenu > .navbar-header > . @@
   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;

0 comments (0 inline, 0 general)