/* custom CSS here */

/* body font */
body {
    font-family: Yahei Mono;
    font-size: 100%;
}

/* code font */
code {
    font-family: Yahei Mono;
    font-size: 20px;
}

pre#src code{
  font-family: Yahei Mono;
  font-size: 20px;
}

/* size of sidebar */
#list {
    width: 32%;
}
#srcview {
    margin-left: 32.5%;
    width: 67%;
}

/* make both js+css visible in long lists */
ol {
/*    max-height: 40%;*/
}

/* hide detail info */
h2 >i {
/*    display: none; */
}

/* hide tips */
#tips {
/*    display: none; */
}

/* do not wrap urls */
ol > li > a {
/*    white-space: nowrap; */
}

标签: none