/*
  * photothumnail class: duplicate  with thumbnail.css, but keep here for
  * compatibility
  */
ul.thumbnail {
    margin-top: 0.5ex;
    margin-bottom: 0.5ex;
    margin-right: 0.5ex;
    margin-left: 0.5ex;
    padding: 0;
}

ul.thumbnail li {
    display: inline;
    list-style-type: none;
    margin-left: 1px;
    margin-right: 1px;
    padding: 0;
}

ul.thumbnail a img {
    border-style: solid;
    border-width: 1.5px;
    text-decoration: none;
}

ul.thumbnail a:visited {
    color: #990000;
    background-color: transparent;
    text-decoration: none;
}

/* photothumnail ID: obsolete, use thumbnail class above */
ul#photothumbnail {
    margin-top: 0.5ex;
    margin-bottom: 0.5ex;
    margin-right: 0.5ex;
    margin-left: 0.5ex;
    padding: 0;
}

ul#photothumbnail li {
    display: inline;
    list-style-type: none;
    margin-left: 1px;
    margin-right: 1px;
    padding: 0;
}

ul#photothumbnail a img {
    border-style: solid;
    border-width: 1.5px;
    text-decoration: none;
}

ul#photothumbnail a:visited {
    color: #990000;
    background-color: transparent;
    text-decoration: none;
}

/* raw image, for centering */
p.mainimage {
    text-align: center;
    /*
     * safari doesn't seem to honor the text-align, so margin-xxx should also be
     * specified.
     */
    margin-right: auto;
    margin-left: auto;
}