MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
Compensate for division.
source background color not as dark.
 
(8 intermediate revisions by the same user not shown)
Line 3: Line 3:
.mw-geshi
.mw-geshi
{
{
   padding: 0;
   padding: 3px;
   margin: 0;
   margin: 0;
   border-width: 0;
   border-width: 0;
   background-color: #DDD;
   background-color: #f8f8f8;
   font: normal normal 1.2em monospace;
   font: normal normal 1.2em monospace;
}
}

Latest revision as of 23:46, 4 October 2012

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

.mw-geshi
{
  padding: 3px;
  margin: 0;
  border-width: 0;
  background-color: #f8f8f8;
  font: normal normal 1.2em monospace;
}

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

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