Eli Barzilay
|
601a590aa5
|
new toc in manual pages
svn: r10606
|
2008-07-05 01:50:18 +00:00 |
|
Eli Barzilay
|
a32e251f97
|
improve title link in tocset (use tocviewselflink for the title too)
svn: r10593
|
2008-07-04 01:55:03 +00:00 |
|
Eli Barzilay
|
9700671534
|
avoid genarating toc-content if not needed
svn: r10592
|
2008-07-04 01:04:18 +00:00 |
|
Eli Barzilay
|
9a737ade30
|
minor
svn: r10577
|
2008-07-03 10:30:54 +00:00 |
|
Eli Barzilay
|
7a98aa8db2
|
fix empty searchbox label, again
svn: r10576
|
2008-07-03 09:07:48 +00:00 |
|
Eli Barzilay
|
3a39b112c9
|
add numbers to navigation link tooltips
svn: r10575
|
2008-07-03 08:39:55 +00:00 |
|
Eli Barzilay
|
12d4b12d91
|
make the code match the html
svn: r10574
|
2008-07-03 08:32:47 +00:00 |
|
Eli Barzilay
|
3a18f5b9a2
|
* always have a navbar, even at the start page
* add a "top" link to the navbar
* move search box to the left
svn: r10573
|
2008-07-03 07:05:20 +00:00 |
|
Eli Barzilay
|
d2c666f1e7
|
More visually noticeable navigation bar
svn: r10572
|
2008-07-03 05:27:01 +00:00 |
|
Eli Barzilay
|
4f10870042
|
* Tweaking the search box to look a little better
* Made up/prev/next links have tooltips with targets
svn: r10490
|
2008-06-28 16:21:35 +00:00 |
|
Eli Barzilay
|
f5253f5e74
|
added a tooltip to the search box
svn: r10486
|
2008-06-28 05:35:02 +00:00 |
|
Matthew Flatt
|
17ab6f6345
|
header-spacign refinements from Noel
svn: r10450
|
2008-06-25 13:02:49 +00:00 |
|
Eli Barzilay
|
4f880a99c4
|
darken techlink underlines a little
svn: r10446
|
2008-06-24 19:15:23 +00:00 |
|
Eli Barzilay
|
44cee570a7
|
minor tweaks
svn: r10445
|
2008-06-24 18:43:51 +00:00 |
|
Eli Barzilay
|
a23c84175c
|
fix techlinks again
svn: r10444
|
2008-06-24 18:42:05 +00:00 |
|
Eli Barzilay
|
b33cd21717
|
avoid using ">" in css -- so it works on IE too
svn: r10443
|
2008-06-24 18:17:37 +00:00 |
|
Matthew Flatt
|
0e69bbc893
|
update latex styles for new tech links
svn: r10437
|
2008-06-24 15:16:47 +00:00 |
|
Matthew Flatt
|
80505abf29
|
render tech links as gray underline, turn blue on hover
svn: r10436
|
2008-06-24 15:12:45 +00:00 |
|
Matthew Flatt
|
bad978a277
|
make techlink blue
svn: r10435
|
2008-06-24 11:49:42 +00:00 |
|
Matthew Flatt
|
6f8dbf0ec5
|
make tech links gray; fix-ups in reference manual
svn: r10430
|
2008-06-23 21:03:10 +00:00 |
|
Matthew Flatt
|
3f60a478ad
|
use new 'serialized=?' to tighten setup scribble fixpoint
svn: r10428
|
2008-06-23 19:28:08 +00:00 |
|
Eli Barzilay
|
cdbfcc1283
|
improved code some
svn: r10265
|
2008-06-15 05:56:46 +00:00 |
|
Matthew Flatt
|
638e458541
|
fix Latex rendering of subsubsubsections (PR 9487)
svn: r10235
|
2008-06-12 16:22:18 +00:00 |
|
Matthew Flatt
|
64147e45ab
|
fix module-path-index->taglet bug that is mainly exposed when the current directory is a root directory
svn: r10231
|
2008-06-12 13:39:23 +00:00 |
|
Eli Barzilay
|
f7b146d8a0
|
fix bug when there are no cookies at all
svn: r10215
|
2008-06-11 05:53:52 +00:00 |
|
Matthew Flatt
|
6b721a04f0
|
fix index output where exporting module's name is not just an identifier
svn: r10190
|
2008-06-08 15:23:51 +00:00 |
|
Matthew Flatt
|
31d9571a47
|
handle symbolic module names property in module-path-index->taglet
svn: r10188
|
2008-06-08 11:31:07 +00:00 |
|
Eli Barzilay
|
a679c89cb6
|
fix next-links that climb up more than one level
svn: r10178
|
2008-06-06 15:53:42 +00:00 |
|
Matthew Flatt
|
af1c17353b
|
repair uses of module paths for Scribble keys that I missed before
svn: r10173
|
2008-06-06 15:09:14 +00:00 |
|
Matthew Flatt
|
21fd7b93b3
|
change the way Scribble generates keys based on modules
svn: r10170
|
2008-06-06 13:24:58 +00:00 |
|
Eli Barzilay
|
ae09de2fa2
|
avoid warnings for missing user docs
svn: r10149
|
2008-06-05 16:34:53 +00:00 |
|
Eli Barzilay
|
24d6e488ce
|
added a create? argument to get-dest-directory
svn: r10105
|
2008-06-03 01:47:31 +00:00 |
|
Eli Barzilay
|
364c048008
|
removed some for-syntax requires that are no longer needed for runtime-path
svn: r10100
|
2008-06-03 00:02:59 +00:00 |
|
Eli Barzilay
|
805c168236
|
* make script accept a path to use for an external script file
* use it to have the search files as externals (which is significantly
faster on some browsers (IE))
svn: r10089
|
2008-06-02 14:58:54 +00:00 |
|
Eli Barzilay
|
1ad1096068
|
use class="smaller" for the query input
svn: r10088
|
2008-06-02 13:49:36 +00:00 |
|
Eli Barzilay
|
e48b97a61c
|
change, save & restore preferences
svn: r10072
|
2008-06-01 01:45:13 +00:00 |
|
Eli Barzilay
|
cf5b2dba5b
|
force library order
svn: r10070
|
2008-05-31 16:26:44 +00:00 |
|
Eli Barzilay
|
0e3f55fa6e
|
* remove mynoscript hack (doesnt always work, always breaks on IE)
* Better JS event handling
svn: r10068
|
2008-05-31 16:13:40 +00:00 |
|
Eli Barzilay
|
331628d8b4
|
less surprising sort of index entries
svn: r10064
|
2008-05-31 06:10:06 +00:00 |
|
Matthew Flatt
|
a78bf662b2
|
adjust search-page sizing of 'provided from' to use a CSS entry, which scales by the magic 82% instead of 80% (because 80% drops just below the threshold of anti-aliasing the default monospace font in Safari)
svn: r10036
|
2008-05-30 13:25:54 +00:00 |
|
Eli Barzilay
|
66cb57f46d
|
* A little better JS event handler code
* Re-add search box, now appearing on all pages
svn: r10030
|
2008-05-30 04:12:21 +00:00 |
|
Matthew Flatt
|
7dff971014
|
toc links always blue (because visited history is not useful)
svn: r10010
|
2008-05-28 20:30:38 +00:00 |
|
Eli Barzilay
|
46528afa5b
|
mostly cosmetics, very minor bug in index cleanup
svn: r10004
|
2008-05-28 18:24:58 +00:00 |
|
Matthew Flatt
|
fdd99b83dc
|
more consistent cleaning of index strings; fix for 'get-module-code' when no file (source, bytecode, or extension) is available
svn: r10002
|
2008-05-28 17:40:23 +00:00 |
|
Eli Barzilay
|
b21a0182c1
|
removed index-page search hacks, added search-page stub
svn: r9994
|
2008-05-28 01:52:01 +00:00 |
|
Eli Barzilay
|
9b0492e320
|
toc links on main pages go to user pages where needed
svn: r9993
|
2008-05-28 00:20:58 +00:00 |
|
Eli Barzilay
|
9127cdaaf8
|
up links in all documents, and they go to the user docs using cookies
svn: r9992
|
2008-05-28 00:02:25 +00:00 |
|
Matthew Flatt
|
7ae0f500ae
|
add and use close-eval to reduce memory use when rendering reference and guide
svn: r9981
|
2008-05-27 17:20:24 +00:00 |
|
Matthew Flatt
|
af9d53e7f0
|
fix rendering of nested with-attributes and target-url styles
svn: r9980
|
2008-05-27 17:02:24 +00:00 |
|
Eli Barzilay
|
1e9e508ec0
|
user documentation root is now stored in a cookie
svn: r9978
|
2008-05-27 15:12:31 +00:00 |
|