Project

General

Profile

1 8725 aaronmk
match,repl,comment
2
"(?<=</TITLE>
3
)(?!<style)","<style type=""text/css"">
4
/*fixes for default HTML tag formatting*/
5
dl dl {margin-left: 30pt;} /*indent nested <dl>s*/
6
7
/*readability*/
8
html {font-family: sans-serif;} /*use readable font*/
9
dt {margin-top: 6pt; margin-bottom: 6pt;} /*visually separate <dt>s*/
10
11
/*Firefox bookmarks-specific*/
12
dd {white-space: pre;} /*format bookmark description as plaintext*/
13
</style>
14
",add <style>
15
"^<DD>.*(?:
16
(?! *<).*)*(?=
17
 *<DL>)","\g<0>
18
</DD>",close <DD> when followed by tags which don't autoclose it properly