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#a9dc76
activityBar.background#1e1e2e
activityBar.border#00000000
activityBar.foreground#cdd6f4
activityBar.inactiveForeground#585b70
activityBarBadge.background#a9dc76

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#6c7086	italic
constant, entity.name.constant, variable.other.constant, variable.language	#f9e2af	—
entity, entity.name	#89b4fa	—
variable.parameter.function	#cdd6f4	—
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}!`;
}