red { float: ​ | ​ | ​ ;
green { overflow: ​ | ​ | ​ | ​ ; }