Reduce th size of code highlight plugin used in doc