body         { font-family: Comic Sans MS; font-size: 12pt; background-color: #FFFFCC }
body.tips    { font-family: Comic Sans MS; font-size: 12pt; background-color: #FFCCFF }