Modifica della dimensione del carattere del codice formattato da SyntaxHighlight GeSHi in MediaWiki

Question

La dimensione del carattere dei miei frammenti di codice è troppo piccola rispetto alla dimensione del carattere predefinita del Wiki, il che li rende difficili da leggere (vedi sotto per un esempio).C'è qualcosa che posso fare per cambiarlo?

Esempio:

Il codice che genera quanto sopra è:

==== Histograms ====
This is the code to compute the histogram:
<source lang="matlab">
nEls = numel(unique_vals);
edges = zeros(nEls+2,1);
</source>

Answer 1

Modifica MediaWiki: Geshi.css .

Esempio:

div.mw-geshi div,pre {
 font-family: monospace, "Courier New" !important;
 font-size:13px;
}

Answer 2

modifica il tuo SyntaxHighlight_GeSHi.class.php

aggiungi la dimensione del carattere alla riga successiva

$css[] = ".source-$lang {line-height: normal; font-size: 12px;}";

Answer 3

Si scopre che questo è un bug nell'estensione MediaWiki.È referenziato nel bug tracker su https://bugzilla.wikimedia.org/show_bug.cgi? id= 26204

Possiamo ottenere una correzione permanente in esso, attireremo altre persone per farlo riparare correttamente.

Answer 4

MediaWiki v1.19.23 / 24 con geshi 1.0.8.11/12:

Modifica il file Mediawiki:Geshi.css in modo che sia:

/* CSS placed here will be applied to GeSHi syntax highlighting */
div.mw-geshi div,pre {
 font-family: monospace, "Courier New" !important;
 font-size:13px;
 border: 1px dashed blue;
}

span.mw-geshi {
 font-family: monospace, "Courier New" !important;
 font-size:13px;

Funzionerà sia per il inline (<source lang="XXX" console="none">CODE</source>) che per i normali div (<source lang="XXX">CODE</source>).È ora preferibile sostituire source con syntaxhighlight.