mirror of
https://github.com/go-gitea/theme.git
synced 2026-07-01 20:35:45 -04:00
[PR #22] [MERGED] Set $code-color and add padding to <pre> #28
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/go-gitea/theme/pull/22
Author: @metalmatze
Created: 12/22/2016
Status: ✅ Merged
Merged: 12/22/2016
Merged by: @tboerger
Base:
master← Head:feature/code-style📝 Commits (1)
b14cb1dSet $code-color and add padding to📊 Changes
2 files changed (+6 additions, -0 deletions)
View changed files
📝
src/colors.scss(+1 -0)📝
src/main.scss(+5 -0)📄 Description
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.