s/[.]bg0/html, &/ s/[.]fg15/html, &/ s/[.]fg12/a, &/ s/[.]fg13/a:visited, &/ s/[.]fg8 { color: \([^;]*\); }/pre { border: 1px dashed \1; } &/