a:hover {
  cursor: pointer;
}

.inline
{
  display: inline-block;
}

.preview-window
{
  width: 15em;
  height: 10em;
  border: 1px solid black;
  position: relative;
  margin: 1em 2em 1em 0;
  background-color: rgb(238, 240, 242)
}

.preview-box
{
  width: 2em;
  height: 3em;
  position: absolute;
  border: 1px solid black;
  background-color: rgba(255, 255, 255, 0.5)
}

.animated-shadow
{
  -webkit-transition: box-shadow 0.3s cubic-bezier(.25,.8,.25,1);
  -moz-transition: box-shadow 0.3s cubic-bezier(.25,.8,.25,1);
  -ms-transition: box-shadow 0.3s cubic-bezier(.25,.8,.25,1);
  -o-transition: box-shadow 0.3s cubic-bezier(.25,.8,.25,1);
  transition: box-shadow 0.3s cubic-bezier(.25,.8,.25,1);
}

div.tab-page span[title]
{
  cursor: default;
}

.ui-tooltip {
  display: block;
  position: absolute;
  z-index: 10000;
  
  max-width: 40em;
  padding: 8px;

  background-color: white;
  border-radius: 3px;
  box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23);
}

pre {
  white-space: pre-wrap;     
  white-space: -moz-pre-wrap;
  white-space: -pre-wrap;    
  white-space: -o-pre-wrap;  
  word-wrap: break-word;     
 }