id:DocSeri様（７月２０日より）

widthは対象要素そのものの幅を指定します「auto」は「指定なし」と考えれば良いでしょう。border-widthはwidthとはまた違うプロパティで、対象要素の枠線の幅を指定するものです。半角スペースで区切って4つまで数値を並べれば「上下左右全て」「上下、左右」「上、左右、下」「上、右、下、左」の枠線の太さを変えることができます

えぇぇ！
「width」と「border-width」が別のものだとは、それこそ青天霹靂というか、想像の埒外でした。
適当な調べ方をして、またまた穴に落ちるところでした。本当にありがとうございます。
ちゃんと調べなければいかんと書くと、もう何回目か分からないのですが、進歩が無いなと横座りになって地面を見て、のの字を書いているところです。（これは落ち込んでいる時の行為では無かったかもしれません）
「紛らわしいから別の表現にしろ！」と開き直ろうかとも思ったのですが、「width」を辞書で引いてみたら、「広さ」とか「幅」と出ていて、割合一般的な名詞なのですね。だとしたら、こういう複合的な使い方をして当たり前なのか……　まぁ確かに、「長い線」と「線の長さ」は違う意味だまとは思いましたが、これはどうやら関係無い話のような気がします。
えぇと、つまり、いつもながらご教示ありがとうございます、ということなのです。これからも、何かお気づきの点がありましたら、お手空きの時にでもぜひ、よろしくお願いします。