/*
 * mystyle5.css 
 * used by test72.ex
 * 
*/

.button {background-color: red;}