Bugfixes for allocation, updated CSS for forward-progress