chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Load DM Mono font in CSS file

Browse Source 
PiperOrigin-RevId: 528360725
Change-Id: I32cde6dc6c9cdc5dbd8ba1d8d22586027b0476f0
This commit is contained in:
Yuval Tassa
2023-04-30 19:29:28 -07:00
committed by Copybara-Service
parent 15e77b13dd
commit ced9e0872f
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/css/theme_overrides.css
+1
View File
@@ -1,5 +1,6 @@
@import url('https://fonts.googleapis.com/css2?family=DM+Sans:ital,wght@0,400;0,500;0,700;1,400;1,500;1,700&display=swap'); @import url('https://fonts.googleapis.com/css2?family=DM+Sans:ital,wght@0,400;0,500;0,700;1,400;1,500;1,700&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Inconsolata:wdth,wght@110,500&display=swap'); @import url('https://fonts.googleapis.com/css2?family=Inconsolata:wdth,wght@110,500&display=swap');
@import url('https://fonts.googleapis.com/css2?family=DM+Mono&display=swap');
/* Font used for ``inline code``, should match body sans-serif. */ /* Font used for ``inline code``, should match body sans-serif. */
code { code {