Deep Ocean Theme by philornot
Publisher: philornotThemes in package: 1
My best attempt to mimick the Deep Ocean Theme by Kostyantyn Safonov, which is JetBrains-IDE-only.
My best attempt to mimick the Deep Ocean Theme by Kostyantyn Safonov, which is JetBrains-IDE-only.
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, comment.block, comment.line, comment.documentation | #4d6470 | italic |
| comment.documentation.tag | #efaeef | bold italic |
| comment.documentation.value | #cdd3de | bold italic |
| variable, string constant.other.placeholder, identifier | #cdd3de | — |
| variable.parameter | #ffa726 | — |
| variable.other | #efaeef | italic |
| variable.other.instance | #889b9f | — |
| variable.other.static | #818b8f | italic |
| variable.other.readwrite | #eeffe3 | underline |
| constant.other.color | #ffffff | — |
| invalid, invalid.illegal | #ffa726 | bold |
| invalid.illegal.character.escape | #ffa726 | underline |
| invalid.deprecated | #C3CEE3 | strikethrough |
| keyword, storage.type, storage.modifier | #efaeef | — |
| keyword.control, constant.other.color, punctuation, meta.tag, 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, keyword.operator | #51c5c5 | — |
| punctuation.definition.brackets, punctuation.definition.parameters | #3b8c8c | — |
| entity.name.tag, meta.tag.sgml, markup.deleted.git_gutter | #f36e77 | — |
| entity.name.function, meta.function-call, variable.function, support.function, keyword.other.special-method | #68caff | — |
| entity.name.function.instance | #68caff | — |
| entity.name.function.static | #68caff | italic |
| meta.block variable.other | #ffa726 | — |
| support.other.variable, string.other.link | #ffa726 | — |
| constant.numeric, constant.language, support.constant, constant.character, constant.escape, keyword.other.unit, keyword.other | #ff9e60 | — |
| constant.language | #51c5c5 | underline |
| constant.language.boolean | #c792ea | italic |
| 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 | #98d792 | — |
| constant.character.escape | #85c3f4 | — |
| entity.name, support.type, support.class, support.other.namespace.use.php, meta.use.php, support.other.namespace.php, markup.changed.git_gutter, support.type.sys-types | #e7d175 | — |
| entity.name.class, entity.name.type.class | #e7d175 | — |
| entity.name.class.reference | #80d8d1 | — |
| entity.name.interface | #98d792 | italic |
| support.type | #B2CCD6 | — |
| source.css support.type.property-name, source.sass support.type.property-name, source.scss support.type.property-name, source.less support.type.property-name, source.stylus support.type.property-name, source.postcss support.type.property-name, support.function.property-value.css | #e7d175 | — |
| entity.other.attribute-name.class, entity.other.attribute-name.class.css | #efaeef | bold |
| entity.other.attribute-name.id.css | #e7d175 | — |
| entity.name.module.js, variable.import.parameter.js, variable.other.class.js | #ffa726 | — |
| variable.language | #ffa726 | italic |
| entity.name.method.js | #82AAFF | italic |
| meta.class-method.js entity.name.function.js, variable.function.constructor | #82AAFF | — |
| entity.other.attribute-name | #C792EA | — |
| text.html.basic entity.other.attribute-name.html, text.html.basic entity.other.attribute-name, entity.other.attribute-name.html, meta.attribute.html | #efaeef | italic |
| source.sass keyword.control | #82AAFF | — |
| storage.type.annotation, meta.annotation, variable.parameter.annotation, meta.annotation.attribute | #C792EA | — |
| entity.name.annotation, meta.annotation.name | #DCA9DC | — |
| entity.other.attribute-name.annotation, meta.annotation.attribute.name | #F78C6C | — |
| meta.decorator.python, entity.name.function.decorator.python | #85c3f4 | — |
| storage.type.annotation.kotlin, meta.annotation.kotlin | #f36e77 | — |
| markup.inserted | #C3E88D | — |
| markup.deleted | #ffa726 | — |
| markup.changed | #C792EA | — |
| string.regexp | #89DDFF | — |
| constant.character.escape | #89DDFF | — |
| *url*, *link*, *uri* | — | underline |
| tag.decorator.js entity.name.tag.js, tag.decorator.js punctuation.definition.tag.js | #82AAFF | italic |
| source.js constant.other.object.key.js string.unquoted.label.js | #ffa726 | italic |
| source.json meta.structure.dictionary.json support.type.property-name.json | #C792EA | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #FFCB6B | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #F78C6C | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #ffa726 | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #C17E70 | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #82AAFF | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #ffa726 | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #C792EA | — |
| source.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json meta.structure.dictionary.value.json meta.structure.dictionary.json support.type.property-name.json | #C3E88D | — |
| text.html.markdown, punctuation.definition.list_item.markdown | #EEFFFF | — |
| text.html.markdown markup.inline.raw.markdown | #C792EA | — |
| text.html.markdown markup.inline.raw.markdown punctuation.definition.raw.markdown | #65737E | — |
| markdown.heading, markup.heading | markup.heading entity.name, markup.heading.markdown punctuation.definition.heading.markdown | #C3E88D | — |
| markup.italic | #ffa726 | italic |
| markup.bold, markup.bold string | #ffa726 | bold |
| markup.bold markup.italic, markup.italic markup.bold, markup.quote markup.bold, markup.bold markup.italic string, markup.italic markup.bold string, markup.quote markup.bold string | #ffa726 | bold |
| markup.underline | #F78C6C | underline |
| markup.quote punctuation.definition.blockquote.markdown | #65737E | — |
| markup.quote | — | italic |
| string.other.link.title.markdown | #82AAFF | — |
| string.other.link.description.title.markdown | #C792EA | — |
| constant.other.reference.link.markdown | #FFCB6B | — |
| markup.raw.block, markup | #546e7a | — |
| markup.raw.block.fenced.markdown | #00000050 | — |
| punctuation.definition.fenced.markdown | #00000050 | — |
| markup.raw.block.fenced.markdown, variable.language.fenced.markdown, punctuation.section.class.end | #EEFFFF | — |
| variable.language.fenced.markdown | #65737E | — |
| meta.separator | #65737E | bold |
| markup.table | #EEFFFF | — |
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}!`;
}