Project

General

Profile

Patch #41569 ยป 0001-Use-custom-properies-to-font-family.patch

Takashi Kato, 2024-10-24 01:02

View differences:

app/assets/stylesheets/application.css
22 22
  font-display: swap;
23 23
}
24 24

  
25
:root {
26
  --fonts-main: "Noto Sans", sans-serif;
27
}
28

  
25 29
html, body { min-height: 100vh; }
26 30
html {overflow-y:scroll;}
27
body { font-family: "Noto Sans", sans-serif; font-size: 0.875rem; color:#333; margin: 0; padding: 0; min-width: 900px; }
31
body { font-family: var(--fonts-main); font-size: 0.875rem; color:#333; margin: 0; padding: 0; min-width: 900px; }
28 32

  
29
h1, h2, h3, h4, h5, h6 {font-family: "Noto Sans", sans-serif;padding: 2px 10px 1px 0px;margin: 0 0 10px 0;}
33
h1, h2, h3, h4, h5, h6 {font-family: var(--fonts-main);padding: 2px 10px 1px 0px;margin: 0 0 10px 0;}
30 34
#content h1, h2, h3, h4, h5, h6 {color: #555;}
31 35
h2 {font-size: 1.25rem;}
32 36
h3 {font-size: 1.0625rem;}
......
595 599
abbr, span.field-description[title] { border-bottom: 1px dotted #aaa; cursor: help; }
596 600
textarea.wiki-edit {width:99%; resize:vertical; box-sizing: border-box;}
597 601
body.textarea-monospace textarea.wiki-edit {font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; font-size: 0.75rem;}
598
body.textarea-proportional textarea.wiki-edit {font-family: "Noto Sans", sans-serif; font-size:  0.75rem;}
602
body.textarea-proportional textarea.wiki-edit {font-family: var(--fonts-main); font-size:  0.75rem;}
599 603
li p {margin-top: 0;}
600 604
div.issue {
601 605
  background: #ffffdd;
......
820 824
}
821 825
#projects-index ul.projects li.child {margin-top: 1em;}
822 826
#projects-index ul.projects div.root a.project {
823
  font-family: "Noto Sans", sans-serif;
827
  font-family: var(--fonts-main);
824 828
  font-weight: bold;
825 829
  font-size: 1rem;
826 830
  margin: 0 0 10px 0;
app/assets/stylesheets/responsive.css
155 155
  }
156 156
  #project-jump .drdn-trigger:before {
157 157
    /* set a font-size in order to achive same result in different themes */
158
    font-family: "Noto Sans", sans-serif;
158
    font-family: var(--fonts-main);
159 159
    font-size: 1.5em;
160 160

  
161 161
    position: absolute;
......
253 253
  }
254 254

  
255 255
  .mobile-toggle-button:after {
256
    font-family: "Noto Sans", sans-serif;
256
    font-family: var(--fonts-main);
257 257
    display: block;
258 258
    margin-top: -3px;
259 259
    content: '\2261';
......
261 261

  
262 262
  /* search magnifier icon */
263 263
  .search-magnifier {
264
    font-family: "Noto Sans", sans-serif;
264
    font-family: var(--fonts-main);
265 265
    color: #bbb;
266 266

  
267 267
    cursor: pointer;
app/assets/stylesheets/wiki_syntax.css
16 16
    font-display: swap;
17 17
}
18 18

  
19
h1 { font-family: "Noto Sans", sans-serif; font-size: 0.875rem; text-align: center; color: #444; }
20
body { font-family: "Noto Sans", sans-serif; font-size: 0.75rem; color: #444; }
19
:root {
20
  --fonts-main: "Noto Sans", sans-serif;
21
}
22

  
23
h1 { font-family: var(--fonts-main); font-size: 0.875rem; text-align: center; color: #444; }
24
body { font-family: var(--fonts-main); font-size: 0.75rem; color: #444; }
21 25
pre, code {font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
22 26
table th { padding-top: 1em; }
23 27
table th {
app/assets/stylesheets/wiki_syntax_detailed.css
16 16
    font-display: swap;
17 17
}
18 18

  
19
body { font-family: "Noto Sans", sans-serif; font-size: 0.875rem; color:#333; line-height: 1.6;}
19
:root {
20
  --fonts-main: "Noto Sans", sans-serif;
21
}
22

  
23
body { font-family: var(--fonts-main); font-size: 0.875rem; color:#333; line-height: 1.6;}
20 24
pre, code { font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; }
21 25
pre {
22 26
    margin: 1em 1em 1em 1.6em;
    (1-1/1)