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)