/* css styles for core html components */

body
{
line-height: 1.5;
}

div
{
/*border: 1px solid #999;*/
}

q
{
font-style: italic;
font-size: 90%;
}

small
{
font-size: 80%;
}

var
{
font-family: monospace;
font-style: normal;
}

pre
{
font-family: monospace;
font-size: 8pt;
}

p
{
margin: 5px 0 10px 0;
}

a
{
color: #5F85B3;
}

a:hover
{
text-decoration: none;
}

a:visited
{
color: #5F85B3;
}

.icon
{
height: 16px;
width: 16px;
}

.date, .time
{
font-style: italic;
color: #a0a0a0;
font-size: 80%;
}

blockquote {
margin: 10px 10px 0;
}

.avatar
{
width: 50px;
height: 50px;
display: block;
margin: auto;
border: 1px solid black;
}

.flag
{
width: 16px;
height: 11px;
}