Make the new doxygen clipboard feature work and look good

This commit is contained in:
Lukas Dürrenberger committed 2024-05-09 09:44:20 +02:00
1 parent d31809042b
commit 933cb6d67a
2 files changed
+42

No files matched your search

+1
View File
@@ -7,6 +7,7 @@
<link rel="stylesheet" type="text/css" href="doxygen.css" title="default" media="screen,print" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<script type="text/javascript" src="clipboard.js"></script>
<script type="text/javascript" src="cookie.js"></script>
<link rel="stylesheet" type="text/css" href="search/search.css" />
<link rel="stylesheet" type="text/css" href="searchOverrides.css" />