additions to CSS