Eli Barzilay
74abe64e45
Use an nonexistent css class for installation warning message, so when
...
it's installed on the web page it's easy to add the missing class with
a `display: none' so it's not show without any html rehacking.
Disabled the "(installation)" suffix to the main title for now: it's
also used for the window title and that shouldn't have the suffix
because the browser window will have it.
svn: r11452
original commit: bdfcca7d1130c1ecad6aa2e70945bab8c28b6f81
2008-08-27 11:19:20 +00:00
Eli Barzilay
7da94ae67c
Lots of minor edits -- mainly dropping unnecessary backslashes and
...
using @litchar with braces.
svn: r11451
original commit: d26f27e140cb3f914088c1b86843bc20d20f74db
2008-08-27 08:35:27 +00:00
Carl Eastlund
00c08e450a
Corrected syntax for #:use-sources clause of declare-exporting.
...
svn: r11402
original commit: 7adcdfa44447fb4d918bbd2668bd0d5765ff3c0b
2008-08-23 20:48:40 +00:00
Matthew Flatt
571a30746b
fix 'author' spec
...
svn: r11288
original commit: d1c1af8f843e260f870359975f4616d7fefb852f
2008-08-15 20:19:42 +00:00
Matthew Flatt
d3a86d35e5
assign authors to manuals
...
svn: r11287
original commit: 9453aaaccf2f0007bae450c291e1cd29a7a14696
2008-08-15 20:16:06 +00:00
Matthew Flatt
7c83877190
better error reporting for code:comment, and better docs for schememod
...
svn: r11211
original commit: e233989e1d04ed9d0cc4def485739819cb178432
2008-08-13 01:25:53 +00:00
Matthew Flatt
c442655ac2
fix schemegrammar*
...
svn: r10986
original commit: c2c7777c37811ce47984481baf7f728a0d2712a4
2008-07-30 17:20:09 +00:00
Matthew Flatt
5ffcc610ba
document ways to control Scribble TOC output
...
svn: r10972
original commit: c8318761c8fdfc4cbe305ffc1cc216fe16965f2f
2008-07-29 20:40:25 +00:00
Matthew Flatt
48e3293a0b
fix '(nonnegative|positive)-exact-integer?' contracts (moving 'exact-' to the front where it belongs)
...
svn: r10960
original commit: 2c813c53c56b010127736b6b33d1060a672ca1b7
2008-07-29 12:56:05 +00:00
Eli Barzilay
cb550a460a
search-context has the proper suffix now
...
svn: r10953
original commit: f30efeb8c3f28caf5a7e2b1d44c47dc667bc49de
2008-07-29 04:32:58 +00:00
Sam Tobin-Hochstadt
03ac8b12bd
More greek letters for scribble latex rendering.
...
svn: r10930
original commit: d58bdb5f56b1187d4a09217efd460244b28eb243
2008-07-27 03:08:10 +00:00
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
