/**
 * @file
 * TOC menu styling
 */

.node .toc-menu {
  margin: 2em 0;
}

.toc-menu select {
  width: 100%;
  max-width: 100%;
}