@charset "utf-8";

.comment{margin-left:2em;line-height:26px;ord-wrap: break-word;white-space : normal;}
pre{
white-space:pre-wrap;
white-space:-moz-pre-wrap;
white-space:-pre-wrap;
white-space:-o-pre-wrap;
word-wrap:break-word;
font-size: 13pt;
}