Message from discussion
Greasemonkey script for the Hyperspec
Received: by 10.66.85.37 with SMTP id e5mr2566164paz.31.1348917527997;
Sat, 29 Sep 2012 04:18:47 -0700 (PDT)
Path: t10ni23592560pbh.0!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!novia!news-hub.siol.net!news.mi.ras.ru!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: Bigos <ruby.obj...@googlemail.com>
Newsgroups: comp.lang.lisp
Subject: Greasemonkey script for the Hyperspec
Date: Tue, 25 Sep 2012 00:44:57 +0100
Organization: Aioe.org NNTP Server
Lines: 18
Message-ID: <k3qr9p$2ns$1@speranza.aioe.org>
NNTP-Posting-Host: 7TIu+Wi6M9ap/c5cGkx5MA.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120827 Thunderbird/15.0
X-Notice: Filtered by postfilter v. 0.8.2
Bytes: 1296
X-Received-Bytes: 1344
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Hi All,
I was created a script for Greasmonkey that changes appearance of the
Hyperspec. Please have a look and tell me what you think about it.
https://github.com/bigos/Pyrulis/blob/ddad0de11a599376178396ce4e458cafd0384040/Lisp/hyperspec-decorator.user.js
to use it:
1) install the Greasemonkey
https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/
2) install the script itself by downloading it onto you local file
system and then dropping it into your Firefox window.
Tested with Firefox 15.01 and Greasemonkey 1.1