Reverting the "no title when maximized" change, better tab style,

Editor tab icon now correctly set to the left of the label

(see issue #3446)
This commit is contained in:
Hombre
2016-11-03 00:36:35 +01:00
parent 965cadb52e
commit 6438645b21
3 changed files with 20 additions and 14 deletions

View File

@@ -534,6 +534,19 @@ paned > separator {
padding: 0;
}
#MainNotebook > header.left tab image {
margin: 0.5em 0 0 0;
}
#MainNotebook > header.top tab image {
margin: 0 0.5em 0 0;
}
#MainNotebook > header.left tab {
margin: 0.5em 0 0.5em 0;
}
#MainNotebook > header.top tab {
margin: 0 0.5em 0 0.5em;
}
#MainNotebook header {
/* OK */
background-color: #2A2A2A;