MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
← Older editNewer edit →
Undoing the smaller font.
double the font shrinkage.
Line 7: Line 7:
   border-width: 0;
   border-width: 0;
   background-color: #DDD;
   background-color: #DDD;
   font-size: 1.2em/1em;
   font: normal normal 1em/1.2em monospace;
}
}


Revision as of 20:33, 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: normal normal 1em/1.2em monospace;
}

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

@media screen
{
  pre.de1, pre.de2
  {
    overflow: auto;
    max-height: 36em;
  }
}
Retrieved from "https://wikis.khronos.org/opengl/index.php?title=MediaWiki:Geshi.css&oldid=6928"