Correia Dark
Publisher: Correia DarkThemes in package: 9
Dark theme
Dark theme
Full workbench mockup using this variant's colors and tokenColors.
Loading...
Workbench UI color keys from the theme JSON colors map.
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| comment, punctuation.definition.comment | #65737E | italic |
| variable | #CDD3DE | — |
| keyword, storage.type, storage.modifier, storage.type.class.js | #C5A5C5 | — |
| keyword.operator, constant.other.color, punctuation, punctuation.definition.tag, punctuation.separator.inheritance.php, punctuation.definition.tag.html, punctuation.definition.tag.begin.html, punctuation.definition.tag.end.html, punctuation.section.embedded, keyword.other.template, keyword.other.substitution | #5FB3B3 | — |
| entity.name.tag, meta.tag.sgml, markup.deleted.git_gutter | #ED6F7D | — |
| entity.name.function, meta.function-call, variable.function, support.function, keyword.other.special-method, meta.block-level | #5A9BCF | — |
| support.other.variable, string.other.link | #ED6F7D | — |
| constant.numeric, constant.language, support.constant, constant.character, variable.parameter, keyword.other.unit | #EB9A6D | — |
| string, constant.other.symbol, constant.other.key, entity.other.inherited-class, markup.heading, markup.inserted.git_gutter, meta.group.braces.curly constant.other.object.key.js string.unquoted.label.js | #99C794 | — |
| entity.name.class, entity.name.type.class, support.type, support.class, support.orther.namespace.use.php, meta.use.php, support.other.namespace.php, markup.changed.git_gutter | #FAC863 | — |
| entity.name.module.js, variable.import.parameter.js, variable.other.class.js | #ED6F7D | — |
| variable.language | #C5A5C5 | italic |
| entity.name.method.js | #D8DEE9 | — |
| meta.class-method.js entity.name.function.js, variable.function.constructor | #D8DEE9 | — |
| entity.other.attribute-name | #BB80B3 | italic |
| markup.inserted | #99C794 | — |
| markup.deleted | #ED6F7D | — |
| markup.changed | #BB80B3 | — |
| string.regexp | #5FB3B3 | — |
| constant.character.escape | #5FB3B3 | — |
| *url*, *link*, *uri* | #5FB3B3 | underline |
| tag.decorator.js entity.name.tag.js, tag.decorator.js punctuation.definition.tag.js | #5A9BCF | italic |
| source.js constant.other.object.key.js string.unquoted.label.js | #ED6F7D | italic |
| source.css entity, source.scss entity | #C5A5C5 | — |
| entity.name.tag, source.css entity.name, source.css entity.name.tag, source.scss entity.name.tag, source.css entity.name.tag entity.name.tag, source.scss entity.name.tag entity.name.tag | #ED6F7D | — |
| source.css support | #FAC863 | — |
| source.css constant, source.css support.constant | #EB9A6D | — |
| source.css string, source.css punctuation.definition.string, source.scss string, source.scss punctuation.definition.string | #99C794 | — |
| source.css variable | #D8DEE9 | — |
| text.html.basic entity.name | #ED6F7D | — |
| meta.tag.metadata.script.html entity.name.tag.html | #ED6F7D | — |
| text.html.basic entity.name.tag | #ED6F7D | — |
| source.js keyword | #5FB3B3 | — |
| source.js entity, source.js entity.name.tag | #ED6F7D | — |
| source.js punctuation | #5FB3B3 | — |
| source.js meta.block | #D8DEE9 | — |
| source.js storage.type.function | #C5A5C5 | — |
| variable.language, entity.name.type.class.js | #ED6F7D | — |
| support.class.component.html | #ED6F7D | — |
| markup.changed | #C5A5C5 | — |
| punctuation.definition.heading.markdown | #D8DEE9 | — |
| entity.name.section.markdown, markup.heading.setext.1.markdown, markup.heading.setext.2.markdown | #C5A5C5 | bold |
| meta.paragraph.markdown | #D8DEE9 | — |
| beginning.punctuation.definition.quote.markdown | #5FB3B3 | — |
| markup.quote.markdown meta.paragraph.markdown | #5A9BCF | italic |
| meta.separator.markdown | #5FB3B3 | — |
| markup.bold.markdown | #5FB3B3 | bold |
| markup.italic.markdown | #5A9BCF | italic |
| beginning.punctuation.definition.list.markdown | #5FB3B3 | — |
| string.other.link.title.markdown | #99C794 | — |
| string.other.link.title.markdown, string.other.link.description.markdown, string.other.link.description.title.markdown | #99C794 | — |
| markup.underline.link.markdown, markup.underline.link.image.markdown | #5A9BCF | — |
| fenced_code.block.language, markup.inline.raw.markdown | #EB9A6D | — |
| fenced_code.block.language, markup.inline.raw.markdown | #5A9BCF | — |
| source.ts entity.name.type | #FAC863 | — |
| source.ts keyword | #C5A5C5 | — |
| source.ts punctuation.definition.parameters | #5FB3B3 | — |
| meta.arrow.ts punctuation.definition.parameters | #5FB3B3 | — |
| source.json meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #FAC863 | — |
| source.json meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #C5A5C5 | — |
| source.json meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #D8DEE9 | — |
| source.json meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #5A9BCF | — |
| source.json meta meta meta meta meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #AB7967 | — |
| source.json meta meta meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #ED6F7D | — |
| source.json meta meta meta meta.structure.dictionary.json string.quoted.double.json - meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta meta meta.structure.dictionary.json punctuation.definition.string - meta meta meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #EB9A6D | — |
| source.json meta meta.structure.dictionary.json string.quoted.double.json - meta meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta meta.structure.dictionary.json punctuation.definition.string - meta meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #FAC863 | — |
| source.json meta.structure.dictionary.json string.quoted.double.json - meta.structure.dictionary.json meta.structure.dictionary.value.json string.quoted.double.json, source.json meta.structure.dictionary.json punctuation.definition.string - meta.structure.dictionary.json meta.structure.dictionary.value.json punctuation.definition.string | #C5A5C5 | — |
| modifier, this, comment, storage.modifier.js, entity.other.attribute-name.js | — | italic |
| token.info-token | #6796E6 | — |
| token.warn-token | #CD9731 | — |
| token.error-token | #F44747 | — |
| token.debug-token | #B267E6 | — |
TypeScript sample highlighted with this variant's colors and tokenColors.
Loading...
export interface User {
id: string;
name: string;
role: "admin" | "member";
tags: string[];
}
/**
* Fetch user data by ID
* @param id
* @returns User object or null if ID is invalid
*/
export async function fetchUser(id: string): Promise<User | null> {
if (!id) {
return null;
}
const response = await fetch(`/api/users/${id}`, {
method: "GET",
headers: { Accept: "application/json" },
});
if (!response.ok) {
throw new Error(`HTTP ${response.status}`);
}
return (await response.json()) as User;
}
function greet(user: User): string {
// Simple greeting function that uses the user's name
return `Hello, ${user.name}!`;
}
export interface User {
id: string;
name: string;
role: "admin" | "member";
tags: string[];
}
/**
* Fetch user data by ID
* @param id
* @returns User object or null if ID is invalid
*/
export async function fetchUser(id: string): Promise<User | null> {
if (!id) {
return null;
}
const response = await fetch(`/api/users/${id}`, {
method: "GET",
headers: { Accept: "application/json" },
});
if (!response.ok) {
throw new Error(`HTTP ${response.status}`);
}
return (await response.json()) as User;
}
function greet(user: User): string {
// Simple greeting function that uses the user's name
return `Hello, ${user.name}!`;
}