@charset "utf-8";
/* CSS Document */



#filenamecontainer {
  position:absolute;
  text-align:center;
  z-index:4;
  width:100%;
}

#filenamecontainer span {
  opacity:0.9;
  padding:1px 6px;
  font-family:Consolas, "Source Sans Pro", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", Monaco, "Courier New", "monospace";
  background-color:#f1f1f1;
  font-size:16px;
}

body.darktheme #filenamecontainer span {
  background-color:#555555;
  color:#f1f1f1;
}


.CodeMirror.cm-s-default {
  padding:24px 4px 4px 4px; /* python */
}