Skip to content

chore(site): make info gray #14356

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 13 commits into from
Aug 20, 2024
Merged

chore(site): make info gray #14356

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
000d3f4
make info gray
aslilac Aug 19, 2024
2ffbfca
a couple tweaks
aslilac Aug 19, 2024
717da32
fix darkBlue
aslilac Aug 19, 2024
2c939d0
fix user status colors
aslilac Aug 19, 2024
a8b5fec
ohp
aslilac Aug 19, 2024
8ef0b45
fix a few more colors
aslilac Aug 19, 2024
4412186
oh, cool
aslilac Aug 19, 2024
2cb6aed
fix one more place
aslilac Aug 19, 2024
8042a68
ohoho
aslilac Aug 19, 2024
2b860b5
Merge branch 'main' into theme-improvements
aslilac Aug 20, 2024
eedfaf3
use blue for suggestions
aslilac Aug 20, 2024
c75e758
add some clarification to types
aslilac Aug 20, 2024
090a2aa
✏️
aslilac Aug 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
add some clarification to types
  • Loading branch information
@aslilac
aslilac committed Aug 20, 2024
commit c75e758369dc1245ab13f1b2d9f950e12adf928e
13 changes: 11 additions & 2 deletions site/src/theme/index.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,18 @@ import type { ExternalImageModeStyles } from "./externalImages";
import light from "./light";
import type { Roles } from "./roles";

export interface Theme extends MuiTheme {
experimental: NewTheme;
export interface Theme extends Omit<MuiTheme, "palette"> {
/** @deprecated use `theme.roles` instead */
palette: MuiTheme["palette"];

/** Sets of colors that can be used based on the role that a UI element serves
* for the user.
* Does it signify an error? a warning? that something is currently running? etc.
*/
roles: Roles;

/** Theme properties that we're testing out but haven't committed to. */
experimental: NewTheme;
monaco: monaco.editor.IStandaloneThemeData;
externalImages: ExternalImageModeStyles;
}
Expand Down