CSS (plus text->HTML converter) for sequence diagrams