Cambiar el tamaño de fuente del código formateado por SyntaxHighlight GeSHi en MediaWiki

El tamaño de fuente de mis fragmentos de código es demasiado pequeño en relación con el tamaño de fuente predeterminado de la Wiki, lo que dificulta su lectura (vea más abajo un ejemplo). ¿Hay algo que pueda hacer para cambiarlo?Cambiar el tamaño de fuente del código formateado por SyntaxHighlight GeSHi en MediaWiki

Ejemplo:

enter image description here

El código que genera el anterior es:

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

Fuente

2011-03-18 Amelio Vazquez-Reina

He encontrado esta [entrada] (http://www.mediawiki.org/wiki/Extension_talk:SyntaxHighlight_GeSHi#Font_size_issues) en el sitio –

Editar la MediaWiki:Geshi.css.

Ejemplo:

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

Fuente

2011-03-18 18:03:39

Gracias @Adrian Archer. La instalación de My MediaWiki (última versión) no parece tener este archivo (ni mi instalación SyntaxHighlight Geshi, que también usa la última versión de la extensión). ¿Dónde se supone que es este archivo? ¿Dónde puedo encontrar más información sobre este archivo css en particular? ¿Es parte de la instalación de extensión oficial? –

No es un archivo, es una página wiki. – Tgr

tengo el mismo problema y simplemente no entiendo lo que quieren decir en la documentación con el archivo "Geshi.css". – Staeff

editar su SyntaxHighlight_GeSHi.class.php

complemento de tamaño de fuente a la línea siguiente

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

Fuente

2012-09-13 11:00:11

resulta que esto es un error en la extensión MediaWiki. Se hace referencia en el rastreador de errores en https://bugzilla.wikimedia.org/show_bug.cgi?id=26204

Podemos obtener una solución permanente en él, se burlará de otros pueblos para que se solucione correctamente.

Fuente

2013-02-13 20:38:04

y fue corregido en MediaWiki 1.24. :) [Todos se actualizan] (https://www.mediawiki.org/wiki/Manual:Upgrading)! – Nemo

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

Editar el archivo Mediawiki:Geshi.css sea:

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

Esto funciona tanto para el línea (<source lang="XXX" console="none">CODE</source>) y para la normal divs (<source lang="XXX">CODE</source>). Ahora se prefiere reemplazar el source por syntaxhighlight.

Fuente

2015-10-19 05:22:31

Cambiar el tamaño de fuente del código formateado por SyntaxHighlight GeSHi en MediaWiki

Respuesta

Cuestiones relacionadas