File: menubar.less

package info (click to toggle)
jupyter-notebook 4.2.3-4~bpo8%2B1
  • links: PTS, VCS
  • area: main
  • in suites: jessie-backports
  • size: 7,804 kB
  • sloc: python: 8,698; makefile: 240; sh: 74
file content (26 lines) | stat: -rw-r--r-- 433 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
.selected-keymap {
  i.fa {
    padding: 0px 5px;
  }
  i.fa:before {
    content: @fa-var-check;
  }
}

#mode-menu {
  // truncate mode-menu, so it doesn't get longer than the screen
  overflow: auto;
  max-height: 20em;
}

.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;
  }
}