gamerdonkey
/
tilde-town-website
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Compare commits

base: gamerdonkey:cfaca7af9002ff9fab693c46beb29bb3ff8a7ce7
Branches Tags
gamerdonkey:master
..
compare: gamerdonkey:a28e2365f9aa26be555150a1b12af6d714f510b8
Branches Tags
gamerdonkey:master

2 Commits
cfaca7af90 ... a28e2365f9

Author SHA1 Message Date
gamerdonkey a28e2365f9 Adding tilde.town ring. 2021-08-14 19:39:23 +00:00
gamerdonkey dd4e70789e Optimizing the custom font I used because I feel bad about not using native webfonts. 2021-02-22 03:04:41 +00:00
4 changed files with 45 additions and 4 deletions
Show Stats Expand all files Collapse all files

2
.gitignore vendored 100644
View File

@ -0,0 +1,2 @@
*.ttf
fonts/pixel_operator/LICENSE.txt

5
fonts/pixel_operator/build_reduced_ttf.sh 100644
View File

@ -0,0 +1,5 @@
# Reduces ttf files to a subset of their original size to reduce the bandwidth
# usage.
pyftsubset PixelOperator-Bold.ttf --output-file=PixelOperator-Bold_reduced.ttf --text-file=header_text.txt
pyftsubset PixelOperator.ttf --output-file=PixelOperator_reduced.ttf --unicodes="U+0020-007E"

3
fonts/pixel_operator/header_text.txt 100644
View File

@ -0,0 +1,3 @@
Welcome to My Small Corner of ~town
My Things
Other People's Things

39
index.html
View File

@ -5,8 +5,14 @@
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
<style> <style>
@font-face { @font-face {
font-family: "PixelOperator"; font-family: "PixelOperator_reduced";
src: url("./fonts/PixelOperator-Bold.ttf"); src: url("./fonts/pixel_operator/PixelOperator_reduced.ttf");
}
@font-face {
font-family: "PixelOperator_reduced";
font-weight: bold;
src: url("./fonts/pixel_operator/PixelOperator-Bold_reduced.ttf");
} }
html { html {
@ -18,7 +24,7 @@
background: repeating-linear-gradient(rgb(0,0,170), rgb(0,0,170) 20px, rgb(0,170,170) 20px, rgb(0,170,170) 40px); background: repeating-linear-gradient(rgb(0,0,170), rgb(0,0,170) 20px, rgb(0,170,170) 20px, rgb(0,170,170) 40px);
min-height: 100%; min-height: 100%;
margin: 0; margin: 0;
font-family: PixelOperator, monospace, fixed; font-family: PixelOperator_reduced, monospace, fixed;
font-size: 14pt; font-size: 14pt;
} }
@ -51,7 +57,18 @@
main { main {
max-width: 80ch; max-width: 80ch;
margin: 0 0.5em; margin: 0 0.5em;
flex-grow: 2;
} }
footer {
text-align: center;
font-size: 12pt;
}
footer > p#license {
font-style: italic;
}
</style> </style>
</head> </head>
<body> <body>
@ -80,9 +97,23 @@
<h3> Other People's Things </h3> <h3> Other People's Things </h3>
<ul> <ul>
<li><a href='https://xkcd.com/1732/'>This comic</a> from XKCD. (Also <a href='https://xkcd.com/926/'>this one</a>)</li> <li>XKCD <a href='http://geekwagon.net/projects/xkcd1190/' target='_blank'>Time</a> (and its <a href='https://explainxkcd.com/wiki/index.php/1190:_Time' target='_blank'>wiki page</a>)</li>
</ul> </ul>
</main> </main>
<footer>
<div id="tilde_ring">
<p> <a id="tilde_town_ring" class="tilde_ring_link" href="">random ~user</a>
| <a href="https://tilde.town/~um/tilde_ring/join.html">join ~ring</a>
| <a id="tilde_town_ring_next" class="tilde_ring_link" href="">next ~user</a> </p>
<script type="text/javascript">
var ringjs = document.createElement('script')
ringjs.src = document.location.protocol + '//tilde.town/~um/tilde_ring/tilde_ring.js'
document.getElementById('tilde_ring').appendChild(ringjs)
</script>
</div>
<p id='license'> Unless otherwise noted, my work is licensed <a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/">CC BY-SA 4.0</a>.</p>
</footer>
</div> <!-- terminal --> </div> <!-- terminal -->
</body> </body>
</html> </html>