.navbar-header .navbar-brand {
  display: none; }

.navbar-form {
  margin-left: 15px; }

.navbar-right .ui-new, .navbar-right .ui-publish {
  display: none; }

.CodeMirror pre.CodeMirror-line {
  font-family: Osaka-Mono, 'MS Gothic', Monaco, Menlo, Consolas, 'Courier New', monospace;
  font-size: 14px;
  line-height: 20px; }