)]}'
{
  "id": "831edf6a25f0b85ea6e9f1b495a35aef30835c4e",
  "repo": "java-prettify",
  "revision": "41b99a4104fcec3866a84b79d115c0ba21448d88",
  "path": "javadoc/prettify/Theme.html"
}