@charset "utf-8";.assumption{color:blue !important}.ditto{font-size:80%;color:#999 !important}.redtext{color:red !important}