/*
 .dropdown-menu.globaltoc {
  overflow: scroll;
}
*/

.dropdown-menu.globaltoc {
  max-height: calc(100vh - 50px); /* 50px is "whatever $("#navbar") height is" */
  overflow: scroll;
}