

/*******************************************************************************
*  toolbox.css : 2008.06.27, Josef Kraller
*******************************************************************************/


#toolbox {
         width: 			55%;
        	float: 			right;
        	margin:			0px 0px 0px 0px;
        	text-align: 		right;
        	border: 		0px solid #FF00A0;
        	padding: 		0.3em;
}
#toolbox div.panel {
        	padding: 		0;
        	margin-left: 		0;
        	margin-right: 		0;
        	border: 		none;                        /* no border. this is a style choice. */
}
#toolbox button {
        	background-color: 	#fff;
        	color: 			#000;
        	border: 		solid 1px #ccc;
}
#toolbox div.fontsize-set {
        	margin-top: 		0;
}
#toolbox div.fontsize-set input,
#toolbox div.theme-picker input {
        	width: 			1.6em;                                /* target width of toolbox buttons */
        	height: 		1.6em;                                /* target height (make 'em square) */
        	margin-bottom: 		0.0em;                /* gutterspace between buttons */
        	border: 		solid 1px #ccc;                /* border to make it look buttonish */
        	background-color: 	#fff;
        	color: 			#000;
        	cursor: 		pointer;                        /* give user visual feedback that it's
                                                                   a button */
        	padding: 		0;
        	font-size: 		1em;                                /* if this isn't explicitly set the buttons
                                                                   won't change in size as the layout's
                                                                   font size is increased */
        	line-height: 		1.6em;                        /* set to the height of the box should get
                                                                   the text vertically aligned */
`       	text-align: 		center;
}
#toolbox div.fontsize-set input:hover {
        	background-color:	#eee;
}
#toolbox div.fontsize-set small,
#toolbox div.fontsize-set big {
        	font-size: 		1em;                                /* we need to set the font sizes for BIG and
                                                                   SMALL tags on the input buttoms themselves
                                                                   otherwise the buttons themselves (not the
                                                                   text) won't be of equal size */
}
#toolbox div.fontsize-set small input {
                                                /* formula for calculating the width and height of
                                                   these buttons so they're all the same size:
                                                   <target size> * ( 1 / <font-size> ) */
        	font-size: 		0.8em;
        	width: 			2em;                        /* 1.6 * ( 1 / 0.8 ) = 2 */
        	height: 		2em;
        	line-height: 		2em;
}
#toolbox div.fontsize-set big input {
        	font-size: 		1.2em;
        	width: 			1.33em;                /* 1.6 * ( 1 / 1.2 ) = 1.33 */
        	height: 		1.33em;
        	line-height: 		1.33em;
}
#toolbox div.theme-picker input.blue {
        	background-color: 	#ccf;
}
#toolbox div.theme-picker input.red {
        	background-color: 	#fcc;
}
#toolbox div.theme-picker input.green {
        	background-color: 	#cfc;
}
#toolbox div.theme-picker input.orange {
        	background-color:	#fc9;
}
#toolbox div.theme-picker input.gray {
        	background-color: 	#ccc;
}

