rob@77: #nothiddendiv { font-size: 16px; }
rob@77: #nothiddendivchild.em { font-size: 2em; }
rob@77: #nothiddendivchild.prct { font-size: 150%; }