div.pagenav { 
           float: left;
           border: 1px dotted black;
           background-color: #f0f0f0;
           padding-right: 1ex;
           margin-right: 2em;
           width: 14ex;
           padding-top: -1ex;
 }

pre.code {
     background-color: #c0c0c0;
     border: thin solid black;
     margin-right: 5em;
     margin-left: 5em;
}

.pagenav ul { 
               text-indent: 0;
               padding: 2ex;
               margin: 0;
 }

h1.nav-section { 
                 font-size:  medium;
                 font-weight: bold;
                 text-align: center;
                 padding-left: 1ex;
                 padding-right: 1ex;
                 font-size: small;
 }

hr.nav-section { 
                 margin-right: -1ex;
 }

ul.nav-section { 
                margin-bottom: -1ex;
                 }

p.nav-section { 
                margin-bottom: -2ex;
                font-family: smallcap;
 }

div.sidebar-right { 
                    float: right;
                    margin-right: 2em;
                    padding: 1em;
                    background-color: #f0f0f0;
                    border: thin solid black;
                    }

div.footer { 
             clear: both;
             margin-top: 6em;
             text-align: center;
             }

div.footer a { 
               padding-right: 5%;
 }

div.body { 
                    margin-left: 21ex;
 }

a.nonexistent {
  font-weight: bold;
  background-color: #F8F8F8; color: #FF2222;
}

a.nonexistent:visited {
  background-color: #F8F8F8; color: #FF2222;
}

body {
  background: white; color: black;
  margin-left: 5%; margin-right: 5%;
  margin-top: 3%;
}

em { font-style: italic; }
strong { font-weight: bold; }

ul { list-style-type: disc }

dl.contents { margin-top: 0; }
dt.contents { margin-bottom: 0; }

p.verse {
  white-space: pre;
  margin-left: 5%;
}

pre {
  white-space: pre;
  font-family: monospace;
  margin-left: 5%;
}

p {text-indent: .25in}

/* tables of information */
body {font-family:  sans-serif; margin-left: .25in; margin-right: .25in}
table {border-style: groove; margin-left: .25in}
table.program {border-style: groove; }

.important        { border: 1; padding: 20; border-style: groove; font-size: larger; line-height: 1.5}

/* Example typing */
.shell-output          {
			 background-color: black; 
	                 color: white; 
	                 border-style: groove; 
	                 padding: 10; 
                         margin-right: 5em;
 		         white-space: pre;
			 font-family: monospace; 
                         color: rgb(0,20	0,120)
			}

.shell-script     { font-family: monospace; white-space: pre}

h1.title {
/*	font-family:  serif; */
	text-align: center;
	font-weight:  bold;
	font-size:  250%;
}

h1.smalltitle {
	text-align: center;
	font-weight:  bold;
	font-size:  large;
}

address {
	font-size:  small
}

pre.block {
    margin-top: 1em;
    margin-bottom: 1em;
    background-color: #FFFFEE;
    white-space:pre;
    border-style:solid;
    border-width:1px;
    border-color:#999999;
    color:#111111;
    padding:5px;
}

.note {
    text-align: center;
    margin-top: 1em;	
    margin-bottom: 1em;
    background-color: #FFFFEE;
    white-space:pre;
    border-style:solid;
    border-width:1px;
    border-color:#999999;
    color:#111111;
    padding:5px;
}


.center {
	text-align: center;
}

.example          {
                    background-color: #FFFF99;
                    border-style: solid;
                    padding: 10;
                    margin-left: 5em;
                    margin-right: 5em;
		  }

.invisible-box          {
                    padding: 10;
                    border-style: solid;
                    border-width: 1px;
                    margin-left: 5em;
                    margin-right: 5em;
		  }


/* same thing */
.email            { background-color: silver; white-space: pre; }

/* same thing */
.quote            { background-color: silver; white-space: pre; }


.newstuff {
        float: right;
        display: inline;
        vertical-align: middle;
    margin-top: 1em;	
    margin-bottom: 1em;
    background-color: #FFFFEE;
    border-style:solid;
    border-width:1px;
    border-color:#999999;
    color:#111111;
    padding:5px;
}

.weatherimage { 
        float: left;
        padding: 2ex;
        vertical-align: center;
        text-align: center;
 }

.rightblock{
             float: right;
             padding-left: 2em;
             vertical-align: center
             }

.rightblock-boxed{
             float: right;
             padding: 2ex;
             vertical-align: center
             border-width: 1px;
             border-style: solid;
             border-color: black;
             }

.leftblock{
             float: left;
             padding-right: 2em;
             vertical-align: center
             }

.leftblock-boxed{
             float: left;
             padding: 1ex;
             vertical-align: center;
             margin-right: 2ex;
             border-width: 1px;
             border-style: solid;
             border-color: black;
             }


/* For Picture gallery & individual picture pages */

.thumbnail { 
           text-align: center;
           float: left;
           display: inline;
           width: 200px; /* I don't like hard-coding pix, but the */
                            /* thmbs are consistent sizes */ 
             height: 230px;
           padding-top: 1ex;
           }

td.label { 
           text-align: center;
 }

body.picture-page h1.title, body.photo-gallery h1.title { 
           text-align: center;
           border-bottom: thin solid black;
           margin-top: 1em;
           padding-bottom: 1ex;
 }

body.picture-page p.caption {
                              font-style: italic;
                              font-size: x-large;
                              padding-left: 6em;
                              padding-right: 6em;
}

body.picture-page p.camerainfo { 
               font-size: small;
               }

body.picture-page p.title { 
                              font: x-large bold;
                            float: left;
                              }

body.picture-page div.nav { padding-top: 1ex;
          float: right;
          padding-bottom: 1ex;
          text-align: center;
          }

body.picture-page a.previous, body.picture-page a.next { padding-left: 1em; padding-right: 1em }

body.picture-page a.next { }

body.picture-page a.index {}

.picture-block { 
                 margin-right: 5ex;
                 margin-left: 5ex;
 }

 .picture-right {
 	float: right;
	padding: 1ex;
	}

.picture-left {
	float: left;
	padding: 1ex;
	}

p.picture-left, p.picture-right {
                                  display: inline;
                                  border: outset 4px;
                                  text-indent: 0px;
                                  margin-left: 2ex;
                                  margin-right: 1ex;
                                  margin-top: 0px;
                                  margin-bottom: 0px;
                                  padding: 0px;
	}

.inline-picture {
        text-align: center;
        float: left;
        border: thin solid black;
        padding: 1ex;
        margin: 1ex;
        }

.inline-picture p { 
   text-indent: 0;
   margin-bottom: 0;
 }


.clear {
	clear: both;
	}

div.picture { 
          text-align: center;
              }

img.picture-wide { 
          border: 10px inset;
}
img.picture-high { 
          border: 10px inset;
}
img.picture { 
          border: 10px inset;
}

div.thumbnail  { 
 }

div.thumbnail img  { 
                 border: 4px outset black;
 }

div.thumbnail p.caption { font-style: italic;
                          font-size: smaller;
                          padding: 1ex;
 }

div.thumbnail p.title { font-weight: bold;
                          font-size: small;
 }

body.picture-page, body.photo-gallery { 
       margin-left: 4em;
       margin-right: 4em;
 }

.license { 
           clear: both;
           border-top: thin solid black;
           padding-top: 1ex;
           text-align: center;
          }

div.figure-right { 
             float: right;
             padding: 1ex;
             }

div.figure-left { 
             float: left;
             }

div.figure-center, div.figure-left, div.figure-right { 
                                                       padding: 1ex;
                                                       }

div.figure-center p, div.figure-left p, div.figure-right p { 
                                                             font-style: italic;
                                                             font-size: small;
                                                             text-align: center;
                                                             }

div.figure-center p { 
                      text-align: left;
                      }

p.category-list-title { 
                        padding-top: 1em;
                        margin-bottom: 1ex;
                        font-weight: bold;
 }

div.category-list p { 
                    text-indent: 0;
                      }
.category-list { 
                    margin-left: 5em; 
                    margin-right: 3em;
                    padding: 2ex;

                    border: thin solid black;
                    background-color: #f0f0f0;
                    }

hr.full { 
          clear: both;
 }