docs theme

hi...i like the Code Theme used on the documentation

does anybody know wich is it?



looks like code is highlighted with highlight javascript lib: could be, but wich style is using? tested all of it and didn't find any even near:

edited Dec '16

My guess is that it's a heavily modified vanila highlight theme...

Here is the stylesheet for it: