標準スタイルシートオプションの設定

標準スタイルシートの割り当ては初期設定ディレクトリに置かれたFrontEnd/init.mファイル内のオプションとして設定されます．このオプションはDefaultStyleDefinitions :> "filename"であり，filenameは共有スタイルシート名あるいは作成されたスタイルシート名を示します．場合によっては，FrontEnd`FileNameのコマンドを使って，ファイル名がフロントエンドによって保存されます．