body
{
    margin: 0;
    padding: 0;
    font-family: arial, helvetica;
    font-size: 12px;
    line-height: 16px;
}

a
{
    font-weight: bold;
}

a:active, a:hover { text-decoration: underline !important; }

h1 a, h2 a, h3 a, h4 a
{
    text-decoration: none;
}

h1
{
    font-size: 80px;
    line-height: 64px;
    letter-spacing: -6px;
    font-weight: bold;
}

h2
{
    font-size: 24px;
    line-height: 24px;
    letter-spacing: -1px;
    font-weight: bold;
}

h3, h4, blockquote.focal
{
    font-size: 14px;
    line-height: 16px;
    font-weight: bold;
}

#head
{
    margin: 0;
    padding: 48px 0 0 48px;
    overflow: hidden;
    background-repeat: repeat-x;
    background-position: left bottom;
    /* background-image: url("/web/20070219103736im_/http://stamen.com/themes/stamen/gradient.gif"); */
}

#head h1
{
    margin: 0;
    padding: 0 50px 0 0;
    text-align: right;
    white-space: nowrap;
    position: relative;
    top: 12px;
}

#head h2
{
    position: absolute;
    top: 16px;
    right: 50px;
    text-align: right;
    white-space: nowrap;
    font-weight: normal;
}

#body
{
    margin: 0;
    padding: 0 48px 24px 96px;
}

#body, #ghetto-shield
{
	border-width: 1px 0 0 0;
	border-style: solid none none none;
}

#ghetto-shield
{
    margin: 0;
    padding: 0;

 /* slide on up, and cover the protruding
    underbelly of #head h1 in IE 6 */
    position: relative;
    top: -1px;
    left: auto;
    height: 24px;
    z-index: 3;
}

#posts
{
    /*float: left;*/
    width: 68%;
}

#errata
{
    float: right;
    width: 30%;
}

    #posts .post,
    #errata .erratum
    {
        margin: 0 0 24px 0;
        padding: 0;
    }

    #posts .post *,
    #errata .erratum *
    {
        margin: 0 0 12px 0;
        padding: 0;
    }

    #posts .post ul, #posts .post ol,
    #errata .erratum ul, #errata .erratum ol
    {
        padding-left: 24px;
    }

    #posts .post * li,
    #errata .erratum * li
    {
        margin-left: 0;
        margin-bottom: 6px;
        padding-left: 0;
    }

    #posts .post blockquote,
    #errata .erratum blockquote
    {
    	margin-left: 12px;
    	padding-left: 11px;
    	border-width: 0 0 0 1px;
    	border-style: none none none dashed;
    }

    #posts .post img,
    #errata .erratum img
    {
        margin: 0;
        border-width: 1px;
        border-style: solid;
        vertical-align: baseline;
    }

    p.diagram,
    p.illustration
    {
        border-width: 1px;
        border-style: solid;
        position: relative;
        background-repeat: repeat-x;
    }

    /*
    #posts .post p.diagram,
    #errata .erratum p.diagram
    {
        background-repeat: no-repeat;
    }
    */

    p.illustration, p.diagram.left { background-position: left center; }
    p.illustration.center, p.diagram { background-position: center center; }
    p.illustration.right, p.diagram.right { background-position: right center; }
    p.illustration.top-left { background-position: top left; }
    p.illustration.top-right { background-position: top right; }
    p.illustration.bottom-left { background-position: bottom left; }
    p.illustration.bottom-right { background-position: bottom right; }
    p.illustration.no-repeat, p.diagram { background-repeat: no-repeat; }

    #posts .post p.diagram .caption,        
    #errata .erratum p.diagram .caption,
    #posts .post p.illustration .caption,
    #errata .erratum p.illustration .caption
    {
        position: absolute;
        bottom: -2px;
        left: -2px;
        margin: 0 38% 0 0;
        padding: 4px 8px 0 0;
        border-color: black black white white;
        border-width: 1px;
        border-style: solid;
    }

    /*
    #posts .post p.diagram a,
    #posts .post p.illustration a,
    #errata .erratum p.diagram a,
    #errata .erratum p.illustration a
    {
        padding-right: 8px;
    }
    */

    #posts .post p.diagram img,
    #posts .post p.illustration img,
    #errata .erratum p.diagram img,
    #errata .erratum p.illustration img
    {
        display: none;
    }

#posts .post h2 a:hover,
#posts .post h2 a:active,
#posts .post .date a:hover,
#posts .post .date a:active
{
    text-decoration: none !important;
}

#posts .post .date
{
    position: relative;
    top: -12px;
    margin: 4px 0;
    padding: 0;
    overflow: hidden;

    float: right;
    width: 144px;

}

    #posts .post .date .month
    {
        display: block;
        position: absolute;
        top: 4px;
        left: 68px;
    }

    #posts .post .date .day, #posts .post .date .hour-minute
    {
        display: block;
        width: 64px;
        text-align: right;
    }

    #posts .post .date .punctuation
    {
        display: none;
    }

    #posts .post .date .year
    {
        display: block;
        position: absolute;
        top: 26px;
        left: 68px;
    }

    #posts .post .date a
    {
        text-decoration: none !important;
    }

    #posts .post .date .month, #posts .post .date .year
    {
        font-size: 32px;
        line-height: 32px;
        letter-spacing: -2px;
    }

    #posts .post .date .day
    {
        font-size: 64px;
        line-height: 64px;
        letter-spacing: -4px;
    }

    #posts .post .date .hour-minute
    {
        font-size: 16px;
        letter-spacing: -1px;
        line-height: 16px;
    }

    #posts .post .meta
    {
    	padding-left: 24px;
    	padding-top: 12px;
    	margin-right: 144px;
    	margin-bottom: 32px;
    	border-width: 1px 0 0 0;
    	border-style: solid none none none;
    }

    #posts .post .meta a
    {
        margin: 0;
        padding: 0 18px 0 0;
        white-space: nowrap;
    }

    #posts .post .responses .response h4,    
    #posts .post .responses .response p
    {
    	padding: 0;
    	margin: 0 0 6px 0;
    }

    .comment-form table tr td
    {
        vertical-align: top;
        padding: 3px 6px;
        border-width: 0;
        border-style: none;
    }

    .comment-form table tr td.label
    {
        text-align: right;
    }

#posts .node-form .standard { clear: left; }
#posts br.clear { clear: left; }
#node-admin-buttons { clear: none; }
.xml-icon a img { border: 0 none !important; }
#posts .post * li, #errata .erratum * li { list-style-image: none; }
.profile { clear: left !important; }
#errata .erratum div.menu ul li { margin-top: 6px; }
table tr td, table tr th { padding: 0.25em 1.5em 0.25em 0.5em !important; }

.menu ul ul li.leaf {
    /*
    display: inline;
    padding-right: 1em !important;
    */
}

.menu a.active {
    background-color: black !important;
    color: white !important;
    white-space: nowrap !important;
    border-left: 0.25em solid black !important;
    border-right: 0.25em solid black !important;
}

.comment h3.title
{
    padding-bottom: 4px;
    margin-right: 144px;
}

/*
     FILE ARCHIVED ON 10:37:36 Feb 19, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:49:01 Jun 18, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 1.0
  exclusion.robots: 0.076
  exclusion.robots.policy: 0.052
  esindex: 0.017
  cdx.remote: 7.732
  LoadShardBlock: 1448.976 (3)
  PetaboxLoader3.datanode: 1319.908 (4)
  load_resource: 137.113
  PetaboxLoader3.resolve: 85.356
*/