Changes

29 bytes removed ,  17:00, 12 April 2013
rm font size increase for <pre>
Line 94: Line 94:  
   width: 20em;
 
   width: 20em;
 
   font-size: 90%;
 
   font-size: 90%;
}
  −
  −
pre {
  −
  font-size: 115%;
   
}
 
}