diff options
| -rw-r--r-- | default-files/fugitive.css | 8 | ||||
| -rw-r--r-- | html-gen.sh | 12 |
2 files changed, 10 insertions, 10 deletions
diff --git a/default-files/fugitive.css b/default-files/fugitive.css index 19eb469..edea967 100644 --- a/default-files/fugitive.css +++ b/default-files/fugitive.css @@ -19,7 +19,7 @@ html, body { color: #333; text-decoration: none; } -#container a:hover { color: #9c3; } +#container a:hover, #container a:active { color: #9c3; } nav { display: block; margin: 0; @@ -44,7 +44,7 @@ nav ul li a { color: #aaa; text-decoration: none; } -#container nav ul li a:hover { color: #888; } +#container nav ul li a:hover, #container nav ul li a:active { color: #888; } header { display: block; margin: 1em 0; @@ -99,7 +99,7 @@ article > div a { color: #08f; text-decoration: underline; } -article > div a:hover { text-decoration: underline; } +article > div a:hover, article > div a:active { text-decoration: underline; } article > div a:visited { color: #048; } article > div h2 { margin: 1em 0 0.5em 0; @@ -295,4 +295,4 @@ footer p a { color: #666; text-decoration: none; } -#container footer p a:hover { color: #333; } +#container footer p a:hover, #container footer p a:active { color: #333; } diff --git a/html-gen.sh b/html-gen.sh index 32edeec..ef03fc8 100644 --- a/html-gen.sh +++ b/html-gen.sh @@ -54,25 +54,25 @@ get_article_info() { git log --format="$1" -- "$articles_dir/$2" } get_article_next_file() { - next=`grep -B1 "$1" "$articles_sorted" | head -1` + next=`grep -B1 "^$1$" "$articles_sorted" | head -1` if [ "$next" != "$1" ]; then echo "$next" fi } get_article_previous_file() { - previous=`grep -A1 "$1" "$articles_sorted" | tail -1` + previous=`grep -A1 "^$1$" "$articles_sorted" | tail -1` if [ "$previous" != "$1" ]; then echo "$previous" fi } get_deleted_next_file() { - next=`grep -B1 "$1" "$articles_sorted_with_delete" | head -1` + next=`grep -B1 "^$1$" "$articles_sorted_with_delete" | head -1` if [ "`echo $deleted_files | grep -c \"$next\"`" = "0" ]; then echo "$next" fi } get_deleted_previous_file() { - previous=`grep -A1 "$1" "$articles_sorted_with_delete" | tail -1` + previous=`grep -A1 "^$1$" "$articles_sorted_with_delete" | tail -1` if [ "`echo $deleted_files | grep -c \"$previous\"`" = "0" ]; then echo "$previous" fi @@ -293,7 +293,7 @@ generate_article() { regenerate_previous_and_next_article_maybe() { if [ "$1" != "" -a \ - "`grep -c \"$1\" \"$generated_files\"`" = "0" ]; then + "`grep -c \"^$1$\" \"$generated_files\"`" = "0" ]; then echo -n "[fugitive] Regenerating $public_dir/$1.html" echo -n " (as previous article) from $articles_dir/$1... " generate_article "$articles_dir/$1" @@ -301,7 +301,7 @@ regenerate_previous_and_next_article_maybe() { echo "$1" >> "$generated_files" fi if [ "$2" != "" -a \ - "`grep -c \"$2\" \"$generated_files\"`" = "0" ]; then + "`grep -c \"^$2$\" \"$generated_files\"`" = "0" ]; then echo -n "[fugitive] Regenerating $public_dir/$2.html" echo -n " (as next article) from $articles_dir/$2... " generate_article "$articles_dir/$2" |