Open rpbouman opened 8 years ago
Use css Content to make identifiers appear as MDX-style square braced identifiers, and make alias appear as double quoted
Use css Content to make identifiers appear as MDX-style square braced identifiers, and make alias appear as double quoted