Update dependency: web/k-web-theme#4876

rv-jenkins wants to merge 1 commit intodevelopruntimeverification/k:developfrom

_update-deps/runtimeverification/k-web-themeruntimeverification/k:_update-deps/runtimeverification/k-web-themeCopy head branch name to clipboard