今XMLからHTMLへの変換スタイルシートを書いています．「そんなのありふれてるじゃん」と言われそうなんですが、なにせ変換元がDITAなのでそう甘くはないです． で、HTMLと言っても拡張子は.phpです．つまりサーバー側のPHPエンジンで変換されクライアントの…