docs/html/manual.css
include/js/jstree.js
include/js/themes/default-dark/*
include/js/themes/default/*
