#menu-bar {
  position: fixed;
  top: 0;
  left: 0;
  box-sizing: border-box;
  width: 100%;
  height: 2.2em;
  text-align: left;
  padding: 0.3em;
  padding-right: 1em;
}
#menu-bar > div.user-name, #menu-bar > div.menu-user  {
  float: right;
  margin-left: 0.5em;
}
#menu-bar > div.menu-user {
  width: 2em;
  text-align: center;
}
#menu-header {
  font-weight: bold;
  display: inline-block;
}
#canvas {
  padding-top: 2.2em; /* Same as #menu-bar height */
}
#menu {
  cursor: default;
  box-sizing: border-box;
  position: fixed;
  top: 0;
  left: 0;
  width: 16em;
}
/* Make room for menu: padding-left equal to #menu width */
#menu-header, #canvas.menu-sidebar, #debug {
  padding-left: 16em;
}
.menu-content {
  overflow-x: hidden;
  overflow-y: auto;
}
/*
.menu-content::after {
  content: "";
  height: 2.2em; // Same as #menu-bar height
  display: block;
}
 */
#debug {
  background-color: #ffc;
  width: 100%;
}
.menu-title, .menu-item, .menu-tree, .menu-pin, #menu-bar {
  color: #fff;
  background-color: #444;
}
.menu-title:hover, .menu-item:hover, .menu-pin:hover, .menu-user:hover {
  background-color: #333;
}
.menu-item.menu-focus {
  background-color: #222;
}
/* Avoid content offset due to margin-top of first element in content */
#canvas > .content > :first-child, #canvas > .content > h1:first-of-type {
  margin-top: 0;
}
#canvas {
  margin-bottom: 3em;
}

/* TODO */
.menu-tree {
  display: none;
}
.menu-open + .menu-tree, #menu.menu-open > .menu-content > .menu-tree {
  display: block;
}
.menu-tree {
  padding-left: 2em;
}
#menu > .menu-content > .menu-tree {
  padding-left: 0;
}
#menu .menu-pin, #menu-bar .menu-user {
  border-left: solid 0.05em #666;
  border-right: solid 0.05em #666;
}
#menu > .menu-content > .menu-tree > :last-child {
  border-bottom: solid 0.05em #666;
}
.menu-item {
  border-top: solid 0.05em #666;
  border-left: solid 0.05em #666;
  width: 100%;
  position: relative;
}
.menu-item:first-child {
  border-top: 0;
}
.menu-item.menu-open {
  border-bottom: solid 0.05em #666;
}
#menu > .menu-content > .menu-tree {
  border-top: solid 0.05em #666;
  padding-bottom: 0.7em;
}
.menu-section {
  border-top: solid 0.05em #666;
  border-left: solid 0.05em #666;
  width: 100%;
  position: relative;
  text-align: center;
  padding-top: 1em;
  padding-bottom: 0.3em;
}
.menu-title::before, .menu-item::before, .menu-caret, .menu-pin::before {
  text-align: center;
}
/* Copied from font-awesome/css/all.css, with added ::before so that it only
   applies to the ::before pseudo-class and not to the element's contents */
[class^="fa-"]::before, [class*=" fa-"]::before, .menu-caret
{
  /* use !important to stop browser extensions that change fonts */
  font-family: "Font Awesome 5 Free" !important;
  speak: none;
  font-style: normal;
  font-weight: 900;
  font-variant: normal;
  text-transform: none;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}
/* Copied from font-beetle/style.css, with added ::before so that it only
   applies to the ::before pseudo-class and not to the element's contents */
[class^="icon-"]::before, [class*=" icon-"]::before {
  font-family: 'icomoon' !important;
  speak: none;
  font-style: normal;
  font-weight: normal;
  font-variant: normal;
  text-transform: none;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}
/* Reset text properties changed by font-beetle/style.css so that they don't
   apply to the element's contents */
.menu-item[class^="icon-"], .menu-item[class*=" icon-"],
.menu-pin[class^="icon-"], .menu-pin[class*=" icon-"] {
  font-family: inherit !important;
  font-style: inherit;
  font-weight: inherit;
  font-variant: inherit;
  text-transform: inherit;
  line-height: inherit;
  -webkit-font-smoothing: inherit;
  -moz-osx-font-smoothing: inherit;
}
.menu-title::before, .menu-item::before, .menu-pin::before {
  box-sizing: border-box;
  padding: 0.3em;
  display: inline-block;
  width: 2em;
}
.menu-item::before, .menu-title::before {
  border-right: solid 0.05em #666;
}
.menu-item > div:first-child {
  display: inline-block;
  width: 1em;
}
.menu-caret {
  padding-top: 0.3em;
}
.menu-pin {
  display: inline-block;
  float: right;
}
.if-admin {
  display: none;
}
.hidden {
  display: none;
}