use alect-dark as default theme