/* BISON text acronym */
.title { font-family: sans-serif; font-size: x-large; font-weight: bold }

/* general rules for navigation bar; applies to navigation columns */
.navigation-bar { width: 200; height: 800; padding: 0.5em; background: transparent
url(http://www.cs.unibo.it/bison/images/side-bar.gif) no-repeat scroll top; }

.main-bar { height: 800; padding: 0.5em; vertical-align: text-top; }

/* layout rules for navigation bar */
.navigation-layout { border: 0; width: 100%; }

/* single items in the navigation bar */
.navigation-items { text-align: right; vertical-align: text-top; padding: 0.5em; font-size: medium; font-weight: bold; font-family: sans-serif; }

/* Position bar, divided in two parts; one of them should have a border (top or bottom) */
.position-bar-top {font-weight: bold; text-align: right; font-family: sans-serif; font-size: small; color: color=#990000 }
.position-bar-bottom {text-align: right; border-top: solid thick gray; font-family: sans-serif; font-size: small; color: #990000 }

/* Content bar, where the actual content of the page is */
.content-bar { height: 640; vertical-align: text-top; padding: 0.5em; background: transparent
url(http://www.cs.unibo.it/bison/images/bison_background.jpg) no-repeat scroll 50% 3em; }

BODY { font-family: sans-serif; color: #101010 }

/* Normal text paragraph */
P { text-align: justify; font-size: medium; }

H1 { font-size: x-large; }

H2 { font-size: large; }

/* Colors for unvisited and visited links */
A:link { color: #000000 }
A:visited { color: #000000 }