@ -147,6 +147,7 @@ pre {
padding: 5px;
background-color: #EEEEEE;
border: 1px dotted #AAAAAA;
white-space: pre-wrap;
}
hr {