let nord0 = Jstr.v "#2e3440"
let nord8 = Jstr.v "#81a1c1"