font-size:95%; border-color: lightgrey; border-width: 1px; border-style: solid; background-color: lightyellow; margin-top: 0.5em; margin-bottom: 0.5em;
