Add rocq_id readme / update .gitignore

Author: noirblancrouge

.gitignore

@@ -11,3 +11,4 @@ _opam/
 # Files that people sometimes accidentally include in their PRs
 *:OECustomProperty
 .DS_Store
+.nova

.nova/Artwork

@@ -0,0 +1,58 @@
+# ROCQ Identity Guidelines
+
+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.
+
+## Overview
+
+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.
+
+## Contents
+
+### 1. **Logos**
+- **Primary Logo**: Carefully designed for maximum legibility at different sizes and applications.
+- **Vertical Logo**: Used sparingly for specific layouts requiring central alignment or standalone usage.
+- **Badge Logos**: Compact versions for use in social media, merchandise, and small-scale applications.
+- **Event Logos**: Customized versions incorporating event names for special occasions, ensuring proportionality and visual harmony.
+
+**Usage Rules:**
+- Maintain clear space (2x the height of the bird icon).
+- Avoid modifications such as stretching, rotating, altering colors, or adding effects (e.g., shadows, gradients).
+
+> **Download Logos**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id)
+
+### 2. **Typography**
+- **Primary Font**: *Instrument Rocq*  
+  - Bold: For headlines, titles, and certain call-to-actions (avoid all caps unless required).
+  - Regular: For body text, labels, and lists.
+
+- **Secondary Font**: *Source Code Pro*  
+  - Recommended for displaying code and technical content.
+
+> **Font Information**:  
+- Instrument Rocq: A custom version of [Instrument Sans](https://github.com/Instrument/instrument-sans), designed by Rodrigo Fuenzalida and Jordan Egstad.  
+- [Source Code Pro](https://github.com/pauldhunt/SourceCodePro): Designed by Paul D. Hunt for programming environments.
+
+### 3. **Color Palette**
+The ROCQ brand uses a distinct and minimalist color palette:
+- **Rocq Blue**: `RGB 38, 0, 133` | `HEX #260085`
+- **Rocq Orange**: `RGB 255, 84, 10` | `HEX #FF540A`
+- **Cream (Background)**: `RGB 246, 230, 225` | `HEX #F6E6E1`
+- **Charcoal Black (Text)**: `RGB 13, 13, 13` | `HEX #0D0D0D`
+
+### 4. **Improper Usage**
+The following practices are strictly prohibited to ensure brand integrity:
+1. Do not stretch, rotate, or resize individual elements of the logo.
+2. Do not use unapproved colors, gradients, or transparency.
+3. Do not apply outlines, shadows, or filters.
+4. Do not violate the minimum clear space or place the logo over illegible backgrounds.
+
+For a full list of prohibited practices, refer to the [Logo Usage](#logos) section.
+
+## Key Resources
+- **Official Website**: [rocq-prover.org](https://rocq-prover.org)
+- **Repository for Assets**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id)
+
+
+---
+
+Follow these guidelines strictly to maintain consistency and quality in the ROCQ brand's visual identity. For questions or contributions, feel free to open an issue or contact the maintainers.