lean4monaco 1.1.0 → 1.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/infowebview.js +1 -1
- package/package.json +1 -1
package/dist/infowebview.js
CHANGED
|
@@ -132,7 +132,7 @@ export class IFrameInfoWebviewFactory {
|
|
|
132
132
|
color: var(--vscode-editor-foreground);
|
|
133
133
|
}
|
|
134
134
|
</style>
|
|
135
|
-
<link rel="stylesheet" href="
|
|
135
|
+
<link rel="stylesheet" href="/infoview/index.css">
|
|
136
136
|
<link rel="stylesheet" href="${new URL('./css/vscode_webview.css', import.meta.url)}">
|
|
137
137
|
<link rel="stylesheet" href="${new URL('./css/custom.css', import.meta.url)}">
|
|
138
138
|
</head>
|