MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
Too small.
source background color not as dark.
 
(6 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: #f9f9f9;
   background-color: #f8f8f8;
   font: normal normal 1.0em 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;
  }
}