* Formatierung der Fussnoten, schliesst #73
This commit is contained in:
parent
1b43889f7d
commit
db9d182551
2 changed files with 13 additions and 1 deletions
|
@ -133,6 +133,12 @@ caption {
|
||||||
letter-spacing: 0.1em;
|
letter-spacing: 0.1em;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#footnotes {
|
||||||
|
font-size: small;
|
||||||
|
margin-top: 3em;
|
||||||
|
padding-left: 1em;
|
||||||
|
}
|
||||||
|
|
||||||
/* Footer */
|
/* Footer */
|
||||||
|
|
||||||
/* Fix fuer den IE, damit der footer zentriert wird */
|
/* Fix fuer den IE, damit der footer zentriert wird */
|
||||||
|
|
|
@ -50,9 +50,15 @@ try:
|
||||||
# (this avoids validation warnings)
|
# (this avoids validation warnings)
|
||||||
content = string.replace(content,'HREF="./','HREF="')
|
content = string.replace(content,'HREF="./','HREF="')
|
||||||
|
|
||||||
|
# Fussnoten finden und Ende ersetzen
|
||||||
|
fussnoten = string.find(content,"<BR><HR><H4>Fußnoten</H4>")
|
||||||
|
startoffset = string.find(content,"</DL>\n<BR><HR>",fussnoten)
|
||||||
|
endoffset = startoffset + len("</DL>\n<BR><HR>")
|
||||||
|
content = content[:startoffset] + "</DL>\n</div>" + content[endoffset:]
|
||||||
|
|
||||||
# Linie vor Fussnoten wird entfernt
|
# Linie vor Fussnoten wird entfernt
|
||||||
# Fussnoten bekommen id, damit sie per css formatierbar sind
|
# Fussnoten bekommen id, damit sie per css formatierbar sind
|
||||||
content = string.replace(content,'<HR><H4>Fußnoten</H4>\n<DL>','<H4>Fußnoten</H4>\n<DL id="footnotes">')
|
content = string.replace(content,'<HR><H4>Fußnoten</H4>','\n<div id="footnotes">\n<H4>Fußnoten</H4>')
|
||||||
|
|
||||||
# Sonderzeichen in Fussnoten werden ersetzt (Hotfix fuer einen latex2html-Bug)
|
# Sonderzeichen in Fussnoten werden ersetzt (Hotfix fuer einen latex2html-Bug)
|
||||||
content = string.replace(content,'ä','ä')
|
content = string.replace(content,'ä','ä')
|
||||||
|
|
Loading…
Reference in a new issue