public marks

PUBLIC MARKS from decembre with tags editor & userstyles

2017

USERSTYLES - srazzano - Stylish² ( ex. S.E.M.) Editor addon

Stylish Add-on with various tweaks to accommodate Stylish Custom² and Stylish Editor² add-ons.

2013

CSS - USERSTYLES - Code for various Firefox elements? - forum.userstyles.org

You can inspect the Firefox user interface directly with DOM Inspector. (Which is not the same Inspector as in the Web Developer menu.) [addons.mozilla.org] https://addons.mozilla.org/en-US/firefox/addon/dom-inspector-6622/Click the icon in the upper-left corner of DOMi, the one with a pointer on it, then click anywhere in the browser to select an element; that element will be highlighted in the left column. Right-click the highlighted entry to display a context menu: "Copy Selector" suggests selectors for the element, "Set Pseudo-classes..." lets you switch on :hover. Notice that the browser itself is a document with its own URI, chrome://browser/content/browser.xul, Most of the browser chrome is XUL, but some, such as the Stylish editor, is HTML embedded in XUL. https://developer.mozilla.org/en-US/docs/XUL

CSS - TOOL (Bookmarklet) -Favelets + Favelet Creator - To diagnose CSS error

Favelets: these just dynamically write a link element into the head of the document. The link points to a style sheet. This allows for "diagnosis" favelets that are easy to update or change (you just edit the style sheet). Favelet Creator Input the URL of the style sheet you want to use in your favelet, and the name of the favelet as you want it to appear in your toolbar. The "Favelet" link should automatically update to use those values; you then simply drag it into your favorites toolbar.

decembre's TAGS related to tag editor

addon +   ajax +   album +   application +   art +   asp.net +   audio +   bandes-dessinées +   bd +   best +   blog +   bookmarklet +   browser +   choix +   code +   collection +   comment +   conseil +   convert +   correction +   creation +   css +   delicious +   dev +   document +   domi +   editer +   editeur +   editing +   edition +   extension +   firefox +   flickr +   FlickrSurf+ +   formation +   free +   freeware +   fun +   gif +   greasemonkey +   guide +   howto +   html +   image +   javascript +   lifehacker +   liste +   logiciel +   manual +   markdown +   mp3 +   music +   musique +   online +   opensource +   organiser +   outil +   partager +   photo +   photoshop +   php +   player +   post +   poster +   programme +   publier +   publish +   read:later +   rechercher +   regex +   regexp +   renommer +   script +   sharing +   site +   software +   storage +   stylish +   tag +   tagger +   tagging +   telecharger +   text +   texte +   tips +   tool +   tutorial +   tutoriel +   user +   userstyles +   utilitaire +   video +   web +   web2.0 +   webcam +   webdesign +   webdev +   windows +   wysiwyg +   xpi +