On 9/16/13 6:40 AM, Vladimir Panteleev wrote:
What before was <dd>, now is <div class="d_decl_dd"> (and the margin was a dd style). Why this change? You can apply any properties of one to the other through CSS.
Great, thanks. Now fixed. My intent was to use <div> and <span> for styling ddoc elements to the extent possible, in order to make styling as flexible as possible. But I forgot to give the appropriate style to d_decl_dd (hopefully not others).
Destroy: http://erdani.com/d/phobos/std_array.html Andrei
