]> source.dussan.org Git - redmine.git/commitdiff
Update Wiki Syntax Help font to Noto Sans to match the new default theme (#41321).
authorGo MAEDA <maeda@farend.jp>
Fri, 11 Oct 2024 04:59:27 +0000 (04:59 +0000)
committerGo MAEDA <maeda@farend.jp>
Fri, 11 Oct 2024 04:59:27 +0000 (04:59 +0000)
git-svn-id: https://svn.redmine.org/redmine/trunk@23113 e93f8b46-1217-0410-a6f0-8f06a7374b81

app/assets/stylesheets/wiki_syntax.css
app/assets/stylesheets/wiki_syntax_detailed.css

index 01543c35977a48aa4f780099287d13f8f641eaf1..cef2078f897bf14a1f48b1515e75833d529f98e2 100644 (file)
@@ -1,5 +1,23 @@
-h1 { font-family: Verdana, sans-serif; font-size: 14px; text-align: center; color: #444; }
-body { font-family: Verdana, sans-serif; font-size: 12px; color: #444; }
+@font-face {
+    font-family: "Noto Sans";
+    src: url("/NotoSans-VariableFont_wdth,wght.woff2") format("woff2");
+    font-weight: 100 900;
+    font-stretch: 75% 125%;
+    font-style: normal;
+    font-display: swap;
+}
+
+@font-face {
+    font-family: "Noto Sans";
+    src: url("/NotoSans-Italic-VariableFont_wdth,wght.woff2") format("woff2");
+    font-weight: 100 900;
+    font-stretch: 75% 125%;
+    font-style: italic;
+    font-display: swap;
+}
+
+h1 { font-family: "Noto Sans", sans-serif; font-size: 14px; text-align: center; color: #444; }
+body { font-family: "Noto Sans", sans-serif; font-size: 12px; color: #444; }
 pre, code {font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
 table th { padding-top: 1em; }
 table th img { border: 1px solid #bbb; }
index 4e99410fe8f1576bf8cff2252891deae94ef23ff..11e3cd624d1480354f4f52547fba08c3b687c946 100644 (file)
@@ -1,7 +1,23 @@
-body { font:80% Verdana,Tahoma,Arial,sans-serif; }
-h1, h2, h3, h4 {  font-family: Trebuchet MS,Georgia,"Times New Roman",serif; }
-pre, code { font-size:120%; font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
-pre code { font-size:100%; }
+@font-face {
+    font-family: "Noto Sans";
+    src: url("/NotoSans-VariableFont_wdth,wght.woff2") format("woff2");
+    font-weight: 100 900;
+    font-stretch: 75% 125%;
+    font-style: normal;
+    font-display: swap;
+}
+
+@font-face {
+    font-family: "Noto Sans";
+    src: url("/NotoSans-Italic-VariableFont_wdth,wght.woff2") format("woff2");
+    font-weight: 100 900;
+    font-stretch: 75% 125%;
+    font-style: italic;
+    font-display: swap;
+}
+
+body { font-family: "Noto Sans", sans-serif; font-size: 0.875rem; color:#333;}
+pre, code { font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
 pre {
     margin: 1em 1em 1em 1.6em;
     padding: 2px;