Difference between revisions of "MediaWiki:Geshi.css"

From ECLR
Jump to: navigation, search
 
(31 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 */
 
/* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */
 
/* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */
code {
+
div.mw-geshi {
     font-size: 1.75em;
+
  padding: 1em;
 +
  margin: 1em 0;
 +
  border: 1px dashed #2f6fab;
 +
  background-color: #f9f9f9;
 +
  font-family: monospace, sans-serif !important;
 +
  font-size: 1.1em;
 +
}
 +
 
 +
#content div.mw-geshi pre {
 +
    font-family: monospace, sans-serif;
 +
    font-size: 1.1em;
 +
}
 +
 
 +
/*tt, code, pre {
 +
    font-size: 1.25em;
 +
//    font-family: monospace, sans-serif;
 +
}*/
 +
 
 +
span.mw-geshi                    /* source enclose="none" */ {
 +
    font-family: monospace, sans-serif !important;
 +
     font-size: 1.1em;
 
}
 
}

Latest revision as of 13:33, 20 September 2012

/* CSS placed here will be applied to GeSHi syntax highlighting */
/* Fix so <tt>, <code>, and <pre> display in a suitable size in firefox, chrome, etc */
div.mw-geshi {
  padding: 1em; 
  margin: 1em 0; 
  border: 1px dashed #2f6fab;
  background-color: #f9f9f9;
  font-family: monospace, sans-serif !important;
  font-size: 1.1em;
}

#content div.mw-geshi pre {
    font-family: monospace, sans-serif;
    font-size: 1.1em;
}

/*tt, code, pre {
    font-size: 1.25em;
//    font-family: monospace, sans-serif;
}*/

span.mw-geshi                     /* source enclose="none" */ {
    font-family: monospace, sans-serif !important;
    font-size: 1.1em;
}