.glcontainer {
  min-width: 512px;
  min-height: 512px;
}

#image-processing-sigma {
  width: 400px;
}

#audio-stretch-factor {
  width: 400px;
}

.play, .pause {
   width: 160px;
   height: 160px;
   background: transparent;
   position: relative;
   margin-top: 20px;
   display: block;
}
 
.play:before {
    width: 0;        
    height: 0;
    border-left: 60px solid white;
    border-right: 60px solid transparent;
    border-top: 60px solid transparent;
    border-bottom: 60px solid transparent; 
    content: "";
    position: absolute;
    top: 20px;
    left: 50px;
}
 
.pause:before {
    width: 20px;        
    height: 120px;
    background: white;
    position: absolute;
    content: "";
    top: 20px;
    left: 50px;
}

.pause:after {
    width: 20px;        
    height: 120px;
    background: white;
    position: absolute;
    content: "";
    top: 20px;
    right: 50px;
}

.slice-panel-left {
  float: left;
}

.slice-panel-right {
  float: left;
}

.slice-properties {
  float: right;
  margin-left: -20px;
}

#slice-code {
  width: 800px;
  height: 100px;
}

#slice-data, #slice-view {
  width: 400px;
  height: 400px;
  margin-left: 20px;
  margin-right: 20px;
}

.reveal pre {
  box-shadow: none;
}

pre.smallpre {
  width: auto;
  height: auto;
  float: right;
  margin: 0;
  max-height: 170px;
  max-width: 400px;
  overflow: scroll;
}


pre.bigpre {
  width: auto;
  height: auto;
  float: right;
  margin: 0;
  max-height: 300px;
  max-width: 400px;
  overflow: scroll;
}

pre.snippetpre {
  width: 600px;
  float: left;
  vertical-align: middle;
}

.fragment {
  visibility: hidden;
}

.visible {
  visibility: visible;
}