diff options
Diffstat (limited to 'tools/gui/resources/web/index.html')
| -rw-r--r-- | tools/gui/resources/web/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/gui/resources/web/index.html b/tools/gui/resources/web/index.html index 9bf76f8..6b7a7a9 100644 --- a/tools/gui/resources/web/index.html +++ b/tools/gui/resources/web/index.html @@ -7,6 +7,7 @@ <meta name="author" content="tim-zh"> <title>CBT</title> <link rel="stylesheet" href="styles.css"> + <link rel="stylesheet" href="highlight/hljs-cbt-theme.css"> </head> <body> <div id="popup"> @@ -60,6 +61,7 @@ </div> <script src="jquery-3.1.1.min.js"></script> +<script src="highlight/highlight.pack.js"></script> <script src="definitions.js"></script> <script src="main.js"></script> </body> |