{"type":"rich","version":1.0,"title":"Placing signs in line numbers, making them different color","width":2464,"html":"<a href=\"https://asciinema.org/a/672896\" target=\"_blank\"><img alt=\"Placing signs in line numbers, making them different color\" src=\"https://asciinema.org/a/672896.png\" width=\"2464\"></a>","height":1272,"author_name":"habamax","author_url":"https://asciinema.org/~habamax","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1272,"thumbnail_url":"https://asciinema.org/a/672896.png","thumbnail_width":2464}