attempt to unfuck git-lfs
@ -3,7 +3,7 @@ if site.safe == false %}{%
|
|||||||
assign url_root = "/" %}{% else %}{%
|
assign url_root = "/" %}{% else %}{%
|
||||||
assign url_root = "/inter/" %}{% endif
|
assign url_root = "/inter/" %}{% endif
|
||||||
%}
|
%}
|
||||||
<!-- style in res/base.css -->
|
<!-- style in r/base.css -->
|
||||||
<div class="charset-table">
|
<div class="charset-table">
|
||||||
{% for g in site.data.glyphinfo.glyphs %}
|
{% for g in site.data.glyphinfo.glyphs %}
|
||||||
{% comment %}
|
{% comment %}
|
||||||
|
@ -6,15 +6,15 @@ assign url_root = "/inter/" %}{% endif %}{%
|
|||||||
|
|
||||||
for file in site.static_files %}{%
|
for file in site.static_files %}{%
|
||||||
assign _path = file.path | remove_first: "/inter" %}{%
|
assign _path = file.path | remove_first: "/inter" %}{%
|
||||||
if _path == "/res/ctxedit.js" %}{%
|
if _path == "/r/ctxedit.js" %}{%
|
||||||
assign ctxedit_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign ctxedit_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/ctxedit.css" %}{%
|
elsif _path == "/r/ctxedit.css" %}{%
|
||||||
assign ctxedit_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign ctxedit_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
endif %}{%
|
endif %}{%
|
||||||
endfor
|
endfor
|
||||||
|
|
||||||
%}
|
%}
|
||||||
<link rel="stylesheet" href="{{url_root}}res/ctxedit.css?v={{ ctxedit_css_v }}">
|
<link rel="stylesheet" href="{{url_root}}r/ctxedit.css?v={{ ctxedit_css_v }}">
|
||||||
<div id="ctxedit-ui" class="styled-inputs-neg" contenteditable="false" tabindex="1">
|
<div id="ctxedit-ui" class="styled-inputs-neg" contenteditable="false" tabindex="1">
|
||||||
<div class="wrapper">
|
<div class="wrapper">
|
||||||
<div class="control popup">
|
<div class="control popup">
|
||||||
@ -60,4 +60,4 @@ endfor
|
|||||||
<div class="control button dismiss-button" title="Close editor"></div>
|
<div class="control button dismiss-button" title="Close editor"></div>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
<script src="{{url_root}}res/ctxedit.js?v={{ ctxedit_js_v }}"></script>
|
<script src="{{url_root}}r/ctxedit.js?v={{ ctxedit_js_v }}"></script>
|
||||||
|
@ -16,13 +16,13 @@ endcapture %}{%
|
|||||||
|
|
||||||
for file in site.static_files %}{%
|
for file in site.static_files %}{%
|
||||||
assign _path = file.path | remove_first: "/inter" %}{%
|
assign _path = file.path | remove_first: "/inter" %}{%
|
||||||
if _path == "/res/base.css" %}{%
|
if _path == "/r/base.css" %}{%
|
||||||
assign base_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign base_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/grid.css" %}{%
|
elsif _path == "/r/grid.css" %}{%
|
||||||
assign grid_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign grid_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/base.js" %}{%
|
elsif _path == "/r/base.js" %}{%
|
||||||
assign base_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign base_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/favicon.png" %}{%
|
elsif _path == "/r/favicon.png" %}{%
|
||||||
assign favicon_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign favicon_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
endif %}{%
|
endif %}{%
|
||||||
endfor
|
endfor
|
||||||
@ -36,10 +36,10 @@ endfor
|
|||||||
<meta name="viewport" content="width=device-width, initial-scale=1">
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
||||||
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
||||||
<link rel="stylesheet" href="{{url_root}}inter.css?v={{ release_version }}">
|
<link rel="stylesheet" href="{{url_root}}inter.css?v={{ release_version }}">
|
||||||
<link rel="stylesheet" href="{{url_root}}res/base.css?v={{ base_css_v }}">
|
<link rel="stylesheet" href="{{url_root}}r/base.css?v={{ base_css_v }}">
|
||||||
<link rel="stylesheet" href="{{url_root}}res/grid.css?v={{ grid_css_v }}">
|
<link rel="stylesheet" href="{{url_root}}r/grid.css?v={{ grid_css_v }}">
|
||||||
<link rel="stylesheet" href="https://rsms.me/res/fonts/ibm-plex-mono.css">
|
<link rel="stylesheet" href="https://rsms.me/r/fonts/ibm-plex-mono.css">
|
||||||
<link rel="icon" type="image/png" href="{{url_root}}res/favicon.png?v={{ favicon_v }}">
|
<link rel="icon" type="image/png" href="{{url_root}}r/favicon.png?v={{ favicon_v }}">
|
||||||
{% include preload-font-files.html %}
|
{% include preload-font-files.html %}
|
||||||
<meta name="format-detection" content="telephone=no">
|
<meta name="format-detection" content="telephone=no">
|
||||||
<meta name="twitter:card" content="summary_large_image">
|
<meta name="twitter:card" content="summary_large_image">
|
||||||
@ -59,8 +59,8 @@ endfor
|
|||||||
<meta property="og:image" content="{{ page.og_image_url }}">
|
<meta property="og:image" content="{{ page.og_image_url }}">
|
||||||
<meta name="twitter:image" content="{{ page.og_image_url }}">
|
<meta name="twitter:image" content="{{ page.og_image_url }}">
|
||||||
{% else %}
|
{% else %}
|
||||||
<meta property="og:image" content="https://rsms.me/inter/res/share.png">
|
<meta property="og:image" content="https://rsms.me/inter/r/share.png">
|
||||||
<meta name="twitter:image" content="https://rsms.me/inter/res/share.png">
|
<meta name="twitter:image" content="https://rsms.me/inter/r/share.png">
|
||||||
{% endif %}
|
{% endif %}
|
||||||
<meta property="og:image:alt" content="Inter font family sample image">
|
<meta property="og:image:alt" content="Inter font family sample image">
|
||||||
<meta property="fb:app_id" content="38027689216">
|
<meta property="fb:app_id" content="38027689216">
|
||||||
@ -78,7 +78,7 @@ endfor
|
|||||||
}
|
}
|
||||||
</script>{% endif %}
|
</script>{% endif %}
|
||||||
<div id="hud-notification"><div class="msg">Hello</div></div>
|
<div id="hud-notification"><div class="msg">Hello</div></div>
|
||||||
<script src="{{url_root}}res/base.js?v={{ base_js_v }}"></script>
|
<script src="{{url_root}}r/base.js?v={{ base_js_v }}"></script>
|
||||||
|
|
||||||
<div class="row menu">
|
<div class="row menu">
|
||||||
<ul class="menu">
|
<ul class="menu">
|
||||||
|
@ -27,17 +27,17 @@ fi
|
|||||||
|
|
||||||
pushd res >/dev/null
|
pushd res >/dev/null
|
||||||
|
|
||||||
# crunch /docs/res/*.svg
|
# crunch /docs/r/*.svg
|
||||||
for f in *.svg; do
|
for f in *.svg; do
|
||||||
svgo --multipass -q "$f" &
|
svgo --multipass -q "$f" &
|
||||||
done
|
done
|
||||||
|
|
||||||
# crunch /docs/res/icons/*.svg
|
# crunch /docs/r/icons/*.svg
|
||||||
for f in icons/*.svg; do
|
for f in icons/*.svg; do
|
||||||
svgo --multipass -q "$f" &
|
svgo --multipass -q "$f" &
|
||||||
done
|
done
|
||||||
|
|
||||||
# crunch /docs/res/*.png
|
# crunch /docs/r/*.png
|
||||||
for f in *.png; do
|
for f in *.png; do
|
||||||
TMPNAME=.$f.tmp
|
TMPNAME=.$f.tmp
|
||||||
(pngcrush -q "$f" "$TMPNAME" && mv -f "$TMPNAME" "$f") &
|
(pngcrush -q "$f" "$TMPNAME" && mv -f "$TMPNAME" "$f") &
|
||||||
|
@ -12,17 +12,17 @@ for file in site.static_files %}{%
|
|||||||
assign _path = file.path | remove_first: "/inter" %}{%
|
assign _path = file.path | remove_first: "/inter" %}{%
|
||||||
if _path == "/dynmetrics/index.css" %}{%
|
if _path == "/dynmetrics/index.css" %}{%
|
||||||
assign index_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign index_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/bindings.js" %}{%
|
elsif _path == "/r/bindings.js" %}{%
|
||||||
assign bindings_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign bindings_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/graphplot.js" %}{%
|
elsif _path == "/r/graphplot.js" %}{%
|
||||||
assign graphplot_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign graphplot_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
endif %}{%
|
endif %}{%
|
||||||
endfor
|
endfor
|
||||||
|
|
||||||
%}
|
%}
|
||||||
<link rel="stylesheet" href="index.css?v={{ index_css_v }}">
|
<link rel="stylesheet" href="index.css?v={{ index_css_v }}">
|
||||||
<script src="{{url_root}}res/bindings.js?v={{ bindings_js_v }}"></script>
|
<script src="{{url_root}}r/bindings.js?v={{ bindings_js_v }}"></script>
|
||||||
<script src="{{url_root}}res/graphplot.js?v={{ graphplot_js_v }}"></script>
|
<script src="{{url_root}}r/graphplot.js?v={{ graphplot_js_v }}"></script>
|
||||||
|
|
||||||
<div class="row first"><div>
|
<div class="row first"><div>
|
||||||
<h1>Dynamic Metrics</h1>
|
<h1>Dynamic Metrics</h1>
|
||||||
|
@ -156,7 +156,7 @@ html { font-family: 'Inter', sans-serif; }
|
|||||||
There are nine weights, each with italic counterparts,
|
There are nine weights, each with italic counterparts,
|
||||||
making a total of 18 styles.
|
making a total of 18 styles.
|
||||||
</p>
|
</p>
|
||||||
<img src="res/weights-and-styles.svg" class="weights-and-styles">
|
<img src="r/weights-and-styles.svg" class="weights-and-styles">
|
||||||
</div></div>
|
</div></div>
|
||||||
|
|
||||||
|
|
||||||
|
@ -79,10 +79,10 @@
|
|||||||
--surface2-shadow-intensity-hover: 0.75;
|
--surface2-shadow-intensity-hover: 0.75;
|
||||||
--surface2-shadow-intensity-active: 1.5;
|
--surface2-shadow-intensity-active: 1.5;
|
||||||
|
|
||||||
--icon-minimize: url(../res/icons/minimize-black.svg);
|
--icon-minimize: url(../r/icons/minimize-black.svg);
|
||||||
--icon-popup: url(../res/icons/popup-black.svg);
|
--icon-popup: url(../r/icons/popup-black.svg);
|
||||||
--icon-reset: url(../res/icons/reset-black.svg);
|
--icon-reset: url(../r/icons/reset-black.svg);
|
||||||
--icon-settings: url(../res/icons/settings-black.svg);
|
--icon-settings: url(../r/icons/settings-black.svg);
|
||||||
}
|
}
|
||||||
|
|
||||||
:root.color-scheme-dark {
|
:root.color-scheme-dark {
|
||||||
@ -110,10 +110,10 @@
|
|||||||
--surface2-shadow-intensity-hover: 4;
|
--surface2-shadow-intensity-hover: 4;
|
||||||
--surface2-shadow-intensity-active: 10;
|
--surface2-shadow-intensity-active: 10;
|
||||||
|
|
||||||
--icon-minimize: url(../res/icons/minimize.svg);
|
--icon-minimize: url(../r/icons/minimize.svg);
|
||||||
--icon-popup: url(../res/icons/popup.svg);
|
--icon-popup: url(../r/icons/popup.svg);
|
||||||
--icon-reset: url(../res/icons/reset.svg);
|
--icon-reset: url(../r/icons/reset.svg);
|
||||||
--icon-settings: url(../res/icons/settings.svg);
|
--icon-settings: url(../r/icons/settings.svg);
|
||||||
}
|
}
|
||||||
|
|
||||||
/* document ———————————————————————————————————————————————————————————————————————————— */
|
/* document ———————————————————————————————————————————————————————————————————————————— */
|
||||||
|
@ -552,7 +552,7 @@ a > img { display: block; }
|
|||||||
display:block;
|
display:block;
|
||||||
width:100%;
|
width:100%;
|
||||||
height:40vw;
|
height:40vw;
|
||||||
background-image: url(res/repertoire.png);
|
background-image: url(r/repertoire.png);
|
||||||
background-repeat: no-repeat;
|
background-repeat: no-repeat;
|
||||||
background-size: cover;
|
background-size: cover;
|
||||||
background-blend-mode: multiply;
|
background-blend-mode: multiply;
|
Before Width: | Height: | Size: 232 B After Width: | Height: | Size: 232 B |
Before Width: | Height: | Size: 250 B After Width: | Height: | Size: 250 B |
Before Width: | Height: | Size: 232 B After Width: | Height: | Size: 232 B |
Before Width: | Height: | Size: 232 B After Width: | Height: | Size: 232 B |
Before Width: | Height: | Size: 231 B After Width: | Height: | Size: 231 B |
Before Width: | Height: | Size: 231 B After Width: | Height: | Size: 231 B |
Before Width: | Height: | Size: 341 B After Width: | Height: | Size: 341 B |
Before Width: | Height: | Size: 341 B After Width: | Height: | Size: 341 B |
Before Width: | Height: | Size: 321 B After Width: | Height: | Size: 321 B |
Before Width: | Height: | Size: 321 B After Width: | Height: | Size: 321 B |
Before Width: | Height: | Size: 304 B After Width: | Height: | Size: 304 B |
Before Width: | Height: | Size: 304 B After Width: | Height: | Size: 304 B |
Before Width: | Height: | Size: 146 B After Width: | Height: | Size: 146 B |
Before Width: | Height: | Size: 146 B After Width: | Height: | Size: 146 B |
Before Width: | Height: | Size: 281 B After Width: | Height: | Size: 281 B |
Before Width: | Height: | Size: 281 B After Width: | Height: | Size: 281 B |
Before Width: | Height: | Size: 279 B After Width: | Height: | Size: 279 B |
Before Width: | Height: | Size: 279 B After Width: | Height: | Size: 279 B |
Before Width: | Height: | Size: 257 B After Width: | Height: | Size: 257 B |
Before Width: | Height: | Size: 257 B After Width: | Height: | Size: 257 B |
Before Width: | Height: | Size: 203 B After Width: | Height: | Size: 203 B |
Before Width: | Height: | Size: 203 B After Width: | Height: | Size: 203 B |
Before Width: | Height: | Size: 281 B After Width: | Height: | Size: 281 B |
Before Width: | Height: | Size: 279 B After Width: | Height: | Size: 279 B |
Before Width: | Height: | Size: 257 B After Width: | Height: | Size: 257 B |
Before Width: | Height: | Size: 230 KiB After Width: | Height: | Size: 230 KiB |
@ -12,17 +12,17 @@ for file in site.static_files %}{%
|
|||||||
assign _path = file.path | remove_first: "/inter" %}{%
|
assign _path = file.path | remove_first: "/inter" %}{%
|
||||||
if _path == "/samples/index.css" %}{%
|
if _path == "/samples/index.css" %}{%
|
||||||
assign index_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign index_css_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/bindings.js" %}{%
|
elsif _path == "/r/bindings.js" %}{%
|
||||||
assign bindings_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign bindings_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
elsif _path == "/res/graphplot.js" %}{%
|
elsif _path == "/r/graphplot.js" %}{%
|
||||||
assign graphplot_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
assign graphplot_js_v = file.modified_time | date: "%Y%m%d%H%M%S" %}{%
|
||||||
endif %}{%
|
endif %}{%
|
||||||
endfor
|
endfor
|
||||||
|
|
||||||
%}
|
%}
|
||||||
<link rel="stylesheet" href="index.css?v={{ index_css_v }}">
|
<link rel="stylesheet" href="index.css?v={{ index_css_v }}">
|
||||||
<script src="{{url_root}}res/bindings.js?v={{ bindings_js_v }}"></script>
|
<script src="{{url_root}}r/bindings.js?v={{ bindings_js_v }}"></script>
|
||||||
<script src="{{url_root}}res/graphplot.js?v={{ graphplot_js_v }}"></script>
|
<script src="{{url_root}}r/graphplot.js?v={{ graphplot_js_v }}"></script>
|
||||||
{% include ctxedit.html %}
|
{% include ctxedit.html %}
|
||||||
|
|
||||||
<div class="row"><div>
|
<div class="row"><div>
|
||||||
|