Default theme (from the perspective of the css handling) is not the server default theme (which may be set to some custom theme) but is hard…
Show more
Default theme (from the perspective of the css handling) is not the server default theme (which may be set to some custom theme) but is hardcoded as defaultHTML.
Show less
