Modification de la taille de la police code formaté par syntaxhighlight GeSHi MediaWiki

Question

La taille de la police de mes extraits de code sont trop petits par rapport à la taille de la police par défaut du Wiki, ce qui les rend difficile à lire (voir exemple ci-dessous). Est-ce que je peux faire pour le changer?

Exemple:

Le code qui génère le plus haut est le suivant:

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

Answer 1

Modifier MediaWiki:. Geshi.css

Exemple:

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

Answer 2

modifier votre SyntaxHighlight_GeSHi.class.php

add-taille de la police à la ligne suivante

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

Answer 3

Il se trouve que ce bogue dans l'extension MediaWiki. Il est référencé dans le bug tracker https://bugzilla.wikimedia.org/show_bug.cgi ? id = 26204

Nous pouvons obtenir une solution permanente en elle, va pousser d'autres peuples pour l'obtenir correctement fixé.

Answer 4

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

Modifier le fichier Mediawiki:Geshi.css être:

/* 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;

Cela fonctionne tant pour le en ligne (<source lang="XXX" console="none">CODE</source>) et pour la normale divs (<source lang="XXX">CODE</source>). Le source est maintenant préféré être remplacé par syntaxhighlight.