general.css, add margin-bottom-tiny & margin-bottom-neg; 3.2, 10.5, 16.2 corrections plus 16.2 code cleanup; enlarge-ops, enlarge not-equals