luckysideのプロフィール

Operaを判別したくて、以下のようなサンプルをもらってきたんですが。 ＜以下、サンプル＞ // _op6: trueならOpera 6以下 _op6=window.opera && !document.documentElement; ＜サンプルここまで＞ 「window.opera」については、Opera特有のプロパティであることが解説されていたのでとりあえず納得したのですが、「document.documentElement」については特に解説がなくてさっぱり意味がわかりません。 「document.all」とか「document.getElementById」とかでIEとNNを判別する方法と同じで、「document.documentElement」が扱えるブラウザかどうかということを判断したいってことなのかなぁ、と思うのですが。 でも、それがどうしてなのかもわからないので、確信が持てなくて悩んでます。 何のことを指しているのでしょうか？ わかる方、よかったら教えてください。 おねがいします。