// Pre-paint theme bootstrap. Kept as an external file (not an inline