def style
return "
body {margin: 0px; font-family: sans-serif}
table {width: 100% }
#top {background-color: lightblue}
#banner {text-align: right; padding-top: 10px; vertical-align: bottom}
#search {vertical-align: bottom}
#main {width: 50%; padding: 10px}
#side {vertical-align: top; }
#cart {border-style: dashed; border-width: 1; padding: 5px}
#nav {background-color: lightgrey; vertical-align: top; border-width: 1; padding: 5px; width: 15%; font-size: 12pt}
#title {font-size: 18pt; font-weight: bold}
#subtitle {font-size: 9pt; font-style: italic}
#batch {font-size: 10pt}
"
end