Brand and logos
This page holds every logo file of Eclipse Atesor™, with what each file is for. Use these files when you write about Atesor, give a talk, or link to the project. The story behind the name and the mark is on About the name.
Each file link on this page opens the file itself. Use the files as they are.
The mark
Section titled “The mark”The mark is a stone with one cut corner. One line inside it starts at an open ring, reverses on three rows, and ends at a solid pad: source code in, a native riscv64 binary out.
The logo
Section titled “The logo”The logo is the mark with the “atesor” wordmark. The wordmark is drawn line art, in the same stroke as the mark.
The small icon has heavier lines and no open ring, so it stays clear at 16 to 32 pixels.

Files for other sites
Section titled “Files for other sites”



Colours
Section titled “Colours”| Name | Hex | Use |
|---|---|---|
| Granodiorite | #1B1E22 |
The mark on light backgrounds; dark surfaces |
| Granodiorite deep | #111316 |
Dark page background |
| Chalk | #ECEEEF |
Text and the mark on dark backgrounds |
| Paper | #F2F2EF |
Light page background |
| Egyptian blue | #2142B0 |
The pad of the mark, buttons and links on light backgrounds |
| Egyptian blue, light | #8CA3FF |
The pad, accents and links on dark backgrounds |
| Malachite | #2E9B6F light, #3FBF88 dark |
“Verified riscv64” only |
How do I use the logo?
Section titled “How do I use the logo?”- Keep clear space on all sides, at least the size of the cut corner.
- Use the full mark at 24 pixels or larger. Below 24 pixels, use the favicon.
- Use the dark-background files on dark backgrounds.
- Do not rotate, stretch, outline or shade the mark.
- Do not change its colours, other than to the one-colour file.
- Do not put the mark on photos or busy patterns.
- Do not set “atesor” in a font as a logo. Use the wordmark file.
How do I write the name?
Section titled “How do I write the name?”- The first time on a page, write Eclipse Atesor™. After that, write Atesor.
- Do not write “ATESOR” or “Atesor AI”.
- The command and package name is
atesor-ai, in code font. - The tagline is “From source to verified riscv64.”
Other trademarks
Section titled “Other trademarks”- Eclipse, the Eclipse logo, Eclipse Atesor and Atesor are trademarks of Eclipse Foundation AISBL. For the Eclipse logo, see Logo and artwork.
- RISC-V and the RISC-V logo are registered trademarks of RISC-V International. This site shows the RISC-V symbol from the official logo file, unchanged. For the RISC-V logo, see the RISC-V branding guidelines.