#ad_warning {
  display: none;
}

#browsing_warning {
  display: none;
}

.literal {
  background-color: #ddf0ff;
}

span.pre {
  background-color: #ddf0ff;
  color:#205080;
}