#frameEnvelope {
  position: absolute;
  left: 0;
  right: 0;
  overflow: hidden;
}
#frameEnvelope iframe {
  width: 100%;
  height: 100%;
  border: none;
}
#frameEnvelope div.ios {
  width: 100%;
  height: 100%;
  overflow: auto;
  -webkit-overflow-scrolling: touch;
}
#frameEnvelope div.ios div {
  height: 100%;
  overflow-y: auto;
}
#frameEnvelope div.ios div iframe {
  width: 100%;
  height: 100%;
}
.controls {
  position: absolute;
  left: 0;
  right: 0;
  border: none;
  background-color: #f2f4f4;
  box-shadow: 0 0 10px 0 rgba(0, 0, 0, 0.3);
  z-index: 2000;
  white-space: nowrap;
}
.controls .control {
  border: none;
  background: transparent no-repeat center;
  background-size: contain;
  outline: none;
  width: 24px;
  height: 24px;
  display: inline-block;
  visibility: visible;
  padding: 0;
}
.controls .control:hover {
  cursor: pointer;
}
.controls .control.hidden {
  display: none;
}
.controls .control.controlInitialState {
  visibility: hidden;
}
#contentsContainer.hidden {
  visibility: hidden;
  display: none;
}
#contentsContainer #contentsList {
  z-index: 4000;
  position: fixed;
  padding: 1px;
  font-size: large;
  border: #dfdfdf 1px solid;
  overflow: auto;
  -webkit-overflow-scrolling: touch;
}
#contentsContainer #contentsList .contentsElement {
  padding-left: 15px;
  padding-right: 15px;
}
#contentsContainer #contentsList .contentsElement .contentsLink {
  padding: 5px;
  cursor: pointer;
  margin: 2px;
}
#contentsContainer #contentsList .contentsElement hr {
  position: absolute;
  left: 0;
  width: 100%;
  margin: 0;
  border-left: none;
  border-right: none;
  border-bottom: none;
  border-top: 1px solid rgba(160, 160, 160, 0.6);
}
#contentsContainer #contentsList .contentsElement:hover {
  background-color: #E8E8E8;
}
#contentsContainer #contentsBackground {
  position: fixed;
  left: 0;
  width: 100%;
  z-index: 3999;
  margin: 0;
  padding: 0;
  border: none;
}
body.desktop #frameEnvelope,
body:not(.mobile) #frameEnvelope {
  top: 34px;
  bottom: 0;
}
body.desktop .controls,
body:not(.mobile) .controls {
  top: 0;
  height: 34px;
}
body.desktop .controls .control,
body:not(.mobile) .controls .control {
  margin: 5px 10px;
}
body.desktop #contentsContainer #contentsList,
body:not(.mobile) #contentsContainer #contentsList {
  top: 34px;
  max-width: 300px;
  max-height: 50%;
  background-color: rgba(250, 250, 250, 0.9);
  border-radius: 5px;
}
body.desktop #contentsContainer #contentsBackground,
body:not(.mobile) #contentsContainer #contentsBackground {
  top: 34px;
  bottom: 0;
}
body.mobile #frameEnvelope {
  top: 0;
  bottom: 44px;
}
body.mobile .controls {
  bottom: 0;
  height: 44px;
}
body.mobile .controls .control {
  margin: 10px;
  position: absolute;
}
body.mobile #contentsContainer #contentsList {
  left: 0;
  width: 100%;
  top: 0;
  bottom: 44px;
  background-color: whitesmoke;
  border-radius: 0;
}
body.mobile #contentsContainer #contentsBackground {
  top: 0;
  bottom: 44px;
}
body.mobile.iosLandscapeCompensator #frameEnvelope {
  bottom: 88px;
}
body.mobile.iosLandscapeCompensator .controls {
  bottom: 44px;
}
body.mobile.iosLandscapeCompensator .contentsList {
  bottom: 88px;
}