You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

David Benqué c1a5f236b6 Change logo in Code and Slide empty previews		4 years ago
..
app-code.less	add a margin below rendered media-tags to match that of paragraphs	4 years ago
export.js	Fix issues of no file extension for pad export	5 years ago
index.html	outer.css cache busting	5 years ago
inner.html	Added print button to code pad page.	6 years ago
inner.js	Change logo in Code and Slide empty previews	4 years ago
markers.js	Fix XXX	5 years ago
mermaid-new.css	Update mermaid	5 years ago
mermaid.css	revert addition of underlines to some mermaid titles	5 years ago
mermaid.min.js	Update mermaid	5 years ago
orgmode.js	Make sure we don't initialize orgmode multiple times	4 years ago