User:Derik/kired tools
Kired tools is/are a set of productivity tools developed by User:Derik. They're a formalization of his existing "hacks," packaged in a more stable format for general use.
Because the tools are loaded from a central location on a separate server, they can (at least in theory) be updated and problems patched without requiring individual users to make any changes, as well as adding new functionality. The files specified below will include only stable "finalized" code, not experimental or development code.
In theory Kired Tools can serve as a platform on which to develop style and script changes for among a limited audience (users) that could eventually be considered useful enough to offer for all users.
Functions
Kired Tools currently (0.8) includes the following functions:
- Footnotes
- View footnotes inline on mouseover. ( v0.8 )
- Highlights the clicked on footnote. ( v0.8 )
Architecture
Kired Tools is a suite of Javascript and Style changes. It uses jQuery, a lightweight Javascript library which mitigates differences in Javascript implementation between browsers while simplifying the creation of interactivity.
Kired Tools consists of two components:
- Kired_wikifunctions (javascript)
- kired_wikistyles (css)
The two components are not separable, as they support one another.
Installing
Add the following to the top of your .css file, before any styles. ( User:Username/monacobook.css )
/* KIRED FUNCTIONS - Style include */ @import "http://www.emopanda.com/tmp/kired_wikistyles.css";
Add the following to the top of your .js file, before any styles. ( User:Username/monacobook.js )
/* KIRED FUNCTIONS - Javascript Includes */
document.write('<' + 'script language="javascript" type="text/javascript" src="');
document.write('http://www.emopanda.com/tmp/jquery.js');
document.write('"></' + 'script' + '>');
document.write('<' + 'script language="javascript" type="text/javascript" src="');
document.write('http://www.emopanda.com/tmp/jquery.tooltip.js">');
document.write('"></' + 'script' + '>');
document.write('<' + 'script language="javascript" type="text/javascript" src="');
document.write('http://www.emopanda.com/tmp/kired_wikifunctions.js">');
document.write('"></' + 'script' + '>');
