body, pre, textarea {
   font-family: Consolas, 'Lucida Console', monospace;
   font-size: 11pt;
}