@import url("alabaster.css");
div.article {padding: 10px; background: #a9a9ff}
span.pre {background-color: #F0F0F0}