[Repo Assist] css: introduce --surface-background and --surface-border for theming#1161

github-actions[bot] wants to merge 7 commits intomainfsprojects/FSharp.Formatting:mainfrom

repo-assist/fix-issue-1156-surface-colors-5a744955effc8e3dfsprojects/FSharp.Formatting:repo-assist/fix-issue-1156-surface-colors-5a744955effc8e3dCopy head branch name to clipboard