Osaka Solarized Pro

Name: Osaka Solarized Pro
Author: AashishKumar-3002

Publisher: AashishKumar-3002Themes in package: 3

A professional Solarized-inspired theme collection for VS Code with dark, light, and Monokai Storm variants, originally created by craftzdog for Neovim

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.activeBorder#2aa19844
activityBar.background#002731
activityBar.border#00000000
activityBar.foreground#7c878e
activityBar.inactiveForeground#445056
activityBarBadge.background#2aa198

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#586e75	italic
constant, entity.name.constant, variable.other.constant, variable.language	#2aa198	—
entity, entity.name	#268bd2	—
variable.parameter.function	#7c878e	—
entity.name.tag

Shiki preview

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

Osaka Solarized Pro | Coding Theme

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