[PR #1138] [MERGED] Update tailwind.css #7381

New Issue

GiteaMirror · 2025-11-11T17:24:57-06:00

GiteaMirror commented

2025-11-11 17:24:57 -06:00

📋 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)

8963404 Merge pull request #1107 from open-webui/dev
11ca270 Merge pull request #1130 from open-webui/dev
7ae4669 Merge pull request #1131 from open-webui/dev
97842d0 Update tailwind.css
cc4b82a Update tailwind.css

📊 Changes

1 file changed (+4 additions, -7 deletions)

View changed files

📝 src/tailwind.css (+4 -7)

📄 Description

Pull Request Checklist

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>

GiteaMirror added the pull-request label 2025-11-11 17:24:57 -06:00

GiteaMirror closed this issue