##// END OF EJS Templates
use stdout.encoding for decoding pretty bytes...
use stdout.encoding for decoding pretty bytes ensures correct decoding for objects that have queried sys.stdout.encoding for computing repr bytes.

File last commit:

r20149:1bf09c8a
r21158:704527aa
Show More
menubar.less
26 lines | 433 B | text/x-less | LessCssLexer
Min RK
basic LESS for editor
r19305 .selected-keymap {
i.fa {
padding: 0px 5px;
}
i.fa:before {
content: @fa-var-check;
}
}
Min RK
add Mode menu to editor
r19319
#mode-menu {
// truncate mode-menu, so it doesn't get longer than the screen
overflow: auto;
max-height: 20em;
Jonathan Frederic
Improve edit app
r19660 }
.edit_app {
#header {
.box-shadow(@global-shadow);
}
#menubar .navbar {
/* Use a negative 1 bottom margin, so the border overlaps the border of the
header */
margin-bottom: -1px;
}
}