Show More
@@ -33,7 +33,6 b'' | |||||
33 | \leavevmode\begin{mdframed}[% |
|
33 | \leavevmode\begin{mdframed}[% | |
34 | roundcorner=1.0pt, % |
|
34 | roundcorner=1.0pt, % | |
35 | backgroundcolor=nbframe-bg, % |
|
35 | backgroundcolor=nbframe-bg, % | |
36 | userdefinedwidth=1\linewidth, % |
|
|||
37 | leftmargin=0.1\linewidth, % |
|
36 | leftmargin=0.1\linewidth, % | |
38 | innerleftmargin=0pt, % |
|
37 | innerleftmargin=0pt, % | |
39 | innerrightmargin=0pt, % |
|
38 | innerrightmargin=0pt, % | |
@@ -52,9 +51,6 b'' | |||||
52 | ]} |
|
51 | ]} | |
53 | {\end{mdframed}\vspace{-1\baselineskip}} |
|
52 | {\end{mdframed}\vspace{-1\baselineskip}} | |
54 |
|
53 | |||
55 | % Space needed to start a new input/output |
|
|||
56 | \newlength{\promptspace} |
|
|||
57 | \setlength{\promptspace}{4\baselineskip} |
|
|||
58 | ((* endblock definitions *)) |
|
54 | ((* endblock definitions *)) | |
59 |
|
55 | |||
60 | %=============================================================================== |
|
56 | %=============================================================================== | |
@@ -71,7 +67,7 b'' | |||||
71 | % Add contents below. |
|
67 | % Add contents below. | |
72 |
|
68 | |||
73 | \begin{ColorVerbatim} |
|
69 | \begin{ColorVerbatim} | |
74 | \smaller{\leavevmode\hspace*{-0.1\linewidth}((( super() )))} |
|
70 | In [0]: \vspace{-1\baselineskip}\smaller{((( super() )))} | |
75 | \end{ColorVerbatim} |
|
71 | \end{ColorVerbatim} | |
76 | ((* endblock input *)) |
|
72 | ((* endblock input *)) | |
77 |
|
73 | |||
@@ -111,13 +107,12 b'' | |||||
111 | % rendered at the current location, the cursor position is left |
|
107 | % rendered at the current location, the cursor position is left | |
112 | % unmodified. |
|
108 | % unmodified. | |
113 | ((* macro draw_prompt(prompt, number, color) *)) |
|
109 | ((* macro draw_prompt(prompt, number, color) *)) | |
114 | \needspace{\promptspace} |
|
110 | ||
115 |
|
||||
116 | { |
|
111 | { | |
117 | \smaller |
|
112 | \smaller | |
118 | \tt |
|
113 | \tt | |
119 | \color{((( color )))} |
|
114 | \color{((( color )))} | |
120 | \noindent |
|
115 | \noindent\relax | |
121 | ((( prompt ))) |
|
116 | ((( prompt ))) | |
122 | {[}((( number ))){]}: |
|
117 | {[}((( number ))){]}: | |
123 | } |
|
118 | } |
General Comments 0
You need to be logged in to leave comments.
Login now