.replacement {
  font-family : "Arial Unicode MS", 
		"Code2000", "Code2001",
//		"Bitstream Cyberbit",
}
.mapping-input {
  font-family : monospace;
}
.webpage-url {
  text-decoration : none;
  color : black;
}
.webpage-url-token {
  font-weight : bolder;
}
.webpage-token {
  font-weight : bold;
}
.webpage-token-value {
  font-family : monospace;
}