Skip to content

Commit 67ac484

Browse files
Update rocq_id readme
1 parent a379dbc commit 67ac484

File tree

1 file changed

+13
-9
lines changed

1 file changed

+13
-9
lines changed

rocq-id/README.md

+13-9
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,11 @@
1-
# ROCQ Identity Guidelines
1+
# ROCQ Identity
22

3-
Welcome to the ROCQ Identity Guidelines sub repository. This repository provides comprehensive guidance on the visual and branding standards for ROCQ, ensuring a unified and professional identity across all platforms and applications.
3+
Welcome to the ROCQ Identity Guidelines and Logos sub repository. This repository provides comprehensive guidance on the visual and branding standards for ROCQ. The ROCQ Identity Guidelines focus on maintaining consistency in the use of logos, typography, and color palettes. These standards are essential for creating a cohesive visual identity that represents the ROCQ community across all platforms and applications.
44

5-
## Overview
5+
> **Download Logos**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id)
6+
7+
> **Identity Guidelines**: [Rocq Id PDF](https://github.com/coq/rocq-prover.org/tree/main/rocq-id/ROCQ_ID-guidelines.pdf)
68
7-
The ROCQ Identity Guidelines focus on maintaining consistency in the use of logos, typography, and color palettes. These standards are essential for creating a cohesive visual identity that represents the ROCQ community.
89

910
## Contents
1011

@@ -18,7 +19,6 @@ The ROCQ Identity Guidelines focus on maintaining consistency in the use of logo
1819
- Maintain clear space (2x the height of the bird icon).
1920
- Avoid modifications such as stretching, rotating, altering colors, or adding effects (e.g., shadows, gradients).
2021

21-
> **Download Logos**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id)
2222

2323
### 2. **Typography**
2424
- **Primary Font**: *Instrument Rocq*
@@ -34,10 +34,14 @@ The ROCQ Identity Guidelines focus on maintaining consistency in the use of logo
3434

3535
### 3. **Color Palette**
3636
The ROCQ brand uses a distinct and minimalist color palette:
37-
- **Rocq Blue**: `RGB 38, 0, 133` | `HEX #260085`
38-
- **Rocq Orange**: `RGB 255, 84, 10` | `HEX #FF540A`
39-
- **Cream (Background)**: `RGB 246, 230, 225` | `HEX #F6E6E1`
40-
- **Charcoal Black (Text)**: `RGB 13, 13, 13` | `HEX #0D0D0D`
37+
38+
![#260085](https://placehold.co/15x15/260085/260085.png) **Rocq Blue** `RGB 38, 0, 133` | `HEX #260085`
39+
40+
![#FF540A](https://placehold.co/15x15/FF540A/FF540A.png) **Rocq Orange** `RGB 255, 84, 10` | `HEX #FF540A`
41+
42+
![#F6E6E1](https://placehold.co/15x15/F6E6E1/F6E6E1.png) **Cream (Background)** `RGB 246, 230, 225` | `HEX #F6E6E1`
43+
44+
![#0D0D0D](https://placehold.co/15x15/0D0D0D/0D0D0D.png) **Charcoal Black (Text)** `RGB 13, 13, 13` | `HEX #0D0D0D`
4145

4246
### 4. **Improper Usage**
4347
The following practices are strictly prohibited to ensure brand integrity:

0 commit comments

Comments
 (0)