Merge pull request riscv#9 from arichardson/icon-name-deprecated

Use a non-deprecated icon name for notes
kbroch-rivosinc · Feb 14, 2024 · 51d3e82 · 51d3e82
2 parents 79e585b + 4de415f
commit 51d3e82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/themes/riscv-pdf.yml b/themes/riscv-pdf.yml
@@ -156,7 +156,7 @@ admonition:
   padding: [0, $horizontal_rhythm, 0, $horizontal_rhythm]
   icon:
     note:
-      name: pencil-square-o
+      name: far-edit
       stroke_color: 6489b3
     tip:
       name: comments-o