/* General styles */
body { color: black; background: white; margin: 30px 8% }

h1 { font-family: Verdana, sans-serif; font-weight: normal; font-size: 24pt; color: #0090b0; text-align: left; margin: 0ex; padding-bottom: 0.4ex; border-bottom: 1px solid }
h2 { font-family: Verdana, sans-serif; font-weight: normal; font-size: 16pt; color: #60a0e0; text-align: left; margin: 2ex 0ex 1ex }
h3 { font-family: Verdana, sans-serif; font-weight: normal; font-size: 13pt; color: black; text-align: left; margin: 2ex 0ex 1ex }

p  { font-family: Verdana, sans-serif; font-size: 10pt; text-align: justify; margin: 2ex 0ex }
ul { font-family: Verdana, sans-serif; font-size: 10pt; text-align: justify; margin: 2ex 0ex; padding: 0ex; list-style-type: none }

ul li { margin: 0ex }

pre { font-family: Courier New, sans-serif; font-size: 10pt; margin: 3ex 3ex; white-space: pre }

img { border: none }

a:link, a:visited, a:active { color: gray; text-decoration: none }
a:hover                     { color: blue; text-decoration: none }

a:link img, a:visited img, a:active img { border: 2px solid white }
a:hover img                             { border: 2px solid blue }

a.email { font-family: Courier New, monospace }

table { font-family: Verdana, sans-serif; font-size: 10pt }

/* Styles for the path navigator */
div.path   { margin: 0.5ex 0ex 4ex }
div.path p { font-family: Verdana, sans-serif; font-size: 10pt; text-align: left; margin: 0ex }

/* Styles for the home page */
body.home p { margin: 4ex 0ex }
body.home p.countries { margin: 6ex 0ex }
body.home a:link img, body.home a:visited img, body.home a:active img, body.home a:hover img { border: none }

/* Styles for the site map page */
body.sitemap ul    { margin: 0em 1em; list-style-type: none }
body.sitemap ul li { margin: 0em 1em }
body.sitemap li > ul li:before { content: "\BB" }

/* Styles for the music (and films) page */
body.music div.left  { float: left; white-space: nowrap; margin-right: 10ex }
body.music div.right { float: left; white-space: nowrap; margin-bottom: 2ex }
body.music ul        { margin: 0px }
body.music p         { clear: left }

/* Styles for the walking page */
body.walking ul.trips { margin-left: 2em; list-style-type: circle }

/* Styles for the Wainwrights page */
body.wainwrights td { width: 30ex }
body.wainwrights div.imagemap { float: left }
body.wainwrights div.info { float: left }
body.wainwrights p.clear { clear: both; padding-top: 2ex }
body.wainwrights #wainwright-image { display: none }

/* Styles for the domain names page */
body.domains div.jtn            { font-family: Arial, sans-serif; font-size: 10pt; text-align: center }
body.domains div.jtn table.main { background: #fcc000; margin: 30px 0px; border: 4px solid black }
body.domains div.jtn td         { padding: 3px 5px }

body.domains div.freeparking       { font-family: Verdana, sans-serif; font-size: 10pt; text-align: center }
body.domains div.freeparking table {  margin: 30px 0px }

body.domains div.simply       { font-family: Verdana, sans-serif; font-size: 10pt; text-align: center }
body.domains div.simply table { margin: 30px 0px; border: 0px solid black }
body.domains div.simply td.head { font-weight: bold }
body.domains div.simply td.foot { font-size: 8pt; color: gray }

/* Styles for the nethack page */

body.nethack table          { margin: 1ex auto }
body.nethack td             { padding: 0ex 0.7ex; vertical-align: top; text-align: left; white-space: nowrap }
body.nethack td.number      { text-align: right }
body.nethack td.description { white-space: normal }

/* Styles for the JML applet page */
body.jmlapplet div.applet { margin: 0ex auto }

/* Styles for the main photo index page */
body.photoindex h2                { margin-bottom: 4pt }
body.photoindex div.thumbnail     { padding: 0px; margin: 0px 0px 0px -7px }
body.photoindex div.thumbnail p   { padding: 1px; margin: 0px }
body.photoindex div.thumbnail img { padding: 5px; margin: 0px 10px 0px 0px; vertical-align: middle }

/* Styles for the sub photo index pages */
body.subphotoindex div.thumbnail     { width: 220px; height: 220px; padding: 0px; margin: 2px; float: left }
body.subphotoindex div.thumbnail img { padding: 8px; margin: auto; display: block }

/* Styles for the individual photo pages */
body.photo             { margin-left: 0px; margin-right: 0px }
body.photo h1          { margin-left: 8%; margin-right: 8% }
body.photo div.path    { margin-left: 8%; margin-right: 8% }
body.photo div.photo p { margin-left: 10px; margin-right: 10px; text-align: center }
body.photo div.navbar  { margin-left: 8%; margin-right: 8% }