jenkins.css

@import url(http://fonts.googleapis.com/earlyaccess/cwtexhei.css);

body {
    font-family: Helvetica, "Noto Sans CJK TC", cwTeXHei, sans-serif !important;
    font-size: 10pt !important;
}

.CodeMirror {
  width: auto !important; /*override the width below*/
  width: 100%;
  max-width: 800px;
  border: 1px solid #eee;
  height: auto;
}

#header {
    background-color: "#666666";
}