body {
background: #fafafa;
font-family: Arial,​Helvetica,​sans-serif;
font-size: 11pt;
color: #333;
padding: 15px;
}
a {
color: #333;
}
a:visited {
color: #333;
}
a:hover {
color: #883333;
}
#main {
max-width: 100%;
width: 650px;
margin: 0 auto;
}
#definition {
background: #eee;
font-size: 110%;
margin: 10px 15px 35px 10px;
padding: 10px 25px;
}
h2 {
margin: 30px 0 5px 0;
}
.def-row-meaning {
margin-left: 5px;
}
.explanation .detail {
margin: 20px 0;
}
ul.hopman {
font-family: "Courier New", courier, monospace;
font-size: 140%;
background: #eee;
list-style-type: none;
margin: 8px 15px;
padding: 15px 25px;
}
ul.hopman li {
margin: 7px 0;
position: relative;
}
ul.hopman li .tip,
ul.hopman .bullet .overview-label .overview-tip {
display: none;
position: absolute;
width: 250px;
padding: 15px;
background: #333;
color: #eee;
font-family: Arial,​Helvetica,​sans-serif;
font-size: 11pt;
box-shadow: 0px 2px 6px #111;
}
ul.hopman li .tip .initial,
ul.hopman .bullet .overview-label .overview-tip .initial {
font-size: 120%;
font-weight: bold;
color: #fff;
}
ul.hopman li .tip {
right: 0;
bottom: 100%;
margin-right: -25px;
z-index: 100;
}
ul.hopman li:hover .tip {
display: block;
}
ul.hopman .bullet a {
text-decoration: none;
color: inherit;
}
ul.hopman .bullet a.initial {
font-size: 120%;
font-weight: bold;
cursor: help;
border-bottom: dotted 1px #555;
}
ul.hopman .bullet .overview-label {
cursor: help;
border-bottom: dotted 1px #555;
position: relative;
}
ul.hopman .bullet .overview-label .overview-tip {
left: 50%;
bottom: 100%;
margin-left:-115px;
margin-bottom: 5px;
z-index: 101;
}
ul.hopman .bullet .overview-label:hover .overview-tip {
display: block;
}

.example {
width: 210px;
float: left;
margin-right: 10px;
font-size: 10pt;
}
.example.last {
margin-right: 0;
}
.example .example-inner {
border: solid 2px #ccc;
padding: 10px;
box-shadow: 0px 3px 6px #bbb;
}
.example .example-image {
border: solid 1px #ddd;
box-shadow: 0px 1px 3px #ccc;
}
.example img {
max-width: 100%;
}
ul.example-hopman {
list-style-type: none;
margin: 10px 0 0 0;
padding: 0;
}
.example-hopman .initial {
font-family: "Courier New", courier, monospace;
font-weight: bold;
font-size: 110%;
}

#footer {
text-align: right;
margin: 20px 0 15px 0;
}