mirror/syncthing
1
0
Fork 0
mirror of https://github.com/syncthing/syncthing.git synced 2026-04-08 00:17:59 -04:00
Code Issues Packages Projects Releases Wiki Activity

Spacing, deploy

Browse Source
This commit is contained in:
Jakob Borg
2015-05-28 14:17:54 +02:00
parent 997d586c5e
commit 040a7f1cf4
3 changed files with 17 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@@ -1 +1,3 @@
_build/
_deployed
_deployed.old

10
_static/syncthing.css
View File

@@ -1,7 +1,11 @@
.rst-content p, .rst-content p.admonition-title, .rst-content li, .rst-content table.docutils td,
.rst-content table.docutils th, .rst-content code, .rst-content div[class^='highlight'] pre {
font-size: 14pt;
line-height: 1.35;
.rst-content table.docutils th {
font-size: 120%;
line-height: 1.4;
}
.rst-content code, .rst-content div[class^='highlight'] pre {
font-size: 110%;
line-height: 1.4;
}
.rst-content li {
margin-bottom: 0.5em;

9
deploy.sh
View File

@@ -1,4 +1,11 @@
#!/bin/sh
set -euo pipefail
git pull && rm -fr _build && make html
git pull
rm -fr _build
make html
rm -rf _deployed.old
[ -d _deployed ] && mv _deployed _deployed.old || true
mv _build _deployed