1
0
mirror of https://github.com/horst3180/arc-theme.git synced 2024-10-27 19:04:02 +00:00

be more careful with notebook margins (fix #503)

This commit is contained in:
Horst3180 2016-05-01 16:40:39 +02:00
parent 813b0b3d9e
commit 3798cbce4f
7 changed files with 54 additions and 1 deletions

View File

@ -1638,6 +1638,14 @@ notebook {
border: 1px solid #2b2e39; } border: 1px solid #2b2e39; }
notebook.frame > header { notebook.frame > header {
margin: -1px; } margin: -1px; }
notebook.frame > header.top {
margin-bottom: 0; }
notebook.frame > header.bottom {
margin-top: 0; }
notebook.frame > header.left {
margin-right: 0; }
notebook.frame > header.right {
margin-left: 0; }
notebook.frame > header.top, notebook.frame > header.bottom { notebook.frame > header.top, notebook.frame > header.bottom {
padding-left: 0; padding-left: 0;
padding-right: 0; } padding-right: 0; }

View File

@ -1637,6 +1637,14 @@ notebook {
border: 1px solid #dcdfe3; } border: 1px solid #dcdfe3; }
notebook.frame > header { notebook.frame > header {
margin: -1px; } margin: -1px; }
notebook.frame > header.top {
margin-bottom: 0; }
notebook.frame > header.bottom {
margin-top: 0; }
notebook.frame > header.left {
margin-right: 0; }
notebook.frame > header.right {
margin-left: 0; }
notebook.frame > header.top, notebook.frame > header.bottom { notebook.frame > header.top, notebook.frame > header.bottom {
padding-left: 0; padding-left: 0;
padding-right: 0; } padding-right: 0; }

View File

@ -1638,6 +1638,14 @@ notebook {
border: 1px solid #2b2e39; } border: 1px solid #2b2e39; }
notebook.frame > header { notebook.frame > header {
margin: -1px; } margin: -1px; }
notebook.frame > header.top {
margin-bottom: 0; }
notebook.frame > header.bottom {
margin-top: 0; }
notebook.frame > header.left {
margin-right: 0; }
notebook.frame > header.right {
margin-left: 0; }
notebook.frame > header.top, notebook.frame > header.bottom { notebook.frame > header.top, notebook.frame > header.bottom {
padding-left: 0; padding-left: 0;
padding-right: 0; } padding-right: 0; }

View File

@ -1637,6 +1637,14 @@ notebook {
border: 1px solid #dcdfe3; } border: 1px solid #dcdfe3; }
notebook.frame > header { notebook.frame > header {
margin: -1px; } margin: -1px; }
notebook.frame > header.top {
margin-bottom: 0; }
notebook.frame > header.bottom {
margin-top: 0; }
notebook.frame > header.left {
margin-right: 0; }
notebook.frame > header.right {
margin-left: 0; }
notebook.frame > header.top, notebook.frame > header.bottom { notebook.frame > header.top, notebook.frame > header.bottom {
padding-left: 0; padding-left: 0;
padding-right: 0; } padding-right: 0; }

View File

@ -1641,6 +1641,14 @@ notebook {
border: 1px solid #dcdfe3; } border: 1px solid #dcdfe3; }
notebook.frame > header { notebook.frame > header {
margin: -1px; } margin: -1px; }
notebook.frame > header.top {
margin-bottom: 0; }
notebook.frame > header.bottom {
margin-top: 0; }
notebook.frame > header.left {
margin-right: 0; }
notebook.frame > header.right {
margin-left: 0; }
notebook.frame > header.top, notebook.frame > header.bottom { notebook.frame > header.top, notebook.frame > header.bottom {
padding-left: 0; padding-left: 0;
padding-right: 0; } padding-right: 0; }

View File

@ -1641,6 +1641,14 @@ notebook {
border: 1px solid #dcdfe3; } border: 1px solid #dcdfe3; }
notebook.frame > header { notebook.frame > header {
margin: -1px; } margin: -1px; }
notebook.frame > header.top {
margin-bottom: 0; }
notebook.frame > header.bottom {
margin-top: 0; }
notebook.frame > header.left {
margin-right: 0; }
notebook.frame > header.right {
margin-left: 0; }
notebook.frame > header.top, notebook.frame > header.bottom { notebook.frame > header.top, notebook.frame > header.bottom {
padding-left: 0; padding-left: 0;
padding-right: 0; } padding-right: 0; }

View File

@ -1735,7 +1735,12 @@ notebook {
border: 1px solid $borders_color; border: 1px solid $borders_color;
> header { > header {
margin: -1px; // ugly hack to hide the borders around the header // ugly hack to hide the borders around the header
margin: -1px;
&.top { margin-bottom: 0; }
&.bottom { margin-top: 0; }
&.left { margin-right: 0; }
&.right { margin-left: 0; }
&.top, &.bottom { padding-left: 0; padding-right: 0; } &.top, &.bottom { padding-left: 0; padding-right: 0; }
&.left, &.right { padding-top: 0; padding-bottom: 0; } &.left, &.right { padding-top: 0; padding-bottom: 0; }