infr 0.2.5

A gradually typed superset of R
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

# Infr Brand Guidelines

## Logo

The Infr logo features the word "infr" in white on a rounded rectangle with a gradient background.

### Logo Assets

| Asset | Path | Description |
|-------|------|-------------|
| Logo (SVG) | `editors/vscode/images/infr-logo.svg` | Primary logo, 1024x1024 |
| Logo (PNG) | `editors/vscode/images/infr-logo.png` | PNG version, 1024x1024 |
| File Icon (SVG) | `editors/vscode/images/infr-file-icon.svg` | File type icon for `.infr` files |
| File Icon (PNG) | `editors/vscode/images/infr-file-icon.png` | PNG version of file icon |

### Logo Typography

- **Font family:** Avenir
- **Weight:** Regular
- **Color:** White (`#FFFFFF`) on gradient background

## Colors

### Primary Palette

| Name | Hex | Usage |
|------|-----|-------|
| Gradient Start | `#28326E` | Logo background gradient (bottom-left) |
| Gradient End | `#2099A1` | Logo background gradient (top-right) |
| File Icon | `#236789` | File extension icon, plain color |

### Logo Gradient

- **Type:** Linear gradient
- **Angle:** 45 degrees (bottom-left to top-right)
- **Stops:** `#28326E` (0%) → `#2099A1` (100%)

CSS:
```css
background: linear-gradient(45deg, #28326E, #2099A1);
```

### Derived UI Colors

These colors are derived from the brand palette for use in the documentation site and UI:

| Name | Hex | Usage |
|------|-----|-------|
| Primary | `#2B5F8A` | Midpoint of brand gradient, links and accents |
| Primary Dark | `#28326E` | Darker variant, gradient start |
| Primary Darker | `#222B5E` | Darker still |
| Primary Darkest | `#1C244E` | Darkest variant |
| Primary Light | `#2099A1` | Lighter variant, gradient end |
| Primary Lighter | `#3FB5B5` | Lighter still |
| Primary Lightest | `#6DD0CC` | Lightest variant |

## Usage Guidelines

1. **Minimum clear space:** Maintain padding equal to the height of the "i" character around the logo.
2. **Background:** The logo is designed for use on light or dark backgrounds. Use the full-color gradient version whenever possible.
3. **Do not** stretch, rotate, recolor, or add effects to the logo.
4. **Monochrome:** When a single color is needed, use `#236789` (the file icon color).