You cannot export the default theme.
Click [Export themes] - [Export themes] to export all themes.
Click [Export themes] - [Export current theme] to export the currently selected theme.
The exported themes are stored in a zip file. The zip file is stored in the [Downloads] folder of your computer.