@charset "utf-8";
.hol1 { background-color:#0F3;
}
.pre {font-family:"Courier New", Courier, monospace; background-color:#3FF; font-size:24px;
}
p.serif{font-family:"Times New Roman",Times,serif;}