##// END OF EJS Templates
cleanup some `pre` css inheritance...
cleanup some `pre` css inheritance We had various overrides of the bootstrap defaults for font-size and line-height every time we made a pre tag, and then some overrides of our overrides when we wanted something slightly different. This moves the most basic overrides to apply to all pre tags, reducing the number of downstream changes we need.

File last commit:

r13582:b21d447e
r16205:2fd8ab24
Show More
_dummy.py
29 lines | 578 B | text/x-python | PythonLexer
#-----------------------------------------------------------------------------
# Copyright (C) 2013 Min RK
#
# Distributed under the terms of the 2-clause BSD License.
#-----------------------------------------------------------------------------
from contextlib import contextmanager
def beginActivityWithOptions(options, reason=""):
return
def endActivity(activity):
return
def nope():
return
def nap():
return
@contextmanager
def nope_scope(
options=0,
reason="Because Reasons"
):
yield
def napping_allowed():
return True