Изменение размера шрифта кода, отформатированного SyntaxHighlight GeSHi в MediaWiki - PullRequest
Новая
       37

Изменение размера шрифта кода, отформатированного SyntaxHighlight GeSHi в MediaWiki

19 голосов
/ 18 марта 2011

Размер шрифта моих фрагментов кода слишком мал по сравнению с размером шрифта по умолчанию в вики, что затрудняет их чтение (см. Пример ниже).Могу ли я что-нибудь сделать, чтобы изменить его?

Пример:

enter image description here

Код, который генерирует вышеуказанное: 

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

Ответы [ 4 ]

23 голосов
/ 18 марта 2011

Редактирование MediaWiki: Geshi.css .

Пример: 

div.mw-geshi div,pre {
 font-family: monospace, "Courier New" !important;
 font-size:13px;
}
4 голосов
/ 13 сентября 2012

изменить ваш синтаксис Highlight_GeSHi.class.php

добавить размер шрифта в следующую строку 

$css[] = ".source-$lang {line-height: normal; font-size: 12px;}";
3 голосов
/ 14 февраля 2013

Оказывается, это ошибка в расширении MediaWiki. На него ссылаются в трекере ошибок на https://bugzilla.wikimedia.org/show_bug.cgi?id=26204

Мы можем получить в нем постоянное исправление, будем тыкать других людей, чтобы исправить это.

0 голосов
/ 19 октября 2015

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

Измените файл Mediawiki:Geshi.css на: 

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

Это будет работать как для встроенный (<source lang="XXX" console="none">CODE</source>) и для обычных делений (<source lang="XXX">CODE</source>).source теперь предпочтительнее заменить на syntaxhighlight.

...