psファイルで描かれている絵の、線の太さを変える。

プレゼンの資料には何枚かpsファイルを用いていた。
プレゼンのリハーサルを行ったところ、psファイルの何枚かの絵が見えずらいとのこと。
そこで、絵の線を太くする必要に迫られた。

いくつか方法があったのだが、諸事情によりそのどれもがうまくいかなかった。
そのため応急処置として、psファイルのソースをいじることに。といっても大層なことではなく、

　｛linewidth｝のような文があった場合、それを{30 linewidth}のようにlinewidthの前に数字をつける

とよいだけであった。