This commit is mostly build infrastructure changes; the stylesheet itself
is barely changed.