| #Note: all the keywords must be present here. | |
| log_level=0 | |
| #banner=/org.eclipse.help.webapp/advanced/banner.html | |
| #banner_height=45 | |
| help_home=/org.eclipse.help/doc/help_home.html | |
| linksView=true | |
| bookmarksView=true | |
| bookmarks= | |
| ############################## | |
| # Customization for jsp pages | |
| ############################## | |
| # either a dir relative to org.eclipse.help.webapp plugin, or /pluginid/dir | |
| imagesDirectory=images | |
| # colors for advanced web UI implementation | |
| advanced.toolbarBackground=ButtonFace | |
| advanced.viewBackground=Window | |
| # fonts for advanced web UI implementation | |
| advanced.toolbarFont=icon | |
| advanced.viewFont=icon | |
| # colors for basic web UI implementation | |
| basic.toolbarBackground=#D4D0C8 | |
| basic.viewBackground=#FFFFFF | |
| # Toc ordering | |
| baseTOCS= /org.eclipse.platform.doc.user/toc.xml,\ | |
| /org.eclipse.jdt.doc.user/toc.xml,\ | |
| /org.eclipse.platform.doc.isv/toc.xml,\ | |
| /org.eclipse.jdt.doc.isv/toc.xml,\ | |
| /org.eclipse.pde.doc.user/toc.xml | |