/* Optional stylesheet for documentation pages.
   This file is included by header.php for future use.
   Currently it is intentionally empty to avoid 404 errors.
*/