family = ""</code>. 
Options include <code>"mono"</code>, <code>"sans"</code> (default), and "serif".</p></dd>


<dt>base_line_size</dt>
<dd><p>Base line size (optional, numeric). 
Default: <code>base_line_size = base_size/22</code>.</p></dd>


<dt>base_rect_size</dt>
<dd><p>Base rectangle size (optional, numeric). 
Default: <code>base_rect_size = base_size/22</code>.</p></dd>

</dl></div>
    <div id="details">
    <h2>Details</h2>
    <p><code>theme_grau</code> is no-nonsense, but fills  
panel background