corpus index filtering ok #1801

2023-03-01 22:00:43 +01:00
parent 249d7fdb02
commit f903424ddb
6 changed files with 79 additions and 15 deletions
@@ -1,7 +1,8 @@
 $bleuroi: rgb(61,82,102);
 $bleuroilight: lighten(rgb(61,82,102), 30%);
-$gris: rgb(200,204,204);
 $grisclair: rgb(230,234,234);
+$gris: rgb(190,194,194);
+$grismoyen: rgb(150,150,160);
 $grisfonce: rgb(57,57,64);
 $or: rgb(179,161,125);
 $rouge: rgb(204,61,82);