Searched refs:tool (Results 51 – 75 of 118) sorted by last modified time
12345
72 /* make wiki links look the same as tool links in tool bars */89 /* highlight selected tool */
68 /* highlight selected tool */
371 background: transparent url(images/tool-login.png) 0px 1px no-repeat;376 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;380 background: transparent url(images/tool-index.png) 1px 1px no-repeat;390 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;399 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;429 background: transparent url(images/tool-top.png) 0px 5px no-repeat;456 background: transparent url(images/tool-login.png) 0px 5px no-repeat;465 background: transparent url(images/tool-index.png) 0px 5px no-repeat;475 background: transparent url(images/tool-edit.png) 0px 5px no-repeat;484 background: transparent url(images/tool-admin.png) 0px 5px no-repeat;[all …]
69 /* highlight selected tool */
105 .page-menu__link .tool-link svg {
25660 …tool-link svg, .floating-top-button button .page-menu__link .tool-link svg, .floating-top-button #…
62 /* highlight selected tool */
74 * The site tool and the page tool are in the same menu called Tools.
49 /*!* The page tool drowpdown menu must go the the left because*/
13 /* highlight selected tool */
14 Thanks to Andreas Gohr and fellow programmers for creating such a wonderful tool.
205 * @param string @mode The mode in which this tool should be highlighted
64 /* highlight selected tool */
75 /* make wiki links look the same as tool links in tool bars */92 /* highlight selected tool */
83 background: __background__ url(images/tool-edit.png) 2px 1px no-repeat;88 background: __background__ url(images/tool-revisions.png) 2px 1px no-repeat;102 background: __background__ url(images/tool-source.png) 2px 2px no-repeat;107 background: __background__ url(images/tool-revert.png) 2px 2px no-repeat;294 background: transparent url(images/tool-login.png) 0px 1px no-repeat;299 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;304 background: transparent url(images/tool-index.png) 1px 1px no-repeat;309 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;314 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;319 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]