mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-06 11:35:24 +08:00
Merge pull request #7665 from jdfreder/fixedmodeindi2
Fix the mode indicator width.
This commit is contained in:
commit
95ac0675c9
@ -30,8 +30,12 @@
|
||||
.indicator_area();
|
||||
}
|
||||
|
||||
.modal_indicator:before {
|
||||
.fa-fw();
|
||||
}
|
||||
|
||||
.edit_mode .modal_indicator:before {
|
||||
.icon(@fa-var-pencil)
|
||||
.icon(@fa-var-pencil);
|
||||
}
|
||||
|
||||
.command_mode .modal_indicator:before {
|
||||
|
8
IPython/html/static/style/style.min.css
vendored
8
IPython/html/static/style/style.min.css
vendored
@ -8925,6 +8925,7 @@ ul#new-menu {
|
||||
text-rendering: auto;
|
||||
-webkit-font-smoothing: antialiased;
|
||||
-moz-osx-font-smoothing: grayscale;
|
||||
transform: translate(0, 0);
|
||||
width: 20px;
|
||||
}
|
||||
.dirty-indicator.pull-left {
|
||||
@ -8940,6 +8941,7 @@ ul#new-menu {
|
||||
text-rendering: auto;
|
||||
-webkit-font-smoothing: antialiased;
|
||||
-moz-osx-font-smoothing: grayscale;
|
||||
transform: translate(0, 0);
|
||||
width: 20px;
|
||||
}
|
||||
.dirty-indicator-dirty.pull-left {
|
||||
@ -8955,6 +8957,7 @@ ul#new-menu {
|
||||
text-rendering: auto;
|
||||
-webkit-font-smoothing: antialiased;
|
||||
-moz-osx-font-smoothing: grayscale;
|
||||
transform: translate(0, 0);
|
||||
width: 20px;
|
||||
}
|
||||
.dirty-indicator-clean.pull-left {
|
||||
@ -8970,6 +8973,7 @@ ul#new-menu {
|
||||
text-rendering: auto;
|
||||
-webkit-font-smoothing: antialiased;
|
||||
-moz-osx-font-smoothing: grayscale;
|
||||
transform: translate(0, 0);
|
||||
content: "\f00c";
|
||||
}
|
||||
.dirty-indicator-clean:before.pull-left {
|
||||
@ -10671,6 +10675,10 @@ ul#help_menu li a i {
|
||||
text-align: center;
|
||||
width: auto;
|
||||
}
|
||||
.modal_indicator:before {
|
||||
width: 1.28571429em;
|
||||
text-align: center;
|
||||
}
|
||||
.edit_mode .modal_indicator:before {
|
||||
display: inline-block;
|
||||
font: normal normal normal 14px/1 FontAwesome;
|
||||
|
Loading…
Reference in New Issue
Block a user