body {
margin: 0.5%;
padding: 0px;
}

pre.interact {
  border: 1px solid black;
  background: rgb(140,140,240);
  padding: 4px;
}

acronym {
border: none;
cursor: help;
}

#navbar {
background: rgb(220,220,220);
border: 1px black solid;
padding: 2px;
float: right;
white-space: nowrap;
margin-top: 5px;
margin-right: 5px;
margin-left: 2px;
margin-bottom: 2px;
}

#navbar a {
text-decoration: none;
color: #11f;
}

#navbar a:hover {
text-decoration: underline;
}

#navbar .thispage {
font-weight: bold;
}

#navbar .nav1:before {
width: 0px;
}

#navbar .nav2 {
padding-left: 5px;
}

#navbar .nav3 {
padding-left: 10px;
}

#navbar .nav4 {
padding-left: 15px;
}

#navbar .navlist {
list-style-type: none;
align: left;
}

#mainbody {
padding-left: 2%;
}

#pagetitle {
border-bottom: 2px black solid;
margin-bottom: 2px;
padding-bottom: 2px;
font-weight: bold;
font-size: 145%;
}

#pagetitle .pagename {
color: #228;
}

#pagetitle .pagedesc {
text-transform: lowercase;
}

/* .pagenav { float: right; } */
#pagenav {
border-bottom: 1px #666 dashed;
}

#pagefooter {
border-top: 2px black solid;
margin-top: 2px;
padding-top: 2px;
font-weight: normal;
font-size: 85%
}

.blosxomCalendar {
border-top: 1px #666 solid;
border-bottom: 1px #666 solid;

}

.blosxomCalendarBlogged {
background: #aaf
}

.blosxomCalendarToday {
background: #88f;
}

.blosxomStory {

padding-bottom: 5px;
border-bottom: 3px #666 double;
margin-bottom: 5px;
}

.blosxomTitle {
/* Story title */
font-size: 120%;
font-weight: bold;
color: #228;
padding-bottom: 1px;
border-bottom: 1px #333 dashed;
}

.blosxomStoryWarning {
border: 1px solid black;
background: #f88;
padding: 2px;
}

div.note {
border: 1px solid black;
padding-right: 2px;
padding-top: 2px;
padding-bottom: 2px;
padding-left: 68px;
min-height: 64px;
clear: right;
background: #ffc url(/files/pling.png) no-repeat left;
}

img.leftclearimage {
border: 1px solid black;
padding: 2px;
float: left;
clear: left;
margin-right: 3px;
margin-bottom: 3px;
margin-top: 3px;
}

img.rightclearimage {
border: 1px solid black;
padding: 2px;
float: right;
clear: right;
margin-left: 3px;
margin-bottom: 3px;
margin-top: 3px;
}