diff --git a/vscode-lean4/media/lean-file-icon-blue.png b/vscode-lean4/media/lean-file-icon-blue.png
new file mode 100644
index 00000000..bdd5bc99
Binary files /dev/null and b/vscode-lean4/media/lean-file-icon-blue.png differ
diff --git a/vscode-lean4/media/lean-file-icon-white.ico b/vscode-lean4/media/lean-file-icon-white.ico
new file mode 100644
index 00000000..1a5bc0d2
Binary files /dev/null and b/vscode-lean4/media/lean-file-icon-white.ico differ
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index a5072d08..0cb01586 100644
--- a/vscode-lean4/package.json
+++ b/vscode-lean4/package.json
@@ -782,7 +782,11 @@
                 "configuration": "./language-configuration.json",
                 "extensions": [
                     ".lean"
-                ]
+                ],
+                "icon": {
+                    "dark": "./media/lean-file-icon-blue.png",
+                    "light": "./media/lean-file-icon-blue.png"
+                }
             },
             {
                 "id": "lean",