Matthew Flatt
bad192a1c6
adjust Scribble para/div style handling
...
svn: r10910
original commit: 4092392e5a749eed5b0ef3158ce63ed6c3b34abc
2008-07-25 13:16:06 +00:00
Eli Barzilay
81004dcf38
added context label
...
svn: r10906
original commit: 5c61c1b997286138a857ccbd1d9d2ed465640c54
2008-07-25 02:05:00 +00:00
Matthew Flatt
29a7a0fa93
tweak table-of-contents rendering again
...
svn: r10902
original commit: 8e4647cd6c8e60c665354aa6ef21fd333b019719
2008-07-24 13:45:08 +00:00
Matthew Flatt
affe327c7d
tweak doc HTML toc rendering
...
svn: r10900
original commit: 27b0df2c2a31ed44380d900b65f19b3c48f07c9b
2008-07-24 13:07:59 +00:00
Matthew Flatt
4367ba6549
fix searching a different way, which more likely matches the intent
...
svn: r10899
original commit: 78c52208361a517c2ea4a9a2d9ccf4c0c65974d9
2008-07-24 11:41:21 +00:00
Matthew Flatt
133883ef2e
scribble and doc improvements
...
svn: r10896
original commit: a97b4bff8a6eb38353f64606c4a42f2150b39e2a
2008-07-24 11:32:16 +00:00
Eli Barzilay
35ca52a88d
hack: see comment
...
svn: r10892
original commit: 1f6007ce8b4213e2f402445745c9e37764ee31b4
2008-07-24 08:16:07 +00:00
Eli Barzilay
e186bdee0f
avoid potentially bad JS for...in
...
svn: r10883
original commit: 55f2387f931a4d52e5e012a357c5e5282fd4e362
2008-07-23 19:05:15 +00:00
Matthew Flatt
c6a534f0b4
properties can now effectively inherit properties (v4.0.2.5)
...
svn: r10848
original commit: 763d37d775d2deca0337e58deb3f15ac7d9c9208
2008-07-21 17:04:25 +00:00
Matthew Flatt
5db56595cc
add noborder latex macro
...
svn: r10786
original commit: cd6acfdd28b5233636e89134153a957f89481d11
2008-07-16 01:04:01 +00:00
Matthew Flatt
78bd91e1a0
remove hyperlink border for doc icons in game titles
...
svn: r10783
original commit: b1e859a5c28a5d85c35fff5639bd6d9518cd84d9
2008-07-15 22:23:41 +00:00
Matthew Flatt
5ddbe502ff
add render-element structure, and use it in the search doc
...
svn: r10782
original commit: 1c6281111b21b6f38c356f7e3b4ea0343e683cef
2008-07-15 22:03:36 +00:00
Eli Barzilay
d2552556d5
* use version/utils instead of a private copy of the same code
...
* removed planet/private/test.ss which was testing that code
* changed angle brackets used in syntax renderings (got lumped in this
commit by mistake)
svn: r10759
original commit: 91eb4687daafe4177b3c0aa9e40a78535a8511f0
2008-07-14 09:19:29 +00:00
Eli Barzilay
28f34349dd
scribble fixes -- nested @scheme and a few other similar problems
...
svn: r10744
original commit: 4cd2614c2122dd13e75d2dccc60e11109e26e152
2008-07-13 17:13:20 +00:00
Matthew Flatt
d1a3a0a6c2
adjust the way framework and tools docs extract documentation
...
svn: r10727
original commit: 01691d9240c55dc3797c17ab6d609b4c16145982
2008-07-12 15:37:31 +00:00
Matthew Flatt
d76f2f52f7
fix HTML rendering of a table at start of itemization
...
svn: r10725
original commit: eff5666a396e262a65b3bff053cdcf0f44952702
2008-07-12 12:28:05 +00:00
Eli Barzilay
0a830f4c8f
added a space after mathimpl/mathspec header, so it can be used independent of an empty line at the beginning
...
svn: r10722
original commit: 7c7bc0fd062251c5c37fce5d7b4d60214ed8f072
2008-07-12 07:02:50 +00:00
Eli Barzilay
eaedcae9f0
fix search box path when there is no PLT_Root cookie
...
svn: r10720
original commit: 5726d77d87a698407942222214d9056443281b1d
2008-07-11 20:39:18 +00:00
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
