* Extract custom property for code background color

* Add website dark mode

* Style edge banner in dark mode

* Make theme picker style more consistent

* Style search results according to theme

* Tweak dark mode button