Superstitions | Coding Theme

Superstitions

Name: Superstitions
Author: aidenhillar

Publisher: aidenhillarThemes in package: 2

Soft, simple, and readable. Made with blue light glasses in mind.

GitHub

Color themes

VS Code preview

Full workbench mockup using this variant's colors and tokenColors.

colors

Workbench UI color keys from the theme JSON colors map.

activityBar.background#181b2b
activityBarBadge.background#007acc
button.background#00727b
commandCenter.activeBackground#252b46
commandCenter.background#202740
editor.background#1f2438

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
text.html.derivative	#fffdeb	—
comment, punctuation.definition.comment	#247b9ed6	italic bold
variable, string constant.other.placeholder	#fffdeb	—
constant.other.color	#ffffff	—
invalid, invalid.illegal

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

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}!`;
}