##// END OF EJS Templates
Transfer of border-box-sizing from js to css...
Transfer of border-box-sizing from js to css `border-box-sizing` is pure styling, it has nothing to do in Javascript it should be put in css to be overwritable.

File last commit:

r15672:8a560994
r17422:c49778be
Show More
style_python.tplx
21 lines | 630 B | text/plain | TextLexer
((= Python input/output style =))
((*- extends 'base.tplx' -*))
% Custom definitions
((* block definitions *))
((( super() )))
% Pygments definitions
((( resources.latex.pygments_definitions )))
((* endblock definitions *))
%===============================================================================
% Input
%===============================================================================
((* block input scoped *))
\begin{Verbatim}[commandchars=\\\{\}]
((( cell.input | highlight2latex(language=resources.get('language'), strip_verbatim=True) | add_prompts )))
\end{Verbatim}
((* endblock input *))