MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
Compensate for division.
more font changes.
Line 6: Line 6:
   margin: 0;
   margin: 0;
   border-width: 0;
   border-width: 0;
   background-color: #DDD;
   background-color: #f9f9f9;
   font: normal normal 1.2em monospace;
   font: normal normal 2.0em monospace;
}
}



Revision as of 20:37, 1 September 2012

/* CSS placed here will be applied to GeSHi syntax highlighting */

.mw-geshi
{
  padding: 0;
  margin: 0;
  border-width: 0;
  background-color: #f9f9f9;
  font: normal normal 2.0em monospace;
}

pre.de1, pre.de2
{
  margin: 0;
}

@media screen
{
  pre.de1, pre.de2
  {
    overflow: auto;
    max-height: 36em;
  }
}