UI for Pandoc integration (#393)

Co-authored-by: Thorsten Sommer
This commit is contained in:
nilskruthoffandThorsten Sommer authored and GitHub committed 2025-05-29 14:01:56 +02:00
1 parent 1d31fd9a22
commit 5b685193ef
15 files changed
+766 -4

No files matched your search

+31
View File
@@ -109,4 +109,35 @@
/* Fixed the slider part of MudSplitter inside context div for inner scrolling component */
.inner-scrolling-context > .mud-splitter > .mud-slider > .mud-slider-container {
padding-bottom: 12px;
}
.code-block {
background-color: #2d2d2d;
color: #f8f8f2;
border-radius: 6px !important;
overflow: auto !important;
font-family: Consolas, "Courier New", monospace !important;
text-align: left !important;
}
.code-block pre {
margin: 0 !important;
}
.code-block code {
font-family: inherit !important;
}
.inline-code-block {
background-color: #2d2d2d;
color: #f8f8f2;
border-radius: 6px;
font-family: Consolas, "Courier New", monospace;
text-align: left;
padding: 4px 6px;
margin: 0 2px;
}
.no-elevation {
box-shadow: none !important;
}
+10
View File
@@ -25,4 +25,14 @@ window.clearDiv = function (divName) {
window.scrollToBottom = function(element) {
element.scrollIntoView({ behavior: 'smooth', block: 'end', inline: 'nearest' });
}
window.triggerDownload = function(url, filename) {
const a = document.createElement('a');
a.href = url;
a.setAttribute('download', filename);
a.style.display = 'none';
document.body.appendChild(a);
a.click();
document.body.removeChild(a);
}