button.code {
   font-family: Monaco,Menlo,Consolas,"Courier New",monospace;
   font-size: 12px;
   padding: 5px;
   margin: 0 5px;
 }