2125 void html_printer::set_style(const style &sty)  in set_style()  argument
2127   const char *fontname = sty.f->get_name();  in set_style()
2132   change_font(fontname, (font::res/(72*font::sizescale))*sty.point_size);  in set_style()
4358   style sty(f, env->size, env->height, env->slant, env->fontno, *env->col);  in set_char()  local
4359   if (sty.slant != 0) {  in set_char()
4360     if (sty.slant > 80 || sty.slant < -80) {  in set_char()
4361       error("silly slant `%1' degrees", sty.slant);  in set_char()
4362       sty.slant = 0;  in set_char()
4365   if (((! sbuf.empty()) && (sty == sbuf_style) && (sbuf_vpos == env->vpos))  in set_char()
4371     sbuf_style = sty;  in set_char()
4377   sbuf_style = sty;  in set_char()
4839       style sty(get_font_from_index(env->fontno), env->size, env->height,  in special()  local
4841       sbuf_style = sty;  in special()
4921       style sty(get_font_from_index(env->fontno), env->size, env->height,  in devtag()  local
4923       sbuf_style = sty;  in devtag()