*//* Davy's gray with 0.6 opacity. *//* Light gray with 0.3 opacity on white bg. *//* Old silver with 0.5 opacity on white bg. *//* (1/8)em ~ 2px *//* (1/16)em ~ 1px *//* Font size is too big to use 1rem for extrasmall line-height *//* 7px inside the form element label. *//* 8px with the checkbox width of 19px */
*/
/* Davy's gray with 0.6 opacity. */
/* Light gray with 0.3 opacity on white bg. */
/* Old silver with 0.5 opacity on white bg. */
/* (1/8)em ~ 2px */
/* (1/16)em ~ 1px */
/* Font size is too big to use 1rem for extrasmall line-height */
/* 7px inside the form element label. */
/* 8px with the checkbox width of 19px */
/*
* Details.
*/
@@ -39,7 +72,9 @@
*/
/**
* jQuery.UI dropdown.
*//* Light gray with 0.8 opacity. *//* Text color with 0.1 opacity. */