body { background-color: #ddd; color: #121; }
img { padding: 2px; margin: 1px; border: 1px solid #aaa; background: #fff; }
table {background-color: #ddd; }
td { margin: 1px; background-color: #fff; }
th { margin: 1px; background-color: #ccc; }
span { background-color: #fed; }
form { margin: 0px; }
textarea { width: 100%; }

/* engine specific styles */
.img { margin: 1px; padding: 1px; border: 1px solid #aaa; background: #fff; }
.img img { border: 0px; margin: 1px; padding: 0px; }

/* other useful class styles */
.right { float: right; margin-left:1ex; }
.left  { float: left; margin-right:1ex; }
.center { margin: 0px auto; text-align: center; }
.clear { clear: both; }
/*
.panoram { overflow: auto; width: 100%; text-align: center; }
*/
.panoram { overflow: auto; position: static; text-align: center; }

.header { color: #dfd; background-color: #898; font-size: 90%; margin: 1px; padding: 1px; }
.header h1 { margin: .8ex 1.35ex; font-size: 200%; }
.topmenu { right: 1px; bottom: 1px; }
.topmenu a, .topmenu input { color: #554; }
.topmenu { color: #554; }
.topmenu a:hover { background-color:#8c9d8c; color:#443; }
.topmenu input { height:75%; font-size:90%; padding:0px; background-color:#bcb; }
.topmenu #search { width:15ex; border:1px solid #787; border-bottom-color:#cdc; }
.topmenu .empty#search { color: #aba; }
.nav { background-color: #f7f7f7; font-size: 90%; margin: 0px 1ex; padding: .1ex 1ex; border: 1ex solid #fafafa; border-top: 1px; border-bottom: 1px; }
.nav img { vertical-align: middle; border: 0px; padding: 0px; margin: 0px; }
.page { margin: 1ex; border: 1px solid #bbb; background-color: #fff; }
.content { padding: 1ex; margin-left: 5ex; margin-right: 2ex; line-height: 130%; }
.content h1 { margin-left: -1.5ex; }
.content h2 { margin-left: -2ex; }
.content h3 { border-bottom: 1px solid #ddd; }
.example { margin: 0px 2ex; background-color: #ffd; border: 1px solid #eee; padding: 0px .5ex; }
.footer { padding: 1ex; color: #ccc; font-size: 70%; text-align: center; border-top: 1px solid #eee; }
.footer a { color: #ccf; }

.comments { border: 1px solid #ddd; padding: 0px 1ex; }
.comment { padding-bottom: 1em; position: relative; border: 1px dotted #eee; }
.comment i { position: absolute; right: 0px; bottom: 0px; }