diff --git a/kibot/out_kiri.py b/kibot/out_kiri.py index 0bb0c7fc..fbad4753 100644 --- a/kibot/out_kiri.py +++ b/kibot/out_kiri.py @@ -190,6 +190,7 @@ class KiRiOptions(VariantOptions): copy2(os.path.join(src_dir, 'kiri.js'), os.path.join(web_dir, 'kiri.js')) copy2(os.path.join(src_dir, 'index.html'), os.path.join(web_dir, 'index.html')) copytree(os.path.join(src_dir, 'images'), os.path.join(web_dir, 'images'), dirs_exist_ok=True) + copytree(os.path.join(src_dir, 'utils'), os.path.join(web_dir, 'utils'), dirs_exist_ok=True) # Colors for the layers with open(os.path.join(web_dir, 'layer_colors.css'), 'wt') as f: f.write(LAYER_COLORS_HEAD) diff --git a/kibot/resources/kiri/index.html b/kibot/resources/kiri/index.html index 10446455..79c74c95 100644 --- a/kibot/resources/kiri/index.html +++ b/kibot/resources/kiri/index.html @@ -3,12 +3,9 @@
- - - - - - + + + @@ -322,10 +319,8 @@ - --> - - - + +