2 font-family: verdana, sans-serif;
11 /* margin:40px auto; */
16 font-size: small; /* could be specified at a higher level */
18 padding: 0 10px 0 10px;
19 border-bottom: 1px solid #696;
33 #miniflex a:link, #miniflex a:visited {
39 text-decoration: none;
43 #miniflex a.active:link, #miniflex a.active:visited, #miniflex a:hover {
44 border-bottom: 4px solid #696;
55 border-bottom: 4px solid #696;