Hi all, another solved but “in case anyone else got messed up by this” post. Probably it is not an issue unless you are using a child-theme against the openlab theme for your main site.
About a month or so back I upgrade our server from v1.1 to 1.23. The interface, most notable the top bar was clear not getting css. There was a console error in browser that indicated that it could find, in our case, blue.css. A closer look showed that it was looking for it in the openlab-theme directory rather than the original openlab directory.
Some quick edits of style.css files and possibly the directory name quickly sorted it out. (I honestly can’t remember the precise set of changes as I had an instructor and some students using the system at the time and I needed to be quick. My preference is always to only edit my own code, so I imagine that’s what I did.)
The same thing happened yesterday in reverse after upgrading to v1.24, and I reversed the changes again.