34 lines · 553 B · TypeScript
RawDownload
import chroma from "chroma-js"export * from "./theme"export * from "./theme/theme_config"export { chroma } export const font_families = {    ui_sans: "IBM Plex Sans",    sans: "Zed Sans",    mono: "Zed Mono",} export const font_sizes = {    "2xs": 10,    xs: 12,    sm: 14,    md: 16,    lg: 18,} export type FontWeight = "normal" | "bold" export const font_weights: { [key: string]: FontWeight } = {    normal: "normal",    bold: "bold",} export const sizes = {    px: 1,    xs: 2,    sm: 4,    md: 6,    lg: 8,    xl: 12,}

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t