-
Benjamin Otte authored
Instead of drawing a gradient in the background color, draw a CSS box. And change the theme so instead of setting just a background color it draws a gradient. The resulting visuals are the same.
dd7c65a9
Instead of drawing a gradient in the background color, draw a CSS box. And change the theme so instead of setting just a background color it draws a gradient. The resulting visuals are the same.