body {
        color: black;
        background-color: #ffffff;
        padding:0px;
        }
h1 {
        margin:0px 0px 5px 0px;
        padding:0px;
        color: black;
        }
h2 {
        margin:20px 0px 5px 0px;
        padding:0px;
        }
h3 {
        margin:0px 0px 5px 0px;
        padding:0px;
        }
a {
        text-decoration:none;
        }
a:link { color: Blue;}
a:visited {color: DarkBlue;}
a:hover {color:Red;}

a.name { color: black }
a.name:link { color: black }
/* This doesn't work...no idea why... */
a.name:hover { color: black }

tt {
    font-family: monospace,serif;
}
/*
 * The main table.
 */
TABLE.Page { width: 100% }
TD.LeftColumn { background-color: #ffcc99; 
		width: 156px;
		overflow: hidden;
	      	vertical-align: top }
TD.MidColumn { background-color: #ffffff; 
	       padding: 3px; 
	       border-style: none; 
	       vertical-align: top;
	        }

TD.MCTopBanner { background-color: #ffffff;
		 border-style: none;
		 padding: 0 0 0 4px;
		 }

.MCTopBanner CENTER { text-align: left; }

TD.RightColumn { border-style: none none none none;
		 border-width: thin;
		 vertical-align: top;
		 text-align: left;
		 border-color: #eeeeee;
		 padding-top: 6em; }

DIV.MidColHeader { margin: 0px auto 0px 0px;
		   padding: 0;
		   max-width: 57em; }

TABLE.Page TR { vertical-align: top; }

/* The headlines-only view */
TABLE.HeadlineView { }
TABLE.HeadlineView TD { vertical-align: top }

/*
 * Top headline stuff.
 */
DIV.PageHeadline { text-align: center; 
		   max-width: 75em;
		   margin-top: 1em;
		   margin-bottom: 2em; }
DIV.PageHeadline H1 { margin-bottom: 0.2em; }
DIV.PageHeadline H2 { margin-top: 0.2em; }

/*
 * Other headline definitions.
 */
P.Cat1HL { background-color: #ffcc99; 
	   text-align: center;
	   font-size: 200%;
	   font-weight: bold;
	   padding-top: 3px;
	   padding-bottom: 5px;
	   margin-bottom: 0.2em; }

P.Cat2HL { background-color: #ffcc99; 
	   font-size: large;
	   font-weight: bold;
	   padding-left: 3px; 
	   margin-bottom: 0.3em; }

P.Cat3HL { background-color: #ffcc99; 
	   font-weight: bold;
	   padding-left: 3px;
	   margin-bottom: 0.3em; }

P.SummaryHL { font-weight: bold; 
	      font-size: larger;
	      text-decoration: underline;
	      margin-top: 0.4em;
	      margin-bottom: 0.4em; }
/*
 * This is meant to replace P.SummaryHL; using H2 makes life easier
 * for folks with screen readers and such.
 */
H2.SummaryHL { font-weight: bold;
	       font-size: larger;
	       text-decoration: underline;
	       margin-top: 0.4em;
	       margin-bottom: 0.4em; }
/*
 * Let us turn headlines into links without changing their appearance.
 */
P.SummaryHL A:link { color: black }
P.SummaryHL A:visited { color: black }
H2.SummaryHL A:link { color: black }
H2.SummaryHL A:visited { color: black }
P.IndexPrimary A:link { color: black }
P.IndexPrimary A:visited { color: black }
P.IndexSecondary A:link { color: black }
P.IndexSecondary A:visited { color: black }

TABLE.Form TH { text-align: left }

/* For quoted text */
SPAN { font-style: normal; font-weight: normal;
       color: darkred; background-color: white }

SPAN.SpellingError {  background-color: #eeeeee; color: black }
FONT.SpellingError {  background-color: #eeeeee }

DIV.ErrorWords  { background-color: #eeeedd;
		  border-style: groove;
		  padding: 3px 3px 2px 3px;
		  margin: 1px 5px 1px 0px; }


DIV.BigQuote {font-style: normal; font-weight: normal;
       color: darkred; background-color: white;
       margin-left: 1cm; margin-right: 1cm }

DIV.BigQuote P {margin-top: 1em; margin-bottom: 0px; }

DIV.Headline { background-color: #ffcc99; font-weight: bold;
	       font-size: larger;
	       padding-left: 3px; }
DIV.SummaryHeadline { font-weight: bold; font-size: larger;
		      text-decoration: underline;
		      margin-top: 0.4em;
		      margin-bottom: 0.4em; }

DIV.Byline { font-size: smaller; text-align: center }

/* Sidebox formatting */
DIV.SideBox { margin: 1em 1px 1em 1px; }
DIV.SideBox P { text-indent: -1em; 
	      	margin: 0px 0px 1px 1em; }
DIV.SideBox P.Header { font-weight: bold;
	    	       text-indent: 0px;
		       margin-left: 0px; }

/* Comments */
DIV.Comment { margin-left: 1em;
              background-color: inherit; }
DIV.CommentSubtree { background-color: inherit; }
DIV.OldCommentSubtree { background-color: #cccccc; }
DIV.CommentBox { border-style: none none none solid;
	         border-width: thin;
		 border-color: #ffcc99;
		 max-width: 60em;
		 margin-top: 1em;
                 background-color: inherit; }
/* Just like CommentBox but with grayish coloring */
DIV.OldCommentBox { border-style: none none none solid;
	            border-width: thin;
		    border-color: #cccccc;
		    max-width: 60em;
		    margin-top: 1em;
                    background-color: inherit; }
DIV.CommentBox P.CommentTitle { padding: 2px 2px 2px 4px;
			       	margin: 0px;
			       	background-color: #ffcc99;
			       	font-weight: bold; }
DIV.OldCommentBox P.CommentTitle { padding: 2px 2px 2px 4px;
			       	   margin: 0px;
			       	   background-color: #cccccc;
			       	   font-weight: bold; }
DIV.CommentBody { padding: 0px 4px 0px 4px;
                  background-color: inherit; }
P.CommentPoster { margin-top: 0px; }

div.CommentReplyButton { display: none; 
			 text-align: right;
			 padding: 4px; }

DIV.FormattedComment { }
PRE.FormattedComment { font: inherit; }
DIV.FormattedComment PRE { font: inherit; }

TD.Headline {background-color: #ffcc99 }
TABLE.Middle { background-color: #ffffff; padding: 3px; 
	       border-style: none; width: 100% }
TD.Middle { background-color: #ffffff; vertical-align: top }

.Form { background-color: #eeeeee; 
	padding: 3px;
	border-style: groove;
	}

A.Current { background-color: darkred; color: white }
A.Other { }
P.NextLink { text-align: right }
FONT.SearchItem { font-weight: bold; color: red }
FONT.QuotedText { color: #990099 }
FONT.Subscription { color: darkgreen }

TR.Even { background-color: #eeeeee; }
TR.Odd { }

/*
 * Use fancy CSS to get rid of class selectors on each row.
 */
table.OddEven {
    border-spacing: 2px;
    border-collapse: separate;
}
table.OddEven tr:nth-child(even) { 
    background-color: #ffffff;
}
table.OddEven tr:nth-child(odd) {
    background-color: #eeeeee;
}
table.OddEven th { background-color: #ffffff; }
table.OddEven td { padding: 3px; }

/* Let's try to do states more generally. */
.s-nonexistent { background-color: red !important; }
.s-in-progress { background-color: white !important; }
.s-submitted { background-color: yellow !important; }
.s-active { background-color: lightgreen !important; }

P.Headlines { margin-bottom: 6px; text-indent: -1em; margin-left: 1em;
	      margin-top: 0px }

P.Feature { text-indent: -1em; margin-left: 1em; margin-top: 0px;
	    margin-bottom: 2px}

P.ErrorMessage { color: red; margin-left: 1cm;
                 margin-right: 1cm; font-weight: bold;
                 font-size: large }
FONT.NonActive { color: red; font-weight: bold }
A.NonActive { color: red; font-weight: bold }

TABLE.TopNavigation { width: 100%; 
		      max-width: 55em;
		      margin-bottom: 0;
		      margin-top: 0px; }
TD.NavLink { background-color: #eeeeee; text-align: center; max-width: 15em; }

/* Index listings */
P.IndexPrimary { margin-top: 1em; margin-bottom: 0px; font-weight: bold; }
P.IndexSecondary { margin-top: 0px; text-indent: 5mm; margin-bottom: 0px; }
P.IndexEntry { text-indent: 1cm; margin-top: 0px; margin-bottom: 0px }

/*
 * Text ads.
 */
DIV.TextAd { width: 150px; border-style: solid;
	     border-width: thin; 
	     margin: 0px auto 10px auto;
	     background-color: white; /* XXX */
	     color: black; }
P.TextAdHeader { background-color: #419d4a; /* XXX */
	         color: white;
		 margin-top: 0px;
		 margin-bottom: 3px;
                 text-align: center;
		 font-weight: bold; }
P.TextAdLink { margin: 2px }
P.TextAdBody { margin: 10px 2px 2px 2px }
P.TextAdFooter { border-top-style: dotted; 
                 border-top-width: thin;
		 text-align: center;
		 background-color: #ffcc99;
		 margin: 2px 0px 0px 0px; }

/* Timeline stuff. */

TABLE.tlnav { width: 100%; color: black; padding: 2px }

TABLE.tlrw { width: 45%; float: right; background-color: #eeeedd;
		 border-style: groove; margin: 5px; float: right }
TABLE.tlr { width: 35%; float: right; background-color: #eeeedd;
		 border-style: groove; margin: 5px; float: right }
TABLE.tllw { width: 45%; float: left; background-color: #eeeedd;
		 border-style: groove; margin: 5px }
TABLE.tll { width: 35%; float: left; background-color: #eeeedd;
		 border-style: groove; margin: 5px }
P.QuoteAttr { text-align: right }

/* Newer version of timeline stuff */
DIV.tlrw { width: 45%; 
	   float: right; 
	   background-color: #eeeedd;
	   border-style: groove;
	   padding: 3px 3px 0px 3px;
	   margin: 1px 0px 1px 5px; }

DIV.tlr  { width: 35%; 
	   float: right; 
	   background-color: #eeeedd;
	   border-style: groove;
	   padding: 3px 3px 0px 3px;
	   margin: 1px 0px 1px 5px; }
	   
DIV.tllw { width: 45%; 
	   float: left;
	   background-color: #eeeedd;
	   border-style: groove;
	   padding: 3px 3px 0px 3px;
	   margin: 1px 5px 1px 0px; }

DIV.tll  { width: 35%; 
	   float: left;
	   background-color: #eeeedd;
	   border-style: groove;
	   padding: 3px 3px 0px 3px;
	   margin: 1px 5px 1px 0px; }
P.tlqa { text-align: right } 

/* Timeline Index page list un-bunchifying */

UL.spacylist LI { margin-bottom: 0.5em; }

/* elsewhere debunchifying too */

OL.spacylist LI { margin-bottom: 0.5em; }

/*
 * Guest article stuff.  P.GuestAuthor was used back in the early,
 * ancient days and can't be removed without breaking things.
 */
P.GuestAuthor { max-width: 15em; float: right; background-color: #eeeeee;
	       border-style: groove; padding: 3px;
	       margin: 6px 0px 2px 5px; float: right }

DIV.GAByline { max-width: 15em; float: right; background-color: #eeeeee;
	       border-style: groove; padding: 3px;
	       margin: 6px 0px 2px 5px; float: right; text-align: center; }
DIV.GAByline P { margin: 0px; text-align: left; }
DIV.GAByline P:first-child {font-weight: bold; text-align: center;
                            margin-bottom: 3px; }
DIV.GAByline HR { width: 40% }

/*
 * Feature article support.
 */
DIV.FeatureByline { max-width: 20em; float: left; background-color: #eeeeee;
		    border-style: groove; margin: 2px 5px 2px 0px; 
                    padding-bottom: 5px;
		    padding-right: 25px;  padding-left: 5px; }
DIV.FeatureByline HR { width: 40% }

div.survey { margin-left: 1cm }
div.sv_mc { margin-left: 10mm; margin-top: 0cm }

/* Pull quotes */

SPAN.PullQuote { max-width: 30%;
	      	float: right;
		color: black;
		background-color: #eeeeee;
		margin: 2px 0px 2px 5px;
		padding: 5px 2px 5px 0.5em;
		border-style: none none none solid;
		border-color: #ffcc99;
		font-weight: normal;
		font-size: larger; }
SPAN.invisible { display: none; }

/* Calendars */

TABLE.CalM { width: 100%;
             border-spacing: 0 }
TR.CalM { border-left-style: groove }
TD.CalMDate { background-color: #eeeeee; 
              font-size: x-large;
	      width: 13%;
	      border-left-style: groove;
	      border-top-style: groove }
TD.CalMEvent { font-size: smaller; 
	       vertical-align: middle;
	       border-left-style: groove }
TD.CalMContinue { font-size: smaller; 
		  vertical-align: middle;
	       border-left-style: groove }
TD.CalBlank { border-left-style: none }
TD.CalMBottom { border-left-style: groove;
                border-bottom-style: groove }
TD.CalMTop { border-left-style: none; border-top-style: groove }
TD.CalMCorner { border-left-style: groove; border-top-style: groove }
TD.CalMHeader { font-size: larger; font-weight: bold;
                text-align: center; width: 13%;
		padding-top: 20px; padding-bottom: 10px }
TD.CalMName { font-size: x-large; font-weight: bold;
              text-align: center; 
	      background-color: #eeeeee;
	      margin-bottom: 10px;
	      border-top-style: groove;
	      border-bottom-style: groove }
TD.CalMArrow { vertical-align: middle; border-style: groove }

/* ArticleText and BlurbText */
DIV.ArticleText { margin:0px 0px 0px 0px;
                  padding:0px 2px 0px 0px;
		  max-width: 75em; 
		  /* min-width: 40em; */
}
DIV.widepage DIV.ArticleText {
    max-width: 999em !important;
}

DIV.Printable { }
DIV.Printable DIV.ArticleText { margin:0px 0px 0px 0px;
              		        padding:0px;
				max-width: none; }
DIV.BlurbText { margin:0px 0px 0px 0px;
                padding:0px; }

/* Stuff for Uli's cpumemory document */
SPAN.UliMath { color: black;
	       font-weight: bold; }
SPAN.UliInvSig { color: black;
	       	 font-weight: bold;
		 text-decoration: overline }

/* Stuff to support ads */
DIV.AdMarker { text-align: center;
               font-size: smaller;
               color: black;
               font-weight: bold; }

DIV.AdRight { float:right;
              background-color: #ffffff;
              border-width: 3px;
              border-style: solid;
              border-color: #ffffff;
              margin-left: 2px;
	      padding: 2px; }

/* Stuff to use in Promos */
DIV.promobox { float: left;
	       background-color: #eeeedd;
	       border-style: groove;
	       padding: 3px 3px 0px 3px;
	       margin: 1px 5px 1px 0px; }

/* generally useful */
UL.NoBullet { list-style-type: none; }

/* comment filtering */
DIV.FilteredComment { display: none;
                      background-color: #eeeeee; }
DIV.CommHdr { background-color: #eeeeee; }

/* Make photos fit in the given space. */
IMG.photo { 
    max-width: 100%; 
}

/*
     FILE ARCHIVED ON 04:58:58 Oct 27, 2014 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 11:12:10 Oct 13, 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: 9.853
  exclusion.robots: 0.079
  exclusion.robots.policy: 0.064
  esindex: 0.015
  cdx.remote: 68.497
  LoadShardBlock: 1511.834 (6)
  PetaboxLoader3.datanode: 1310.315 (7)
  PetaboxLoader3.resolve: 267.106 (2)
  load_resource: 293.487
*/