.deck-frame {
  display: block;
  width: 940px;
  margin: 16px auto 24px auto;
  height: 600px;
  box-shadow: 0 5px 10px rgba(0, 0, 0, 0.3);
}
.no-boxshadow .deck-frame {
  border: 1px solid #e4e4e4;
}

.theme-menu {
  display: none;
  float: left;
  color: #888;
  border-left: 1px solid #555;
  border-right: 1px solid #555;
  line-height: 32px;
  height: 32px;
  font-family: sans-serif;
  padding-right: 15px;
  margin-left: 15px;
}
.js .theme-menu {
  display: block;
}
.theme-menu label {
  font-size: 12px;
  vertical-align: baseline;
  margin: 0 4px 0 15px;
}

@media print {
  header {
    display: none !important;
  }
}