Commit graph

6 commits

Author SHA1 Message Date
Nick Sweeting
0d4ebe9418 show full bookmarked time in tooltip 2017-07-05 17:16:10 -05:00
Nick Sweeting
4db30779a3 remove term Star from vocab 2017-07-05 17:15:17 -05:00
Brian Hardisty
26b5e4aa3c
Use $identifier over ${identifier}
`${identifier}` has the potential to conflict with JavaScript template
literals.
2017-07-05 03:22:11 -07:00
Brian Hardisty
31ec3203c5
Use template strings for substitution in HTML output
`str.format()` can only use substitutions identified by braces (`{` and
`}`). This has the potential to conflict with other code in the HTML
template, such as CSS or JavaScript.

Template strings can use substitutions identified by `$` or `${}`, e.g.:
`$identifier` or `${identifier}`. These substitutions won't conflict
with CSS or JavaScript, allowing users to write HTML templates that
don't require double braces anywhere there's a substitution conflict.
This is especially useful when one is using a build tool to generate the
final CSS/JavaScript/HTML.

https://docs.python.org/3/library/string.html#template-strings
2017-07-05 02:59:09 -07:00
Nick Sweeting
881de8adbe minor url fixes and refactoring 2017-07-04 06:24:03 -05:00
Nick Sweeting
fd1435164b split archive.py into multiple files, refactor config system 2017-07-04 05:38:07 -05:00