/**
 * shrink the font-size of chunks:
 *      `a` for <a/>
 *   `span` for plaintext or broken <a/>
 */
a.RktValDef, a.RktValLink, a.RktStxDef, a.RktStxLink, a.RktSymDef,
span.RktValDef, span.RktValLink, span.RktStxDef, span.RktStxLink,
span.RktSymDef, span.RktSym, span.RktVal, span.RktPn,
span.stt, span.hspace {
    font-family: 'Courier', monospace;
    font-size: small; /* 0.84rem */
}

a.plainlink {
    font-size: small;
}

a.RktCmt, a.RktOut, a.RktErr, a.RktRes,
span.RktCmt, span.RktOut, span.RktErr, span.RktRes {
    font-size: small;
}

span.techinside {
    font-style: italic;
}

blockquote.SCodeFlow {
    padding-left: 0.64rem;
    white-space: nowrap;
    line-height: 1.5;
    overflow-x: scroll;
}

blockquote.Rfilebox {
    overflow-x: scroll;
}

blockquote.refcontent {
    overflow-x: scroll;
}

ul.HBdigimon, li.HBdigimonItem {
    list-style-type: none;
    margin-left: 0;
}

/** for my own extension, restore the fontsize if used to style the body of articles */
a.bodyValLink, a.bodyStxLink, a.bodyValDef, a.bodyStxDef,
span.bodyValLink, span.bodyStxLink, span.bodySym, span.bodyVal, span.bodyPn {
    font-size: medium;
}

a.bodyCmt, a.bodyOut, a.bodyErr, a.bodyRes,
span.bodyCmt, span.bodyOut, span.bodyErr, span.bodyRes {
    font-size: medium;
}