#!/usr/bin/env python3

import sys

from pandocfilters import toJSONFilter, RawBlock

def toMiniREPL(key, value, format, meta):

    # print(value, file=sys.stderr)

    if key == 'CodeBlock':

        return RawBlock("markdown", "<MiniRepl tune={`" + value[1] + "`} />")

if __name__ == "__main__":

    toJSONFilter(toMiniREPL)