/*div.mw-geshi div,pre {
 font-family: monospace, "Courier New" !important;
 font-size:10px;
}
*/
.PmTOCdiv { 
    font-size: 17px; 
  }