diff options
| -rw-r--r-- | build.py | 6 | ||||
| -rwxr-xr-x | build.sh | 1 | ||||
| -rw-r--r-- | resources/style.css | 12 |
3 files changed, 14 insertions, 5 deletions
@@ -271,10 +271,12 @@ def create_repos(): for repo in get_repos(): print(repo) + name = ".".join(repo.split("/")[-1].split(".")[:-1]) - os.system(f"cd {dist}/git; git clone {repo}") + os.system(f"mkdir -p {dist}/git/{name} ;\ + cd {dist}/git/{name} ;\ + git pull || git clone {name}") - name = ".".join(repo.split("/")[-1].split(".")[:-1]) command = subprocess.run(f"cd {dist}/git/{name} && git log --pretty=format:'%h%x09%an%x09%ad%x09%s' --no-decorate -1", stdout=subprocess.PIPE, shell=True) @@ -1,6 +1,5 @@ #!/bin/sh python build.py python gif.py -./sync.sh diff --git a/resources/style.css b/resources/style.css index 76b4338..285783a 100644 --- a/resources/style.css +++ b/resources/style.css @@ -24,6 +24,9 @@ body { background-image: url("/images/bg.gif"); background-repeat: repeat; background-attachment: fixed; + image-rendering: pixelated; + image-rendering: optimizeSpeed; + /*background-image: url("https://davidovski.xyz/images/bg.png");*/ color: var(--fg); @@ -33,6 +36,11 @@ body { margin: 0; } +img { + image-rendering: pixelated; + image-rendering: optimizeSpeed; +} + a { color: var(--blue); text-decoration: none; @@ -131,12 +139,12 @@ pre { } .about { - width: 75%; + width: 65%; float: left; } .image { - width: 25%; + width: 35%; float: right; } |