Fixed highlighting in search results; changed search algorithm to give more score for terms found in page title; hopefully (hackishly) fixed login_key_cache getting too long

     1

#!/bin/bash

     2

for f in *.svg; do

     3

    echo Converting $f

     4

    fname=`echo $f | cut -d '.' -f 1`

     5

    rm -f $fname.png

     6

    inkscape -z -f $f -w 22 -h 22 -e ./$fname.png

     7

done