`xxborder`と`xxmargin`

DOM Consoleのソースを読んで勉強してやろうと思ったら、ソース中にスタイルシートの記述としてxxborderプロパティとxxmargin-leftプロパティなるものが定義されているのを発見した。Opera独自の拡張だとしたらCSS2.1の仕様書のVendor-specific extensionsの項に存在が確認されているものとして明記されている-o-を使うことだろうし、かといってxxで始まるプロパティなど聞いたことがない。ソース中には結構;;なんて記述もあったりして最初は誤植なのかとも思ってみていたのだけれど、どうやら恣意的に書いている様に見えてきた。検索すると他の利用例も若干確認できる。……しかし、何なのかはさっぱりつかめない。

で、これが気になって結局ほとんどソースを読まなかったという。読めば解決したかもしれないのにね。……まぁ今度時間のある時にじっくり読む。