html, body {
  padding:0;
  margin:0;
	width:		100%;
	height:		100%;
	overflow:	auto; /* when page gets too small */
}
.CodeMirror {
  height: auto;
}

#editor-jade, #editor {
  display: none;
}

#editor-wrapper, #editor-jade-wrapper {
  height: auto;
}

#editor-jade-wrapper {
  min-height: 300px;
}

#base-btn-group {
  position: fixed;
  top: 10px;
  right: 50px;
  z-index: 100;
  opacity: 0.3;
  -webkit-transition:opacity 300ms ease-out;
  -moz-transition:opacity 300ms ease-out;
  -o-transition:opacity 300ms ease-out;
  transition:opacity 300ms ease-out;
}

#base-btn-group:hover {
  opacity: 1;
  -webkit-transition:opacity 300ms ease-out;
  -moz-transition:opacity 300ms ease-out;
  -o-transition:opacity 300ms ease-out;
  transition:opacity 300ms ease-out;
}

#container {
	height:		100%;
}

.ui-layout-pane {
  padding: 0;
}

.pane {
	display:	none; /* will appear when layout inits */
}