2022-11-09 09:03:19 +01:00
|
|
|
import { setup_theme_switch } from "./theme"
|
2022-11-09 11:03:38 +01:00
|
|
|
import { fix_checkbox_list_style } from "./style"
|
|
|
|
|
import { setup_selectable } from './selectable'
|
2022-11-09 09:03:19 +01:00
|
|
|
|
|
|
|
|
|
2022-11-09 11:03:38 +01:00
|
|
|
setup_theme_switch('theme-switch')
|
|
|
|
|
setup_selectable()
|
|
|
|
|
fix_checkbox_list_style('.md ul')
|
