|
1
|
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
|
