+Options Options for the program
+\family typewriter
+dvips
+\family default
+ that is used for the export format
+\family sans
+Postscript
+\family default
+, see section
+\begin_inset space ~
+\end_inset
+
+
+\begin_inset CommandInset ref
+LatexCommand ref
+reference "subsec:Export"
+
+\end_inset
+
+.
+ Possible options are listed in the
+\family typewriter
+dvips
+\family default
+ manual:
+\begin_inset Newline newline
+\end_inset
+
+
+\begin_inset Flex URL
+status collapsed
+
+\begin_layout Plain Layout
+
+https://www.tug.org/texinfohtml/dvips.html
+\backslash
+#Option-details
+\end_layout
+
+\end_inset
+
+