MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
Maybe a % increase will work.
Undoing the smaller font.
Line 7: Line 7:
   border-width: 0;
   border-width: 0;
   background-color: #DDD;
   background-color: #DDD;
   font-size: 200%;
   font-size: 1.2em/1em;
}
}



Revision as of 20:32, 1 September 2012

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

.mw-geshi
{
  padding: 0;
  margin: 0;
  border-width: 0;
  background-color: #DDD;
  font-size: 1.2em/1em;
}

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

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