File tree 2 files changed +6
-1
lines changed
2 files changed +6
-1
lines changed Original file line number Diff line number Diff line change 19
19
<!-- Sidebar -->
20
20
< div id ="sidebar ">
21
21
<!-- Menu -->
22
- < ul style =" margin-top:25px; " >
22
+ < ul >
23
23
< li data-event ="sidebar-run "> < span class ="glyphicon glyphicon-play " aria-hidden ="true "> </ span > < span data-string ="Run code "> </ span > < span id ="run-version "> </ span > </ li >
24
24
< li data-event ="sidebar-clear "> < span class ="glyphicon glyphicon-erase " aria-hidden ="true "> </ span > < span data-string ="Clear "> </ span > </ li >
25
25
< li data-event ="sidebar-import "> < span class ="glyphicon glyphicon-open-file " aria-hidden ="true "> </ span > < span data-string ="Import from file "> </ span > </ li >
Original file line number Diff line number Diff line change @@ -217,6 +217,11 @@ function renderApp(refresh) {
217
217
container : 'body' ,
218
218
delay : { show : 400 }
219
219
} ) ;
220
+
221
+ // Padding sidebar buttons to not be under traffic lights
222
+ if ( conf . get ( 'system.os' ) === 'osx' ) {
223
+ $ ( '#sidebar ul' ) . css ( 'margin-top' , '22px' ) ;
224
+ }
220
225
}
221
226
222
227
// Populate language list
You can’t perform that action at this time.
0 commit comments