Adding rocq-id folder / update images and styles

Author: noirblancrouge

.nova/Artwork

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg id="Calque_1" xmlns="http://www.w3.org/2000/svg" version="1.1" viewBox="0 0 210 39">
+  <!-- Generator: Adobe Illustrator 29.1.0, SVG Export Plug-In . SVG Version: 2.1.0 Build 142)  -->
+  <defs>
+    <style>
+      .st0 {
+        fill: #260085;
+      }
+
+      .st1 {
+        fill: #ff540a;
+      }
+    </style>
+  </defs>
+  <path class="st0" d="M37.2,25.6c-1.9-1.3-4-2-6.3-2s-5.7,1.2-8.2,3.7l-10.8,10.8c-2.8-1.8-5-4.2-6.6-7.2-1.6-3-2.4-6.2-2.4-9.6s.4-4.7,1.3-7.1h15.4v-2.2H3.7c-1-1.4-1.8-2.9-2.4-4.5h18.4v-2.2H.6C.3,3.9,0,2.4,0,.9h23.2c3.7,0,7.1,1,10.2,2.8,3.1,1.8,5.6,4.3,7.4,7.4,1.8,3.1,2.7,6.5,2.7,10.2s-.8,6.6-2.4,9.6c-.7-2.2-2-3.9-3.9-5.3ZM35,16.2c.4-.4.7-1,.7-1.6s-.2-1.2-.7-1.6c-.4-.4-1-.7-1.6-.7s-1.2.2-1.6.7c-.4.4-.7,1-.7,1.6s.2,1.2.7,1.6c.4.4,1,.7,1.6.7s1.2-.2,1.6-.7Z"/>
+  <g>
+    <path class="st1" d="M76.7,22.9c1.7-1.1,3.1-2.5,4-4.2,1-1.8,1.5-3.7,1.5-5.8s-.5-4.2-1.5-6c-1-1.8-2.5-3.2-4.3-4.3-1.8-1.1-3.9-1.6-6.3-1.6h-17.4v37.1h6.9v-13.4h3.8l13.4,13.4h9.8l-13.7-13.7c1.4-.2,2.7-.7,3.9-1.4ZM59.6,18.3V7.6h10.4c1,0,1.8.2,2.7.6.8.4,1.5,1,1.9,1.9.5.8.7,1.8.7,2.8s-.2,2-.7,2.8c-.5.8-1.1,1.4-1.9,1.9-.8.4-1.7.6-2.7.6h-10.4Z"/>
+    <path class="st1" d="M115.9,2.9c-2.9-1.7-6.1-2.5-9.7-2.5s-6.8.8-9.7,2.5c-2.9,1.7-5.2,4-6.9,6.9-1.7,2.9-2.5,6.1-2.5,9.7s.8,6.8,2.5,9.7c1.7,2.9,4,5.2,6.9,6.9,2.9,1.7,6.1,2.5,9.7,2.5s6.8-.8,9.7-2.5c2.9-1.7,5.2-4,6.9-6.9,1.7-2.9,2.5-6.1,2.5-9.7s-.8-6.8-2.5-9.7c-1.7-2.9-4-5.2-6.9-6.9ZM116.8,25.7c-1.1,1.9-2.5,3.3-4.4,4.4-1.9,1.1-3.9,1.6-6.2,1.6s-4.3-.5-6.2-1.6c-1.9-1.1-3.3-2.5-4.4-4.4-1.1-1.9-1.6-3.9-1.6-6.2s.5-4.3,1.6-6.2c1.1-1.9,2.5-3.3,4.4-4.4,1.9-1.1,3.9-1.6,6.2-1.6s4.3.5,6.2,1.6c1.9,1.1,3.3,2.5,4.4,4.4,1.1,1.9,1.6,3.9,1.6,6.2s-.5,4.3-1.6,6.2Z"/>
+    <path class="st1" d="M158.3,27.2c-1.1,1.4-2.5,2.5-4.1,3.3-1.7.8-3.5,1.2-5.5,1.2s-4.4-.5-6.2-1.6c-1.9-1-3.3-2.5-4.4-4.3-1.1-1.8-1.6-3.8-1.6-5.9s.5-4.4,1.6-6.3c1.1-1.9,2.5-3.5,4.4-4.6,1.9-1.1,3.9-1.7,6.2-1.7s3.9.4,5.5,1.2c1.7.8,3.1,1.9,4.1,3.2,1.1,1.4,1.8,2.9,2.2,4.5h7.1c-.4-3-1.5-5.7-3.3-8.1-1.8-2.4-4-4.3-6.7-5.7-2.7-1.4-5.7-2.1-8.9-2.1s-6.8.9-9.7,2.7c-2.9,1.8-5.2,4.2-6.9,7.2-1.7,3-2.5,6.3-2.5,9.8s.8,6.5,2.5,9.3c1.7,2.8,4,5.1,6.9,6.8,2.9,1.7,6.1,2.5,9.7,2.5s6.2-.7,8.9-2.1c2.7-1.4,5-3.3,6.7-5.8s2.8-5.1,3.3-8.1h-7.1c-.4,1.7-1.1,3.2-2.2,4.6Z"/>
+    <path class="st1" d="M207.5,29.2c1.7-2.9,2.5-6.1,2.5-9.7s-.8-6.8-2.5-9.7c-1.7-2.9-4-5.2-6.9-6.9-2.9-1.7-6.1-2.5-9.7-2.5s-6.8.8-9.7,2.5c-2.9,1.7-5.2,4-6.9,6.9-1.7,2.9-2.5,6.1-2.5,9.7s.8,6.8,2.5,9.7c1.7,2.9,4,5.2,6.9,6.9,2.9,1.7,6.1,2.5,9.7,2.5s6.8-.8,9.7-2.5c.2,0,.3-.2.5-.3l2.9,2.9,4.9-4.8-2.6-2.6c.5-.6.9-1.3,1.3-2ZM190.9,31.7c-2.3,0-4.3-.5-6.2-1.6-1.9-1.1-3.3-2.5-4.4-4.4-1.1-1.9-1.6-3.9-1.6-6.2s.5-4.3,1.6-6.2c1.1-1.9,2.5-3.3,4.4-4.4s3.9-1.6,6.2-1.6,4.3.5,6.2,1.6c1.9,1.1,3.3,2.5,4.4,4.4,1.1,1.9,1.6,3.9,1.6,6.2s-.5,4.3-1.6,6.2c-.1.2-.2.3-.3.5l-7.9-7.9-4.9,4.8,7.6,7.6c-1.5.7-3.2,1-5,1Z"/>
+  </g>
+</svg>

.nova/Configuration.json

@@ -0,0 +1,5 @@
+{
+  "workspace.art_style" : 1,
+  "workspace.color" : 12,
+  "workspace.name" : "rocq-prover.org"
+}