body {
    margin:10px 20px 20px 250px;
    background: #778899;
	color: #ccccff;
	font-size: 13pt;
/*	border-top: 3px solid #000;
	border-left: 5px groove #ffff66;
	border-right: 5px groove #ffff66;
	border-bottom: 5px groove #ffff66; */
/*	background-image: url("http://quantifier.org/main-bw-edged.jpg") */
/*	background-image: url("http://quantifier.org/tux-tuug.jpg"); */
/*	background-image: url("http://quantifier.org/kc-alt1.jpg"); */
/*	background-image: url("http://quantifier.org/combo2-white.jpg"); */
/*	background-image: url("http://quantifier.org/combo2-combo.jpg"); */
/*	background-image: url("http://quantifier.org/skateboard.png"); */
/*	background-image: url("http://quantifier.org/back.png"); */
/*	background-image: url("http://quantifier.org/city.jpg"); */
/*	background-image: url("http://quantifier.org/llamakc-logo.png"); */
/*	background-image: url("http://quantifier.org/llamakc-logo.png");  */
	background-image: url("http://quantifier.org/kittenblue.jpg"); */	
	background-image: url("http://quantifier.org/quantoutline.png");
	background-repeat: no-repeat;
	background-attachment: fixed;
	background-position: bottom left;  
	padding-right: 0px;
}

a {
    font-size: 15px;
    font-family: "verdana","arial","geneva","helvetica",sans-serif;
    color: #ccc;
    font-weight: lighter;
    text-decoration: none;
/* 	background: #fff; */
}
a:hover {
    text-decoration: none;
 	padding-right: 5px;
	padding-left: 5px;
	color: #000;
	border-top: 1px;
	border-right: 1px;
	border-bottom: 1px;
	border-left: 5px;
/*	font-size: 12px;  */
/*	text-transform: uppercase; */
	border-style: solid;
	border-color: #000;
	background-image: url("http://quantifier.org/bg.gif");
	background-position: top left;
	background-attachment: fixed;
}

#bct {
/* currently the menubar */

	position: absolute;
    top: 50px;
    left: 50px;
/*    background-color: #cccccc; */
    width: auto;
/*	color: #000; */
    text-align: left;
	padding-left: 3px;
    padding-right: 3px;
	font-family: "verdana","arial","geneva","helvetica",sans-serif;
    font-size: 12px;
/*    line-height: 20px; */
/*  border: 2px solid #000;
	background-image: url("http://quantifier.org/bg.gif");
	background-repeat: repeat;
	background-attachment: fixed;
	background-position: top left; */


/*	border-left: 2px dotted #000;
	border-right: 2px dotted #000; */
}

#leftcontent {
    float:left;
    width:67%;
    background:#ccccff;
   /* border-right:2px solid #000;
    border-left:1px solid #000;
    border-bottom:1px solid #000;
    border-top:1px solid #000; */
    position: fixed;
	margin-right:15px;
    margin-left:15px;
    padding-bottom:5px;
    margin-top:00px;
/*    position: fixed; */

/*	background-image: url("http://quantifier.org/shanebetty3.jpg"); */
/*	background-image: url("http://quantifier.org/skateboard.png"); */
/*	background-image: url("http://quantifier.org/back.png"); */
/*	background-image: url("http://quantifier.org/city.jpg"); */
/*	background-image: url("http://quantifier.org/llamakc-logo.png"); */
/*	background-image: url("http://quantifier.org/beer1.gif"); */
	background-repeat: no-repeat;
	background-attachment: fixed;
	background-position: center center;
}


#leftcontent p,a.lc,ul {
    font-size:10px;
}

h1 {
    font-size:18px;
    margin-left: 10px;
    padding-top:10px;
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

/*
.changes { */
#rightcontent {
	margin-top: 50px;
	margin-left: 150px;
	margin-right: 200px;
	background-color: #fff;
	border: 2px solid #000;
    border-style: groove;
	font-size: 35px;
	font-family: "arial","verdana","geneva","helvetica",sans-serif;
    font-weight: lighter;
    color: #c9c9c9;
	padding-top: 0px;
    padding-bottom: 5px;
    padding-right: 5px;
    padding-left: 5px;
    line-height: 40px;
	letter-spacing: 30px;
  	text-align: center;
	background-image: url("http://quantifier.org/bg.gif");
	background-repeat: repeat;
	background-attachment: fixed;
	background-position: center center;
}

#rightcontent a:hover { border: 0px; padding: 0px; }


.invisible{
    display: none;
}

p {
    font-family: "verdana","arial","geneva","helvetica",sans-serif;
    font-size: 16px;
    padding-left: 5px;
    line-height: 125%;
}

li {
    font-family: "verdana","arial","geneva","helvetica",sans-serif;
    font-size: 14px;
    line-height: 125%;
}


#menu {
        width:240px;
        padding:0px;
        margin-left:20px;
        margin-right:-3px;
        float:right;
        voice-family: "\"}\"";
        voice-family: inherit;
        margin-right:-4px;
        }
html>body #menu {
        margin-right:-4px;

}


h3 {
        font-family: "verdana","arial","geneva","helvetica",sans-serif;
        padding: 8px ;
        text-align: left;
        color:#fff;
        font-size:12px;
     /*   background: #c5cae2; */
        border-left:1px solid #000;
        border-bottom:1px solid #000;
        border-top:1px solid #000;
        border-right:1px solid #000;
        margin-left: 30px;
        margin-right: 10px;
}

/*
     FILE ARCHIVED ON 01:23:26 Jan 27, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 16:43:16 Feb 01, 2022.
     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: 371.54
  exclusion.robots: 0.116
  exclusion.robots.policy: 0.107
  RedisCDXSource: 9.46
  esindex: 0.012
  LoadShardBlock: 343.712 (3)
  PetaboxLoader3.datanode: 404.085 (4)
  CDXLines.iter: 15.345 (3)
  load_resource: 252.03
  PetaboxLoader3.resolve: 166.193
*/