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


/* The markings setup panel itself. */
.MarkingsSetupPanel{
	margin: 0px auto;
}

/* The panel holding the markings. */
.MarkingsSetupPanelMarkingsPanel{
	
}

/* The button panel. */
.MarkingsSetupPanelButtonPanel{
	margin-top: 0.8em;
	text-align: center;
}

/* The "add arrow" button. */
.MarkingsSetupPanelAddArrowButton{
	margin-right: 0.5em;
}

/* The "add circle" button. */
.MarkingsSetupPanelAddCircleButton{

}


/* The widget allowing to specify an arrow. */
.MarkingsSetupPanelArrowWidget{
	margin-top: 0.3em;
}

/* The widget allowing to specify a circle. */
.MarkingsSetupPanelCircleWidget{
	margin-top: 0.3em;
}


/* The "from" box of the arrow widget. */
.MarkingsSetupPanelArrowWidgetFromBox{
	width: 2em;
}

/* The "to" box of the arrow widget. */
.MarkingsSetupPanelArrowWidgetToBox{
	width: 2em;
}

/* The circle's square box. */
.MarkingsSetupPanelCircleWidgetSquareBox{
	width: 2em;
}


/* The "from" label of the arrow widget. */
.MarkingsSetupPanelArrowWidgetFromLabel{
	margin-right: 0.3em;
}

/* The "to" label of the arrow widget. */
.MarkingsSetupPanelArrowWidgetToLabel{
	margin-right: 0.3em;
	margin-left: 0.5em;
}

/* The circle widget's square box label. */
.MarkingsSetupPanelCircleWidgetSquareLabel{
	margin-right: 0.3em;
}


/* The delete button of the arrow widget. */
.MarkingsSetupPanelArrowWidgetDeleteButton{
	margin-right: 0.5em;
}

/* The delete button of the circle widget. */
.MarkingsSetupPanelCircleWidgetDeleteButton{
	margin-right: 0.5em;
}