The dev tools are basically just for testing purposes. Normally, once you’ve established the CSS/HTML you want, copy it and paste it into your real CSS file.
However, you can set up a workflow whereby your in-browser changes are saved directly to disc via Workspaces. This takes a bit of setting up, though.