John Benediktsson
|
ca3551a9d4
|
websites.concatenative: navbar background.
|
2020-04-11 20:35:54 -05:00 |
|
John Benediktsson
|
0796f95679
|
webapps.help: matching style for navbar.
|
2020-04-11 20:35:49 -05:00 |
|
John Benediktsson
|
4799f2c448
|
help.html: move pre-wrap to css style fixup.
|
2020-04-11 20:35:45 -05:00 |
|
John Benediktsson
|
6643e97b2c
|
help.html: more responsive help docs.
|
2020-04-11 20:35:34 -05:00 |
|
John Benediktsson
|
3b9567c3e9
|
help.html: default font size should be 12pt, less line-height for pre.
|
2020-04-11 20:35:22 -05:00 |
|
John Benediktsson
|
1384fb8f89
|
help.html: raise line-height to 150%.
|
2020-04-11 20:35:18 -05:00 |
|
John Benediktsson
|
cdf7257f1e
|
help.html: less css reset.
|
2020-04-11 20:35:14 -05:00 |
|
John Benediktsson
|
170216e4c1
|
help.html: use protocol agnostic link.
|
2020-04-11 20:35:10 -05:00 |
|
John Benediktsson
|
364f4facf3
|
help.html: make these match new wiki css.
|
2020-04-11 20:35:08 -05:00 |
|
John Benediktsson
|
12664b74ba
|
help.html: assume even padding started out odd.
|
2020-04-11 20:34:52 -05:00 |
|
John Benediktsson
|
ba38aba36c
|
help.html: clone attrs in css-styles-to-classes and double padding.
|
2020-04-11 20:34:51 -05:00 |
|
John Benediktsson
|
451fb09795
|
help.html: don't use sprintf.
|
2020-04-11 20:34:43 -05:00 |
|
John Benediktsson
|
6cd7a6077f
|
help.html: cleanup stylesheet a bit.
|
2020-04-11 20:34:30 -05:00 |
|
John Benediktsson
|
bd7cf53e62
|
help.html: change fixed font-size to relative.
|
2020-04-11 20:34:29 -05:00 |
|
John Benediktsson
|
53122102ee
|
help.html: support style/class replacement in more tags.
|
2020-04-11 20:34:24 -05:00 |
|
John Benediktsson
|
734db7aa4e
|
help.html: vertical-align images.
|
2020-04-11 20:34:13 -05:00 |
|
John Benediktsson
|
0a64c19c11
|
help.html: whoops, need to remove the extra links.
|
2020-04-11 20:34:10 -05:00 |
|
John Benediktsson
|
d1c2d21721
|
help.html: tweak the navbar a bit.
|
2020-04-11 20:34:09 -05:00 |
|
John Benediktsson
|
df814e3010
|
help.html: use max-width for content.
|
2020-04-11 20:34:08 -05:00 |
|
John Benediktsson
|
627b550bf0
|
help.html: wrap contents in a div, update style a little.
|
2020-04-11 20:34:07 -05:00 |
|
John Benediktsson
|
c99ab4a652
|
help.html: cleanup using list.
|
2018-02-24 15:45:02 -08:00 |
|
John Benediktsson
|
cc0c5f2634
|
help.html: "no-roots no-prefixes" has a name, "filter-vocabs".
|
2018-02-24 15:45:02 -08:00 |
|
John Benediktsson
|
f96fb3bcc8
|
help.html: remove funky vocab-prefix hack.
|
2018-02-24 15:45:02 -08:00 |
Björn Lindqvist
|
20711a0fd3
|
Adding escaping to CHAR: " -> CHAR: \"
It is not necessary to escape the " character, but it doesn't hurt and
is necessary for syntax-highlighting (FUEL) to work correctly.
|
2016-09-04 06:40:43 +02:00 |
Doug Coleman
|
64db45c536
|
factor: update repository location to factor/factor
|
2016-02-19 13:51:58 -08:00 |
|
John Benediktsson
|
ba3f342bf1
|
help.html: cleanup extra spaces.
|
2015-09-14 15:43:33 -07:00 |
|
John Benediktsson
|
74d8e43312
|
help.html: simplify html by saving styles as classes.
We store the CSS classes in the HTML <style> tag.
|
2015-09-14 13:32:38 -07:00 |
|
John Benediktsson
|
7dd0acbf0f
|
help.stylesheet: add back page-color and override in ui.tools.browser.
|
2015-08-16 12:54:56 -07:00 |
|
John Benediktsson
|
ace299b5c7
|
help: fix some html navigation styles.
|
2015-08-16 11:38:38 -07:00 |
|
John Benediktsson
|
81cbf71d27
|
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
|
2015-08-16 11:33:24 -07:00 |
|
John Benediktsson
|
92762cb56b
|
help.html: fix navigation links at top.
|
2015-08-16 11:33:24 -07:00 |
|
Doug Coleman
|
892c62e1dc
|
factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test
|
2015-07-03 09:39:59 -07:00 |
|
Doug Coleman
|
59f3b1ea57
|
Revert "factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!"
Needs a bit more work.
This reverts commit 7e54cc2824.
|
2015-07-02 13:47:06 -07:00 |
|
Doug Coleman
|
7e54cc2824
|
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
|
2015-07-02 11:36:08 -07:00 |
|
Doug Coleman
|
a4c5a748ad
|
core/basis: Rename words dealing with vocabs to loaded-vocabs or disk-vocabs because it's too confusing otherwise.
|
2015-06-08 12:47:35 -07:00 |
|
John Benediktsson
|
b366a06c41
|
use reject instead of [ ... not ] filter.
|
2015-05-12 18:50:34 -07:00 |
|
John Benediktsson
|
aae6fb2ae3
|
help.html: simplify (and separate) index generation.
|
2014-09-25 21:30:36 -07:00 |
|
John Benediktsson
|
179c60b0a5
|
help.html: make docs use same completions algorithm as listener.
|
2014-09-25 21:08:15 -07:00 |
|
John Benediktsson
|
df91fa9527
|
help.html: fix test case back to original version.
|
2012-08-13 12:25:08 -07:00 |
|
Doug Coleman
|
94ad1c236f
|
help.html: Fix unit test.
|
2012-08-12 13:55:53 -07:00 |
|
John Benediktsson
|
695e6aea49
|
help.html: fix using.
|
2012-07-22 22:24:56 -07:00 |
|
John Benediktsson
|
504bb901cf
|
help.html: adding links to github source files.
|
2012-07-22 22:12:19 -07:00 |
|
John Benediktsson
|
1a73e79ef7
|
cleanup some use of with-scope.
|
2012-07-19 13:55:34 -07:00 |
Joe Groff
|
5948f53725
|
change temp-file to cache-file where appropriate
|
2012-04-16 11:55:27 -07:00 |
Slava Pestov
|
72fdb8c5fb
|
help.html: change back to the old naming scheme because we have too many links to existing doc articles all over the net
|
2011-12-04 13:46:13 -08:00 |
|
Doug Coleman
|
15575e5dd9
|
help.html: fix glossary link.
|
2011-11-05 00:05:58 -07:00 |
|
Slava Pestov
|
99b4752c57
|
help.html: I give up with the article name escaping. Just compute a SHA1 hash and use that as the file name. Fixes #309
|
2011-10-29 15:27:27 -07:00 |
|
Slava Pestov
|
914a4aee09
|
help.html: simpler stylesheet for navbar to give it a consistent look. Fixes #310
|
2011-10-29 15:27:27 -07:00 |
|
Slava Pestov
|
650fdc8fe5
|
help.html: use GET not POST for search form, so that the search term appears in the URL, and to make the back button work. Fixes #312
|
2011-10-29 15:27:27 -07:00 |
|
John Benediktsson
|
0965d9be41
|
webapps.help: remove frames. Fixes #242.
|
2011-10-13 22:09:30 -07:00 |