From 8ac8ba35612cb0df57e6e619cdb6bb8a3794af30 Mon Sep 17 00:00:00 2001
From: "Julio C. Estrada"
Date: Fri, 25 Apr 2025 14:51:28 -0400
Subject: [PATCH] refactor: replace noto sans display with noto sans (#1764)
---
docstailwind.config.js | 18 +++++++++---------
frontend/styles.css | 1 -
tailwind.config.js | 18 +++++++++---------
templates/base.html | 8 ++++++--
templates/docs_libs_placeholder.html | 2 +-
userguidetailwind.config.js | 18 +++++++++---------
6 files changed, 34 insertions(+), 31 deletions(-)
diff --git a/docstailwind.config.js b/docstailwind.config.js
index c014b6f5..ae44ea26 100644
--- a/docstailwind.config.js
+++ b/docstailwind.config.js
@@ -28,15 +28,15 @@ module.exports = {
silver: '#B5C9D3',
},
extend: {
- fontFamily: {
- 'sans': [
- '"Noto Sans"',
- process.env.ENVIRONMENT_NAME == 'Development Environment' ?
- 'serif'
- :
- 'sans-serif',
- ]
- }
+ // fontFamily: {
+ // 'sans': [
+ // '"Noto Sans"',
+ // process.env.ENVIRONMENT_NAME == 'Development Environment' ?
+ // 'serif'
+ // :
+ // 'sans-serif',
+ // ]
+ // }
}
},
variants: {
diff --git a/frontend/styles.css b/frontend/styles.css
index c6016ed9..bf10bd55 100644
--- a/frontend/styles.css
+++ b/frontend/styles.css
@@ -110,7 +110,6 @@
kbd,
samp,
pre {
- font-family: 'Noto Mono', monospace;
/* 1 */
@apply text-sm text-sky-800 dark:text-sky-200 overflow-x-scroll;
/* 2 */
diff --git a/tailwind.config.js b/tailwind.config.js
index 1f4fb3b5..27c54bf6 100644
--- a/tailwind.config.js
+++ b/tailwind.config.js
@@ -42,15 +42,15 @@ module.exports = {
900: '#151E37',
}
},
- fontFamily: {
- 'sans': [
- '"Noto Sans"',
- process.env.ENVIRONMENT_NAME == 'Development Environment' ?
- 'serif'
- :
- 'sans-serif',
- ],
- }
+ // fontFamily: {
+ // 'sans': [
+ // '"Noto Sans"',
+ // process.env.ENVIRONMENT_NAME == 'Development Environment' ?
+ // 'serif'
+ // :
+ // 'sans-serif',
+ // ],
+ // }
},
},
variants: {
diff --git a/templates/base.html b/templates/base.html
index aa510573..f97757ac 100644
--- a/templates/base.html
+++ b/templates/base.html
@@ -38,13 +38,13 @@
{% block extra_head %}
-
+ {% comment %} {% endcomment %}
{% endblock %}
{% block css %}{% endblock css %}
+
+
+
+
-
+ {% comment %} {% endcomment %}
{% if not skip_use_boostlook %}
{% endif %}
diff --git a/userguidetailwind.config.js b/userguidetailwind.config.js
index c91968c3..0e6acc41 100644
--- a/userguidetailwind.config.js
+++ b/userguidetailwind.config.js
@@ -29,15 +29,15 @@ module.exports = {
active: '#1565c0',
},
extend: {
- fontFamily: {
- 'sans': [
- '"Noto Sans"',
- process.env.ENVIRONMENT_NAME == 'Development Environment' ?
- 'serif'
- :
- 'sans-serif',
- ]
- }
+ // fontFamily: {
+ // 'sans': [
+ // '"Noto Sans"',
+ // process.env.ENVIRONMENT_NAME == 'Development Environment' ?
+ // 'serif'
+ // :
+ // 'sans-serif',
+ // ]
+ // }
},
},
variants: {