Searched refs:tool (Results 101 – 118 of 118) sorted by last modified time
12345
68 /* highlight selected tool */
205 * @param string @mode The mode in which this tool should be highlighted
10 * You may download the tool to rebuild this stylesheet13 * An online version of this tool can be used at:
75 /* make wiki links look the same as tool links in tool bars */92 /* highlight selected tool */
69 /* highlight selected tool */
463 background: transparent url(images/tool-login.png) 0px 1px no-repeat;476 background: transparent url(images/tool-index.png) 1px 1px no-repeat;486 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;495 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;514 background: transparent url(images/tool-back.png) 0px 1px no-repeat;530 background: transparent url(images/tool-top.png) 0px 5px no-repeat;538 background: transparent url(images/tool-pdf.png) 0px 5px no-repeat;592 background: transparent url(images/tool-edit.png) 0px 5px no-repeat;620 background: transparent url(images/tool-back.png) 0px 5px no-repeat;628 background: transparent url(images/tool-top.png) 0px 5px no-repeat;[all …]
41 /* make wiki links look the same as tool links in tool bars */58 /* highlight selected tool */
359 background: transparent url(images/tool-login.png) 0px 1px no-repeat;368 background: transparent url(images/tool-index.png) 1px 1px no-repeat;378 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;387 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;414 background: transparent url(images/tool-top.png) 0px 5px no-repeat;441 background: transparent url(images/tool-login.png) 0px 5px no-repeat;450 background: transparent url(images/tool-index.png) 0px 5px no-repeat;460 background: transparent url(images/tool-edit.png) 0px 5px no-repeat;469 background: transparent url(images/tool-admin.png) 0px 5px no-repeat;492 background: transparent url(images/tool-top.png) 0px 5px no-repeat;[all …]
79 $(DIST_DIR)/images/tool-admin.png \80 $(DIST_DIR)/images/tool-backlink.png \81 $(DIST_DIR)/images/tool-edit.png \82 $(DIST_DIR)/images/tool-index.png \83 $(DIST_DIR)/images/tool-login.png \84 $(DIST_DIR)/images/tool-logout.png \85 $(DIST_DIR)/images/tool-profile.png \86 $(DIST_DIR)/images/tool-recent.png \87 $(DIST_DIR)/images/tool-revisions.png \88 $(DIST_DIR)/images/tool-source.png \[all …]
82 /* make wiki links look the same as tool links in tool bars */99 /* highlight selected tool */
309 background: transparent url(images/tool-login.png) 0px 1px no-repeat;314 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;318 background: transparent url(images/tool-index.png) 1px 1px no-repeat;322 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;328 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;333 background: transparent url(images/tool-source.png) 0px 1px no-repeat;337 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;341 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;346 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;350 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
77 $(DIST_DIR)/images/tool-admin.png \78 $(DIST_DIR)/images/tool-backlink.png \79 $(DIST_DIR)/images/tool-edit.png \80 $(DIST_DIR)/images/tool-index.png \81 $(DIST_DIR)/images/tool-login.png \82 $(DIST_DIR)/images/tool-logout.png \83 $(DIST_DIR)/images/tool-profile.png \84 $(DIST_DIR)/images/tool-recent.png \85 $(DIST_DIR)/images/tool-revisions.png \86 $(DIST_DIR)/images/tool-source.png \[all …]
309 background: transparent url(images/tool-login.png) 0px 1px no-repeat;314 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;319 background: transparent url(images/tool-index.png) 1px 1px no-repeat;324 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;331 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;337 background: transparent url(images/tool-source.png) 0px 1px no-repeat;342 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;347 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;358 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;363 background: transparent url(images/tool-profile.png) 0px 1px no-repeat;[all …]
302 background: transparent url(images/tool-login.png) 0px 1px no-repeat;307 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;312 background: transparent url(images/tool-index.png) 1px 1px no-repeat;317 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;323 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;329 background: transparent url(images/tool-source.png) 0px 1px no-repeat;334 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;339 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;350 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;355 background: transparent url(images/tool-profile.png) 0px 1px no-repeat;[all …]