def css():
css.prop.font_size = css.pt(8)
css.prop.font_weight = css.values.font_weights.x500
css.prop.font_family = css.values.font_families.courier_new
css.prop.padding = css.pixel(10)
css.margin_top = css.pixel(15)
css.margin_bottom = css.pixel(15)
css.prop.background_color = css.rgb(245,245,245)
css.prop.border = 'solid 3px rgb(200,200,200)'
def __init__(self, parent, code, num_start = 0, header = True, tab_size = 4):
div_root.__init__(self, parent = parent)
if isinstance(code, str):
lines = Parser(raw = open(code).read()).out_lines
else:
source_lines = list(inspect.getsourcelines(code))[0]
if header is False:
source_lines.pop(0)
for i,line in enumerate(source_lines):
source_lines[i] = line[tab_size:]
lines = Parser(raw = ''.join(source_lines)).out_lines
table = xhtml.table(parent = self)
for i,line in enumerate(lines):
sec = tr_pycode_section(parent = table)
if i%2 == 1:
sec.style.background_color = css.rgb(240,240,240)
td_pycode_number(parent = sec, text = str(i+num_start))
td_pycode_line(parent = sec, text = line)
