/* Superseded by sde.css v3. */