@media print {
  html,
  body {
    display: none; /* hide whole page */
  }
}

#pattern_detail .ql-viewer,
.Image.clickable-element,
.Button.clickable-element
.clickable-element .Image {
  -moz-user-select: none;
  -o-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

/* temp hack for nav bar height */
#ghdc {
  height: 60px !important;
}
#ghdc > .bubble-r-line:first-child {
  height: 0 !important;
}
#ghc3 {
  height: 61px !important;
}