gernst
committed
on 19 Dec 18
make portal::show_proc_helper theme aware