This is used to replace text in the parsed css files. The property is a regular expression defining the text to replace and the value is the text it is replaced by. Escape sequences can be used as before.

For more information on regular expressions see: http://java.sun.com/j2se/1.4.2/docs/api/java/util/regex/Pattern.html

 

 

This file is typically used to adjust the font sizes in the css file because the JavaHelp tends to render the font sizes smaller than other browsers. As an example, to push up the font sizes you could add the line:
font-size\:\ 10pt = font-size\:\ 12pt

 
Note the escape sequences for the colon and space characters.