Project

General

Profile

Defect #32170 » wiki-help-monospaced-font-fix.patch

Go MAEDA, 2019-09-29 15:07

View differences:

public/help/wiki_syntax.css
1 1
h1 { font-family: Verdana, sans-serif; font-size: 14px; text-align: center; color: #444; }
2 2
body { font-family: Verdana, sans-serif; font-size: 12px; color: #444; }
3
pre, code {font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
3 4
table th { padding-top: 1em; }
4 5
table td { vertical-align: top; background-color: #f5f5f5; height: 2em; vertical-align: middle;}
5 6
table td code { font-size: 1.2em; }
public/help/wiki_syntax_detailed.css
1 1
body { font:80% Verdana,Tahoma,Arial,sans-serif; }
2 2
h1, h2, h3, h4 {  font-family: Trebuchet MS,Georgia,"Times New Roman",serif; }
3
pre, code { font-size:120%; }
3
pre, code { font-size:120%; font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
4 4
pre code { font-size:100%; }
5 5
pre {
6 6
    margin: 1em 1em 1em 1.6em;
(3-3/3)