| changeset 1052 | eb2f9d453070 |
| parent 836 | c841ae1aca29 |
| 3:812711987445 | 4:a228b463f6d0 |
|---|---|
92 url_rex = re.compile('\\\url\{([^}]*)\}') |
92 url_rex = re.compile('\\\url\{([^}]*)\}') |
93 |
93 |
94 # |
94 # |
95 # styles for html formatting |
95 # styles for html formatting |
96 # |
96 # |
97 divstyle = 'margin-top: -4ex; margin-left: 8em;' |
97 divstyle = 'margin-top: -4ex; margin-left: 10em;' |
98 |
98 |
99 # |
99 # |
100 # return the string parameter without braces |
100 # return the string parameter without braces |
101 # |
101 # |
102 def transformurls(str): |
102 def transformurls(str): |