body 
{
    color: #000;
    font: 13px verdana,arial,helvetica,'sans-serif';
    padding: 0;
    margin: 0;
    background-color: #fff;
}

div#nav
{
    margin: 0 18px 0 18px;
    background-color: #fff;
    font-size: 110%;
}


div#blog
{
    margin: 18px;
}

div#head
{
    font-size:120%;
}

a
{
   color: #00008B;
   text-decoration: none;
}


a:visited
{

   color: #990033;
   text-decoration: none;
}

div.meta
{
    text-align:right;
}

span.date
{
    font-size:90%;
}

div.blogentry a
{
   color: #00008B;
   text-decoration: none;
   border-bottom: 1px dotted #aaaaff; 
}

div.blogentry a:hover, a:hover
{
    color: white;
    background-color: rgb(117,144,174);
    text-decoration: none;
}


.hilight
{
    background: lightgoldenrodyellow;
}

div.quote
{
        color:#222; 
        border: 1px solid rgb(204,204,204);
        background: #eeeeee;
        padding:10px;
        /* margin:8px; */
        margin-top: 8px;
        margin-bottom: 8px;
}

div.spam
{
        color:#222;
        border: 1px solid rgb(204,204,204);
        background: #eeeeee;
        padding:10px;
        margin-top: 8px;
        margin-bottom: 8px;
}

div.smallquote
{
        color:#222;
        border: 1px solid rgb(204,204,204);
        background: #eeeeee;
        padding:10px;
        /* margin:8px; */
        margin-top: 8px;
        margin-bottom: 8px;
        font-size: 90%;
}

div.code
{
    white-space: pre;
    font-family: monaco, fixed;
}

span.code
{
    font-family: monaco, fixed;
}




img.review
{
    padding: 6px;
}


div.literallayout p, pre
{
    background: #F0F0F0;
    border: 1px solid gray;
    padding: 4px;
   /* font-size: 10pt; */
    white-space: pre;
    font-family: monaco, courier, monospaced, serif;
    overflow: auto;
}

.small
{
    font-size: 90%;
}

.strike
{
   text-decoration: line-through; 
}

div.blogentry
{
    margin: 0;
    padding: 4px 4px 4px 0px;
    clear: left;
    text-align: left;
    background-color:#fff;
}

div.blogentry p
{
    font-size: 12px; 
}

div.blogentry li p
{
    display: block;
    padding: 0;
}



div.title, div.podman div.mantitle
{
    font-size: 110%;
    font-weight:bold; 
    text-align: left;
    padding: 4px 4px 4px 4px; 
    border: 1px solid rgb(204,204,204);
    background-color: #f5f5f5;
    border-top: 2px solid rgb(117,144,174);
}

div.podman div.title
{
    font-size: 110%;
    font-weight:bold;
    border: none;
    margin: 1.5em 0 0 0;
    padding: 4px 0 4px 0;
    background-color: #fff;
    border-bottom: 1px solid #ddd;
    /* border-top: 1px solid #ddd; */
}

div.head2
{
    font-size: 100%;
    font-weight:bold;
    padding: 4px 0 4px 0;
    
}