This commit is contained in:
Rasmus Andersson 2017-09-12 00:08:18 -07:00
parent dab1e881b1
commit 4b7a326d74
2 changed files with 6 additions and 1 deletions

View file

@ -70,6 +70,10 @@ dem { /* de-emphasize */
font-weight: 400; font-weight: 400;
opacity: 0.7; opacity: 0.7;
} }
num { /* number */
font-feature-settings: 'calt' 1, 'ss01' 1;
white-space: pre;
}
h1, h2, h3 { h1, h2, h3 {
font-weight: 500; font-weight: 500;

View file

@ -264,7 +264,8 @@
<li class="a"> <li class="a">
Interface was developed in an a private, internal git repository Interface was developed in an a private, internal git repository
starting in November 2016, prior to being published on August 22, 2017. starting in November 2016, prior to being published on August 22, 2017.
Between November 2016 and August 2017, there were 2&#x2006;990&#x2006;150 line edits made across 247 versions. Between November 2016 and August 2017, there were
<num>2&#x2006;990&#x2006;150</num> line edits made across 247 versions.
The reason the public GitHub repository does not reflect this is the The reason the public GitHub repository does not reflect this is the
fact that the project was initially only internal at the company where fact that the project was initially only internal at the company where
the author works and had some sensitive information "checked in", the author works and had some sensitive information "checked in",