Improve animation when changing tab
-rw-r--r-- 85 .gitignore
-rw-r--r-- 786 LICENSE
-rw-r--r-- 452 README.md
-rw-r--r-- 534 TODO
-rw-r--r-- 15726 app.js
-rw-r--r-- 38652 base_pieces.css
-rw-r--r-- 70249 base_rules.js
-rw-r--r-- 9241 common.css
lrwxrwxrwx 18 favicon.ico -> assets/favicon.ico
-rw-r--r-- 3299 index.html
-rw-r--r-- 998 package-lock.json
-rw-r--r-- 47 package.json
-rw-r--r-- 368 parameters.js.dist
-rw-r--r-- 7336 server.js
-rwxr-xr-x 284 start.sh
-rwxr-xr-x 184 stop.sh
drwxr-xr-x - utils
-rw-r--r-- 9092 variants.js
drwxr-xr-x - variants