changed colors and padding

This commit is contained in:
Ingolf Wagner 2018-10-07 11:15:22 +02:00
parent 297367aaa5
commit 0653440b3d
2 changed files with 13 additions and 6 deletions

View file

@ -1,10 +1,10 @@
@color-code-background: rgb(197, 196, 159);
@color-code-border: rgb(175, 163, 94);
@color-code-background: rgb(224, 224, 206);
@color-code-border: rgb(223, 210, 142);
@color-code-inline: rgb(22, 34, 0);
@color-note-background: rgb(159, 197, 159);
@color-note-border: rgb(42, 83, 4);
@color-note-background: rgb(182, 201, 182);
@color-note-border: rgb(172, 216, 132);
@color-warning-background: rgba(188, 32, 11, 0.55);

View file

@ -4,6 +4,9 @@
@import "media-types.less";
@import "font.less";
// left and right for notes and warning and and code blocks
@special-info-padding-side: 0.5em;
body {
margin: 0px;
@ -154,7 +157,7 @@ pre {
margin-left: 0em;
margin-right: 0em;
padding-left: .3em;
padding-left: @special-info-padding-side;
padding-top: .7em;
padding-right: .0em;
padding-bottom: 0.7em;
@ -193,6 +196,7 @@ p {
background: @color-note-background;
border-left: .4em solid @color-note-border;
padding-left: 0px;
padding-top: .4em;
padding-bottom: .4em;
@ -200,7 +204,7 @@ p {
p {
.block-margin();
margin-left: .3em;
margin-left: @special-info-padding-side;
padding-top: .0em;
padding-bottom: 0.0em;
@ -212,6 +216,9 @@ p {
.block-margin();
margin-left: 0;
padding-left: @special-info-padding-side * 2 ;
padding-right: @special-info-padding-side * 2 ;
padding-top: .6em;
padding-bottom: 0.4em;