div.def {padding:10px; background-color:lightyellow; border:1px dotted gray}