更改 MediaWiki 中 SyntaxHighlight GeSHi 格式化代码的字体大小

发布于 2024-10-23 01:11:40 字数 358 浏览 6 评论 0 原文

我的代码片段的字体大小相对于 Wiki 的默认字体大小太小,这使得它们难以阅读(请参阅下面的示例)。我可以做些什么来改变它吗?

示例:

在此处输入图像描述

生成上述内容的代码是:

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

The font size of my code snippets are too small relative to the default font size of the Wiki, which makes them hard to read (see below for an example). Is there anything I can do to change it?

Example:

enter image description here

The code that generates the above is:

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

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(4

柠檬心 2024-10-30 01:11:41

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;

这适用于内联 (CODE) 和普通 div ()。现在首选将 source 替换为 syntaxhighlight

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

Edit the Mediawiki:Geshi.css file to be:

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

This will work for both the inline (<source lang="XXX" console="none">CODE</source>) and for the normal divs (<source lang="XXX">CODE</source>). The source is now preferred to be replaced with syntaxhighlight.

萌逼全场 2024-10-30 01:11:40

编辑 MediaWiki:Geshi.css

例子:

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

Edit the MediaWiki:Geshi.css.

Example:

div.mw-geshi div,pre {
 font-family: monospace, "Courier New" !important;
 font-size:13px;
}
荆棘i 2024-10-30 01:11:40

编辑 SyntaxHighlight_GeSHi.class.php

将字体大小添加到以下行

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

edit your SyntaxHighlight_GeSHi.class.php

add font-size to following line

$css[] = ".source-$lang {line-height: normal; font-size: 12px;}";
旧梦荧光笔 2024-10-30 01:11:40

事实证明这是 MediaWiki 扩展中的一个错误。它在 https://bugzilla.wikimedia.org/show_bug.cgi 的 bug 跟踪器中引用?id=26204

我们可以对其进行永久修复,我们会请其他人来正确修复它。

Turns out this is a bug in the MediaWiki extension. It is referenced in the bug tracker at https://bugzilla.wikimedia.org/show_bug.cgi?id=26204

We can get a permanent fix in it, will poke some other peoples to get it properly fixed.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文