/* css settings for the custom navigation menu */
#custom-menu {
  border: 2px solid #cccccc;
  margin-bottom: 10px; }

#custom-menu .custom-menu-item {
  display: inline; }

#custom-menu .custom-menu-item-link {
  font-weight: bold;
  margin-right: 10px;
  font-size: larger; }