@charset "utf-8";.red{color:#a80000}.blue{color:#0740c2}.green{color:#175839}.purple{color:#3d2275}.underline{text-decoration:underline}.big{font-size:120%!important}.boxnormal{margin:15px;padding:10px 12px 10px 12px;border:1px solid #aaa}.boxnotice{margin:15px;padding:12px 14px 10px 14px;border:2px solid #a80000}