MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
← Older edit
Proper font size for these things.
source background color not as dark.
 
(12 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-size: 1em;
   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;
  }
}
Retrieved from "https://wikis.khronos.org/opengl/index.php?title=MediaWiki:Geshi.css&oldid=7727"