/* The css file for the misc. setup panel. */


/* The misc. setup panel itself. */
.MiscSetupPanel{

}


/* The checkbox for making the URL downloaded. */
.MiscSetupPanelDownloadedUrlCheckBox{
	
}


/* The panel where the user selects the suggested download name. */
.MiscSetupPanelDownloadFilenamePanel{
	margin-left: 2em;
	margin-bottom: 0.2em;
}


/* The label for the suggested download filename box. */
.MiscSetupPanelDownloadFilenameLabel{
	margin-right: 0.3em;
}


/* The textbox for selecting the suggested download name. */
.MiscSetupPanelDownloadFilenameTextBox{
	width: 8em;
}


/* The checkbox for making grayscale diagrams. */
.MiscSetupPanelGrayscaleCheckBox{
	
}


/* The checkbox for silly forum URL encoding. */
.MiscSetupPanelSillyForumUrlEncodingCheckBox{

}