body { background:white; color:black; margin: 0; padding: 0; }
ul { display:inline; margin:0; padding:0; }
li { display:inline; margin:0; padding:0; }
pre { display:inline; }
.timestamp { text-align:right; font-size:75%; }