Skip to content

Commit f71418a

Browse files
Update rocq_id readme
1 parent 2f1dce7 commit f71418a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

rocq-id/README.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22

33
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-
> **Download Logos**: [Logos Directory](https://github.com/coq/rocq-prover.org/tree/main/rocq-id/rocq-logos.zip)
5+
> **Download Logos**: [Logos Zip](https://github.com/coq/rocq-prover.org/raw/refs/heads/main/rocq-id/rocq-logos.zip)
66
7-
> **Identity Guidelines**: [Rocq Id PDF](https://github.com/coq/rocq-prover.org/tree/main/rocq-id/ROCQ_ID-guidelines.pdf)
7+
> **Identity Guidelines**: [Rocq Id PDF](https://github.com/coq/rocq-prover.org/raw/refs/heads/main/rocq-id/ROCQ_ID-guidelines.pdf)
88
99

1010
## Contents

0 commit comments

Comments
 (0)