Description: Briefly describe the changes in this pull request.
Changelog: Ensure a changelog entry following the format of Keep a Changelog is added at the bottom of the PR description.
Documentation: Have you updated relevant documentation?
Dependencies: Are there any new dependencies? Have you updated the dependency versions in the documentation?
Description
This pull request combines the font-family declaration for html and pre elements to save space and avoid repetition.
Changed
Combined the font-family declaration for html and pre elements to save space and avoid repetition.
Documentation: Not applicable in this case.
Dependencies: Not applicable in this case.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
## 📋 Pull Request Information
**Original PR:** https://github.com/open-webui/open-webui/pull/1138
**Author:** [@silentoplayz](https://github.com/silentoplayz)
**Created:** 3/12/2024
**Status:** ✅ Merged
**Merged:** 3/12/2024
**Merged by:** [@tjbck](https://github.com/tjbck)
**Base:** `dev` ← **Head:** `patch-1`
---
### 📝 Commits (5)
- [`8963404`](https://github.com/open-webui/open-webui/commit/89634046e721c972eb24bd5115bd9eff77513d7a) Merge pull request #1107 from open-webui/dev
- [`11ca270`](https://github.com/open-webui/open-webui/commit/11ca2703b086abc8487c0403efa5c1297bff3f5b) Merge pull request #1130 from open-webui/dev
- [`7ae4669`](https://github.com/open-webui/open-webui/commit/7ae4669f350ad30b44594c5e76759db445d9bf5d) Merge pull request #1131 from open-webui/dev
- [`97842d0`](https://github.com/open-webui/open-webui/commit/97842d037ee537478a345ee53e7c97cc16c83fb3) Update tailwind.css
- [`cc4b82a`](https://github.com/open-webui/open-webui/commit/cc4b82a3f3df323d3103341c1533a24661b841b0) Update tailwind.css
### 📊 Changes
**1 file changed** (+4 additions, -7 deletions)
<details>
<summary>View changed files</summary>
📝 `src/tailwind.css` (+4 -7)
</details>
### 📄 Description
## Pull Request Checklist
- [x] **Description:** Briefly describe the changes in this pull request.
- [x] **Changelog:** Ensure a changelog entry following the format of [Keep a Changelog](https://keepachangelog.com/) is added at the bottom of the PR description.
- [x] **Documentation:** Have you updated relevant documentation?
- [x] **Dependencies:** Are there any new dependencies? Have you updated the dependency versions in the documentation?
---
## Description
This pull request combines the font-family declaration for `html` and `pre` elements to save space and avoid repetition.
### Changed
Combined the font-family declaration for `html` and `pre` elements to save space and avoid repetition.
- **Documentation:** Not applicable in this case.
- **Dependencies:** Not applicable in this case.
---
<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 Pull Request Information
Original PR: https://github.com/open-webui/open-webui/pull/1138
Author: @silentoplayz
Created: 3/12/2024
Status: ✅ Merged
Merged: 3/12/2024
Merged by: @tjbck
Base:
dev← Head:patch-1📝 Commits (5)
8963404Merge pull request #1107 from open-webui/dev11ca270Merge pull request #1130 from open-webui/dev7ae4669Merge pull request #1131 from open-webui/dev97842d0Update tailwind.csscc4b82aUpdate tailwind.css📊 Changes
1 file changed (+4 additions, -7 deletions)
View changed files
📝
src/tailwind.css(+4 -7)📄 Description
Pull Request Checklist
Description
This pull request combines the font-family declaration for
htmlandpreelements to save space and avoid repetition.Changed
Combined the font-family declaration for
htmlandpreelements to save space and avoid repetition.Documentation: Not applicable in this case.
Dependencies: Not applicable in this case.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.