Dark Pines

Name: Dark Pines
Author: evanl

Publisher: evanlThemes in package: 1

Dark theme based off Base 16 Ocean color scheme

GitHub

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.activeBackground#1f2326
activityBar.activeBorder#a04b52
activityBar.activeFocusBorder#363a3d
activityBar.background#1f2326
activityBar.border#363a3d
activityBar.dropBorder#44484b40

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
support.constant, punctuation.definition.template-expression.begin, punctuation.definition.template-expression.end, variable.other.constant, entity.other.attribute-name.id, support.class.component	#98A1A9
constant.language.null, keyword.other.important, keyword.control.at-rule, keyword.operator	#AA9AA8
keyword.control, storage.type.function, keyword.operator.logical, storage.type	#AA9AA8	italic
entity.name.function, support.function.misc, constant.character.escape

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

Dark Pines | Coding Theme