diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-23 20:40:53 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-23 20:40:53 +0100 |
| commit | 765ed552498b2f2be028a8b78b7ea69e9f9d6923 (patch) | |
| tree | f83a793c649f110928f23a10238001a56ccdc492 /site/cleopatra | |
| parent | Try to improve the situation with overflowing source blocks (diff) | |
Use font-display, use non-breaking spaces with URL mark
Because we are vendoring the fonts, and the caching duration is set to
1 year, we rename the directories of the font. Plus, we can have
meaningful names which advertise the patch.
Diffstat (limited to 'site/cleopatra')
| -rw-r--r-- | site/cleopatra/Contents/Coq.org | 4 | ||||
| -rw-r--r-- | site/cleopatra/Theme.org | 23 |
2 files changed, 17 insertions, 10 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index e910058..9bb5836 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -34,8 +34,8 @@ pre .code a[href] text-decoration: none - .fa-external-link - display: none + .url-mark + display: none .paragraph margin-top: 1em diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org index fe4612d..0478683 100644 --- a/site/cleopatra/Theme.org +++ b/site/cleopatra/Theme.org @@ -17,11 +17,11 @@ for (var ix in resources) { #+NAME: html_lazyloading #+BEGIN_SRC html <noscript id="lazyloading"> - <link rel="stylesheet" href="/vendors/katex.0.11.1/katex.css"> + <link rel="stylesheet" href="/vendors/fira-code.2+swap/font.css"> + <link rel="stylesheet" href="/vendors/et-book+swap/font.css"> + <link rel="stylesheet" href="/vendors/katex.0.11.1+swap/katex.css"> <link rel="stylesheet" - href="/vendors/fork-awesome.1.1.7/css/fork-awesome.min.css"> - <link rel="stylesheet" href="/vendors/fira-code.2/font.css"> - <link rel="stylesheet" href="/vendors/et-book/font.css"> + href="/vendors/fork-awesome.1.1.7+swap/css/fork-awesome.min.css"> </nolink> #+END_SRC @@ -93,10 +93,6 @@ h1, h2, h3, h4, h5 h1 text-align: center -a[href] .url-mark - font-size: smaller; - padding-left: 0.2em - /* default */ body#default @@ -210,6 +206,17 @@ body#vcard ol margin-top: 0.3em +.url-mark.fa + display: inline + font-size: 90% + width: 1em + +.url-mark.fa-github::before + content: "\00a0\f09b" + +.url-mark.fa-external-link::before + content: "\00a0\f08e" + #history summary color: $primary-color |