paprika

Author	SHA1	Message	Date
Peter Cai	f7d93bf799	build.rs: re-run after any file inside directories have changed this is needed to regenerate the build timestamp properly	3 years ago
Peter Cai	1d4ba2a07b	build.rs: also re-run when theme is changed	3 years ago
Peter Cai	2ee88e11b0	drop rbtag and use our own hand-rolled implementation because we need to update build timestamp each time anything related to rendering is changed. The rbtag crate only supports git commit times. Also, reproducible build isn't exactly a goal of this project.	3 years ago
Peter Cai	f519152465	integrate hljs into backend to provide code highlighting 1. Use hljs and wasm_bindgen to parse code 2. Allow the final user to choose what language to include by generating inline_js in build.rs for #[wasm_bindgen] (a thin wrapper around the raw hljs to load whatever is needed by config.json statically rather than dynamically) 3. Integrate the monokai color scheme into our default theme	3 years ago
Peter Cai	23d899dd0e	support build-time theme selection via build.rs	3 years ago