ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-05 00:24:22 +03:00
Code Issues Projects Releases Wiki Activity

Reduce heading panel text size a little

Browse source
This commit is contained in:
David Kinder 2023-02-09 20:04:51 +00:00
parent 2344e59a02
commit b94549446a
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
inform7/Internal/HTML/windows-platform.css
View file

@ -106,14 +106,14 @@ span.headingpaneltext {
color: var(--heading-panel-text-colour);
font-family: sans-serif;
-webkit-font-smoothing: antialiased;
font-size: 1.333rem; /* 20/12 * 100/125 */
font-size: 1.2rem; /* 18/12 * 100/125 */
font-weight: bold;
}
span.headingpaneltextalt {
color: #ffffff;
font-family: sans-serif;
-webkit-font-smoothing: antialiased;
font-size: 1.333rem; /* 20/12 * 100/125 */
font-size: 1.2rem; /* 18/12 * 100/125 */
font-weight: bold;
}