@ -664,3 +664,10 @@ a.symbol {
a.symbol:hover {
color: #BCD4DA;
}
code {
font-family:Menlo, Monaco, Courier;
background-color:#EEE; font-size:14px;
padding: 4px;
font-weight: 600;