MediaWiki:Geshi.css: Difference between revisions

From OpenGL Wiki
Jump to navigation Jump to search
Attempt to remove border from source boxes. Again.
source background color not as dark.
 
(24 intermediate revisions by the same user not shown)
Line 1: Line 1:
/* CSS placed here will be applied to GeSHi syntax highlighting */
/* CSS placed here will be applied to GeSHi syntax highlighting */


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


@media screen
@media screen
{
{
   pre
   pre.de1, pre.de2
   {
   {
     overflow: auto;
     overflow: auto;

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;
  }
}