div.c {margin-left:80px; margin-right:80px; }
.att  {color: #ff0000}
.exp  {color: #708090; font-family:monospace; }