Nemcio/Redmine
1
0
Fork 0
mirror of https://github.com/redmine/redmine.git synced 2026-01-26 17:30:00 +01:00
Code Issues Packages Projects Releases Activity

Merged r23729 from trunk to 6.0-stable (#42644).

Browse Source 
git-svn-id: https://svn.redmine.org/redmine/branches/6.0-stable@23735 e93f8b46-1217-0410-a6f0-8f06a7374b81
This commit is contained in:
Go MAEDA
2025-05-02 07:44:54 +00:00
parent 562dfdf670
commit d3d4adf2fe
2 changed files with 52 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
app/assets/stylesheets/wiki_syntax.css
View File

@@ -1,19 +1,33 @@
@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-family: "Noto Sans";
src: url("/NotoSans-Regular.woff2") format("woff2");
font-weight: 400;
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;
font-family: "Noto Sans";
src: url("/NotoSans-Bold.woff2") format("woff2");
font-weight: 700;
font-style: normal;
font-display: swap;
}
@font-face {
font-family: "Noto Sans";
src: url("/NotoSans-Italic.woff2") format("woff2");
font-weight: 400;
font-style: italic;
font-display: swap;
}
@font-face {
font-family: "Noto Sans";
src: url("/NotoSans-BoldItalic.woff2") format("woff2");
font-weight: 700;
font-style: italic;
font-display: swap;
}
:root {

38
app/assets/stylesheets/wiki_syntax_detailed.css
View File

@@ -1,19 +1,33 @@
@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-family: "Noto Sans";
src: url("/NotoSans-Regular.woff2") format("woff2");
font-weight: 400;
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;
font-family: "Noto Sans";
src: url("/NotoSans-Bold.woff2") format("woff2");
font-weight: 700;
font-style: normal;
font-display: swap;
}
@font-face {
font-family: "Noto Sans";
src: url("/NotoSans-Italic.woff2") format("woff2");
font-weight: 400;
font-style: italic;
font-display: swap;
}
@font-face {
font-family: "Noto Sans";
src: url("/NotoSans-BoldItalic.woff2") format("woff2");
font-weight: 700;
font-style: italic;
font-display: swap;
}
:root {