Eli Barzilay
3d4b9088cd
* some fixes to make-search.ss
...
* rename search-context.html to .htm to avoid being deleted by
setup/scribble
* added context to help/search interface
svn: r10717
original commit: bb562f9ee4e267d8f295d8838877e0a8c79d22c8
2008-07-11 09:50:29 +00:00
Eli Barzilay
d289bbb2a2
improved navset padding
...
svn: r10681
original commit: 970f768309a558df0f2cf22687e388581dc6deda
2008-07-08 16:15:05 +00:00
Eli Barzilay
c4bb36be66
removed unused commented-out code
...
svn: r10680
original commit: 94748ff8f830b1490c8337e58a35c939b5d4be3e
2008-07-08 16:06:48 +00:00
Eli Barzilay
fd3855f965
toc links fix
...
svn: r10678
original commit: 5f30464c0ee6a26e4fec2fdb32793a20836ef3db
2008-07-08 15:32:47 +00:00
Eli Barzilay
6892b05531
better vertical placement of search box
...
svn: r10631
original commit: 9c4d41fb63d1a9e0abf1e949384ed9bc12ca716a
2008-07-06 14:58:20 +00:00
Eli Barzilay
1f02db2dc4
Search box has same font size as the rest of the navset, and is wider.
...
svn: r10629
original commit: 9629528865f680dd5a1c22d5f88d026d8066332e
2008-07-06 05:10:52 +00:00
Eli Barzilay
2a4c8209b2
* Removed contents' and index' links
...
* Don't show `top' link when there is none (fine now since the above
are gone)
* Don't show right side of navbar when there are no links in it (which
is only at the start page)
svn: r10628
original commit: 45b2141fa25ebdc8f48b932cf5e4d09e9eca1879
2008-07-06 05:00:26 +00:00
Eli Barzilay
84c53e5ada
try a different pair of characters for expanded/collapsed toc entries
...
svn: r10626
original commit: f4342ce47cac570d746fd4e423aad3a527e550a8
2008-07-06 02:55:22 +00:00
Eli Barzilay
b5ffac92b0
new toc in manual pages
...
svn: r10606
original commit: 601a590aa5eb1f312d0901a488f48995ce527b30
2008-07-05 01:50:18 +00:00
Eli Barzilay
5c0c67f59d
improve title link in tocset (use tocviewselflink for the title too)
...
svn: r10593
original commit: a32e251f97d1381c56ba7f7349851ba8e87cff81
2008-07-04 01:55:03 +00:00
Eli Barzilay
c0575d104b
avoid genarating toc-content if not needed
...
svn: r10592
original commit: 97006715341ab34af7d3986250861a7824c5364e
2008-07-04 01:04:18 +00:00
Eli Barzilay
e578b6c328
minor
...
svn: r10577
original commit: 9a737ade303cb7e54793e59fafcaa889b91d54df
2008-07-03 10:30:54 +00:00
Eli Barzilay
e47582cec2
fix empty searchbox label, again
...
svn: r10576
original commit: 7a98aa8db22867788f9c677fea8810edf2f2379f
2008-07-03 09:07:48 +00:00
Eli Barzilay
9f77ab292d
add numbers to navigation link tooltips
...
svn: r10575
original commit: 3a39b112c9264f59c3e686bb5986d5ad130ccaaa
2008-07-03 08:39:55 +00:00
Eli Barzilay
1c8e0de760
make the code match the html
...
svn: r10574
original commit: 12d4b12d919bec4fee016c418a31727fba675bf0
2008-07-03 08:32:47 +00:00
Eli Barzilay
857ccd4fc6
* always have a navbar, even at the start page
...
* add a "top" link to the navbar
* move search box to the left
svn: r10573
original commit: 3a18f5b9a2c7c2b0f8cb34a5f90a62f18373ff1c
2008-07-03 07:05:20 +00:00
Eli Barzilay
995a809f7e
More visually noticeable navigation bar
...
svn: r10572
original commit: d2c666f1e7ca100a73505223ffb02d338c7d7d37
2008-07-03 05:27:01 +00:00
Eli Barzilay
e820ac1623
* Tweaking the search box to look a little better
...
* Made up/prev/next links have tooltips with targets
svn: r10490
original commit: 4f10870042830dc78a8fd1b0e9bd939dbac4665b
2008-06-28 16:21:35 +00:00
Eli Barzilay
1e0df4ad49
added a tooltip to the search box
...
svn: r10486
original commit: f5253f5e74fcba8b43e194588126ffb8b078285d
2008-06-28 05:35:02 +00:00
Matthew Flatt
7cab7f9be6
header-spacign refinements from Noel
...
svn: r10450
original commit: 17ab6f6345f6d559516425360fb53c60d3dbf176
2008-06-25 13:02:49 +00:00
Eli Barzilay
20015c0fb8
darken techlink underlines a little
...
svn: r10446
original commit: 4f880a99c49e471c9a040439a64d02f8e744b724
2008-06-24 19:15:23 +00:00
Eli Barzilay
a48b5c6a1a
minor tweaks
...
svn: r10445
original commit: 44cee570a7a6adf8f2c19eb476419d8a1200e308
2008-06-24 18:43:51 +00:00
Eli Barzilay
1a89538e3f
fix techlinks again
...
svn: r10444
original commit: a23c84175cb53543a31075516914a1d21bb12afb
2008-06-24 18:42:05 +00:00
Eli Barzilay
565101ad66
avoid using ">" in css -- so it works on IE too
...
svn: r10443
original commit: b33cd217175203a8498ab1491f4c7e2a2447c41c
2008-06-24 18:17:37 +00:00
Eli Barzilay
80f1f87627
no arguments => start page
...
svn: r10441
original commit: a1a53524c08f53efd64a19f25e8525a328a21d66
2008-06-24 17:35:10 +00:00
Matthew Flatt
1863485d73
update latex styles for new tech links
...
svn: r10437
original commit: 0e69bbc8930d3a03a6bc8f1cc89d216ae722cc16
2008-06-24 15:16:47 +00:00
Matthew Flatt
4997fb9c79
render tech links as gray underline, turn blue on hover
...
svn: r10436
original commit: 80505abf29825ef03517d4ec32ef56bd5bc0777d
2008-06-24 15:12:45 +00:00
Matthew Flatt
0e7b4fe513
make techlink blue
...
svn: r10435
original commit: bad978a27755dc43ec0feb0f2484f68a80c75292
2008-06-24 11:49:42 +00:00
Matthew Flatt
3c19c2496a
make tech links gray; fix-ups in reference manual
...
svn: r10430
original commit: 6f8dbf0ec5da8d39db168b5bede7ee203ff3bd80
2008-06-23 21:03:10 +00:00
Matthew Flatt
0ffd48ae5e
use new 'serialized=?' to tighten setup scribble fixpoint
...
svn: r10428
original commit: 3f60a478ad5e955a723d34ca970060652279fd13
2008-06-23 19:28:08 +00:00
Eli Barzilay
ab1949f40e
improved code some
...
svn: r10265
original commit: cdbfcc1283f14bbdb1a8b533ebe78b23f8d37fb3
2008-06-15 05:56:46 +00:00
Matthew Flatt
ac2eee61bb
fix Latex rendering of subsubsubsections (PR 9487)
...
svn: r10235
original commit: 638e458541055c6af1faf27e8ece2409bd57661d
2008-06-12 16:22:18 +00:00
Matthew Flatt
e5d3889fe4
fix module-path-index->taglet bug that is mainly exposed when the current directory is a root directory
...
svn: r10231
original commit: 64147e45abdfa0cef15f6dd7fcf20e3b481d01e3
2008-06-12 13:39:23 +00:00
Eli Barzilay
e813db05b7
fix bug when there are no cookies at all
...
svn: r10215
original commit: f7b146d8a0d7857dab141f45d14f919f922871b7
2008-06-11 05:53:52 +00:00
Matthew Flatt
2e2c690730
fix index output where exporting module's name is not just an identifier
...
svn: r10190
original commit: 6b721a04f0b3176d3fb6a77d480883903a468f5e
2008-06-08 15:23:51 +00:00
Matthew Flatt
e2bde03810
fix uses of _ in foreign docs, and document the _ escape in 'schemblock'
...
svn: r10189
original commit: ec714113a4acfb5f9e47d0537c119c842f95946d
2008-06-08 11:46:07 +00:00
Matthew Flatt
c5676e8882
handle symbolic module names property in module-path-index->taglet
...
svn: r10188
original commit: 31d9571a4747b7914570783f621758d57b898c6b
2008-06-08 11:31:07 +00:00
Matthew Flatt
9eaed37e81
fix typo
...
svn: r10185
original commit: 76732257c7431fa8955a08e1ad51ac6ac7637d68
2008-06-06 21:21:27 +00:00
Matthew Flatt
a1748186a3
doc #:doc for 'techlink'
...
svn: r10184
original commit: b5ce45a15c0341ede1dc02895a2d6951f8f30c2e
2008-06-06 21:21:04 +00:00
Eli Barzilay
316a99fb56
fix next-links that climb up more than one level
...
svn: r10178
original commit: a679c89cb619c9c78f4c3d75d6a220414b042a62
2008-06-06 15:53:42 +00:00
Matthew Flatt
5c1f7ccbbc
repair uses of module paths for Scribble keys that I missed before
...
svn: r10173
original commit: af1c17353bcce74385984205d39c00507b8a4443
2008-06-06 15:09:14 +00:00
Matthew Flatt
38ad7672e4
change the way Scribble generates keys based on modules
...
svn: r10170
original commit: 21fd7b93b3f332b1c4272b87b6f286846c26a790
2008-06-06 13:24:58 +00:00
Eli Barzilay
b9c84b4cc7
avoid warnings for missing user docs
...
svn: r10149
original commit: ae09de2fa2cb15c37cd14eb858aed64071ce53f3
2008-06-05 16:34:53 +00:00
Matthew Flatt
5126a59c72
fix single-html scribble builds by planet; fix up teachpack docs; add Dave to acks; add a #:use-sources in errortrace docs
...
svn: r10139
original commit: 413c90c0dc0f0b966e332cbdaf56266f68f86dc9
2008-06-05 00:21:36 +00:00
Eli Barzilay
94276f98d2
proper encode/decode of query strings
...
svn: r10116
original commit: 154595d4549988fa8458b2bbab9b76b563d5c749
2008-06-04 00:58:07 +00:00
Matthew Flatt
443b54b695
fix bug in namespace-require/constant that caused a Check Syntax bug; fix DrScheme's source location for module forms; tweak help output to use right font for class names
...
svn: r10113
original commit: 2a728cdf3cf483662da7216ee353f05b6aeba559
2008-06-03 22:01:10 +00:00
Eli Barzilay
8356a7f61f
fix sub argument to send-main-page
...
svn: r10108
original commit: a50e7011ea76e415855a7d69846810b475226a3b
2008-06-03 16:05:03 +00:00
Eli Barzilay
320b104514
added a create? argument to get-dest-directory
...
svn: r10105
original commit: 24d6e488ce92fb2adb6b73b28eeba8c9329ca19e
2008-06-03 01:47:31 +00:00
Eli Barzilay
13cda846d0
removed some for-syntax requires that are no longer needed for runtime-path
...
svn: r10100
original commit: 364c048008eab69895c8a593f51dfd947e0b6fa1
2008-06-03 00:02:59 +00:00
Eli Barzilay
7f97a4f018
re-added send-main-page
...
svn: r10099
original commit: f3b6c7398f09507c690b9e25c2731a76f136e190
2008-06-02 23:47:28 +00:00
