/* GENERAL STYLE ELEMENTS USED BY DEFAULT */

body {
  background: #eeddcc; 
  margin: 0px;
  height:100%;
}

.center {text-align: center}
.indent { margin-left: 20px; margin-right: 10px; }

h1 { font-size: 16pt; }
h2 { font-size: 14pt; }
h3 { font-size: 12pt; }
h4 { font-size: 11pt; }
h5 { font-size: 10pt; }
.small {font-size: 10pt}
.xsmall {font-size: 9pt}
.xxsmall {font-size: 8pt}

blockquote {
 position: relative;
 margin-left: 20px;
 margin-right: 20px;
 line-height: 140%;
}


img {
  border: 0px;
}

form {
  margin: 0px 0px 0px 0px;
}

a:link {text-decoration: none; color: #883300; }
a:visited {text-decoration: none; color: #883300;}
a:active {text-decoration: none; color: #444444;}
a:link:hover {text-decoration: underline; color: #880000;}
a:visited:hover {text-decoration: underline; color: #880000;}

/* TABLE FORMATTING */

table.center {margin-left: auto; margin-right: auto}

/* SEP CONTENT ITEMS */

div#aueditable {
   border: 0px dashed blue;
}

div#pubinfo {
   font-size: 9pt;
}

div.pagetitle {
   border: 0px dashed blue;
   font-family: Lucida, Arial, sans-serif;
   font-size: 14pt;
   color: #663322;
   font-weight: bold;
   text-align: left;
   margin-left: -10px; /* hanging indent */
   margin-bottom: 10px;
}


div.title {
   border: 5px dashed green;
   text-align: left;
   font-family: Lucida, Arial, sans-serif;
   font-size: 12pt;
   font-weight: bold;
}


/* LEFT MENU-NAVIGATION ELEMENTS */

div#pagetopleft {
  position: fixed;
  background: #eeddcc url("../symbols/image.jpg") no-repeat left top;
  border-bottom: 1px solid gray;
  border-right: 1px solid gray;
  top: 0px;
  left: 0px;
  right: 0px;
  padding: 5px;
  margin-left: 4px;
  margin-top: 4px; 
  height: 53px;
  width: 175px;
  text-align: center;
  font-family: "Lucida", Arial, sans-serif;
  font-size: 18pt;
}

div#navmenu {
  position: fixed;
  overflow: auto;
  height: 80%;
  border-right: 1px solid gray; 
  width: 169px;
  left: 0px;
  top: 60px;
  padding: 13px 10px 10px 10px;
  color: #883300;
}

div.menuheading {
  text-align: left;
  font-family: Lucida, Arial, sans-serif; 
  /* font-family: Times New Roman, Times, serif;*/
  /* border-right: 1px solid gray; */
  font-size: 10pt;
  font-weight: bold;
}

div.menuitem {
  text-align: left;
  font-family: Lucida, Arial, sans-serif;
  /* font-family: Times New Roman, Times, serif;*/
  font-size: 8pt;
  padding: 0px 0px 0px 10px;
}

A.menulink:link {text-decoration: none; color: #883300;}
A.menulink:visited {text-decoration: none; color: #883300;}
A.menulink:active {text-decoration: none; color: #444444;}
/*A.menulink:hover {text-decoration: underline; color: #ffffff; background: #ddbbaa;}*/
A.menulink:hover {text-decoration: underline; color: #880000;}

div.navpanel {
  font-size: small;
  /* font-family: Lucidatypewriter, monospace; */
  font-family: Lucida, Arial, sans-serif; 
  text-align: left;
  padding: 5px;
}

div.copyright {
  font-size: 9pt;
  font-style: italic;
  /*font-family: Lucida, Arial, sans-serif; */
  font-family: "Times New Roman", Times, serif;
}

A.navlink:link {text-decoration: none; color: #663300;}
A.navlink:visited {text-decoration: none; color: #663300;}
A.navlink:active {text-decoration: none; color: #444444;}
A.navlink:hover {text-decoration: none; color: #880000;}


/* MAIN CONTENT ELEMENTS ON RIGHT */

div#pagetopright {
  position: absolute;
  float: right;
  top: 0px;
  left: 190px;
  right: 0px;
  padding: 4px 10px 6px 5px;
  height: 57px;
  text-align: left;
  font-family: "Lucida", Arial, sans-serif;
  font-size: 18pt;
}

div#maintitle {
  position: absolute;
  float: right;
  border:  0px solid green;
/* background-color: #ffeedd; */
  background-color: #ffffff; 
  background-repeat: no-repeat;
  top: 68px;
  left: 190px;
  height: 100px;
  padding: 10px 10px 10px 10px;
/*  text-align: center; */
  font-family: "Lucida", Arial, sans-serif;
  font-size: 18pt;
}

div#content {
  background-color: white;
  position: absolute;
  float: right;
  border-left: 1px solid gray;
  border-top: 1px solid gray;
  top: 67px;
  left: 189px;
  right: 0px;
  padding: 5px 30px 0px 20px; /* top right bottom left */
  line-height: 140%;
/*  font-family: Times New Roman, Times, serif; */
}

div#content SUB, div#content SUP { line-height: 0px; }

/* BRANDING BANNER ELEMENTS */

A.banner:link {color: #883300; text-decoration: none; }
A.banner:visited {color: #883300; text-decoration: none;}
A.banner:active {color: #883300; text-decoration: none;}
A.banner:hover {color: #ee0000; text-decoration: underline;}

div#linklist {
  font-size: 9pt;
  font-family: Lucida, Arial, sans-serif;
  font-weight: bold;
}

div#message {
  border-top: 4px solid #663300;
  border-bottom: 1px solid #663300;
  background: #ffffcc;
  margin-left: -15px;
  margin-right: -25px;
  margin-bottom: 5px;
/*  color: black; */
  color: #606060;
  font-size: 11pt; 
/*  font-family: CopperPlate, Tahoma, Lucida, Arial, sans-serif; */
  font-family: Lucida, Arial, sans-serif;
  font-weight: normal;
  padding: 0px;
}

/*div#message { */
/*  border-top: 4px solid #663300; */
/*  border-bottom: 1px solid #663300; */
/*  background: #fafbbb; */
/*  margin-left: -15px; */
/*  margin-right: -25px; */
/*  margin-bottom: 5px;  */
/*  color: black; */
/*  font-size: 11pt; */
/*  font-family: CopperPlate, Tahoma, Lucida, Arial, sans-serif; */
/*  font-weight: normal; */
/*  padding: 0px; */
/*} */

div#message2 {
/*  width: 500px;  */
  border-top: 4px solid #663300;
  border-bottom: 1px solid #663300;
/*  text-align: center; */
  background: #99bbff; /* blue */
  background: #fafbbb; /* yellow */
  margin-left: -15px;
  margin-right: -25px;
  margin-bottom: 5px; 
/*  margin-top: -5px; */
  color: black;
  font-size: 9pt;
  font-family: CopperPlate, Tahoma, Lucida, Arial, sans-serif;
  font-weight: normal;
  padding: 0px;
}

div#message3 {
/*  width: 500px;  */
  border-top: 4px solid #663300;
  border-bottom: 1px solid #663300;
/*  text-align: center; */
/*  background: #99bbff;  blue */
/*  background: #fafbbb;  yellow */
  background: #ffffaa;
  margin-left: -15px;
  margin-right: -25px;
  margin-bottom: 5px;
/*  margin-top: -5px; */
/*  color: black; */
  color: #0055ff
  font-size: 9pt;
  font-family: Lucida, Arial, sans-serif;
  font-weight: bold;
  padding: 0px;
}


div#archivebanner {
/*  width: 500px;  */
  border-top: 4px solid #663300;
  border-bottom: 1px solid #663300;
/*  text-align: center; */
  background: #99bbff; /* blue */
/*  background: #fafbbb;  yellow */
  margin-left: -15px;
  margin-right: -25px;
  margin-bottom: 5px;
/*  margin-top: -5px; */
  color: black;
  font-size: 9pt;
  font-family: CopperPlate, Tahoma, Lucida, Arial, sans-serif;
  font-weight: normal;
  padding: 0px;
}

div#foot {
  border-top: 1px solid #663300;
  border-bottom: 4px solid #663300;
  background: #ccbbaa; 
  margin-left: -15px;
  margin-right: -25px; 
  margin-bottom: 5px; 
  margin-top: 10px; 
  text-align: center;
  color: black;
  font-size: 10pt;  
  font-family: CopperPlate, Tahoma, Lucida, Arial, sans-serif;
  font-weight: normal; 
  padding: 0px 15px;
}

/* MISCELLANEOUS STUFF */

a.authlink:link {text-decoration: none; color: #883300;}
a.authlink:visited {text-decoration: none; color: #883300;}
a.authlink:active {text-decoration: none; color: #444444;}
a.authlink:hover {text-decoration: underline; color: #880000;}

.scriptuc {
  font-family: cmsy10, 'Script MT', cursive;
  line-height: 0px;
}

.ubar {
  padding-bottom: 0px;
  border-bottom: 1px solid black;
}

.overstrike{ position: relative; }
.overstrike span{ position: absolute; }
.overstrike .up{ top: -0.5ex; left: 0.2ex; }
.overstrike .hi{ bottom: 0.5ex; left: 0.5ex; }

.subsup{ position: absolute; }
.subsup sup{ position: absolute; left: 0.1ex; top: 0.5ex; font-size:75%;}
.subsup sub{ position: absolute; left: 0.1ex; top: 3ex; font-size:75%; }

.subsupa{ position: absolute; }
.subsupa sup{ position: relative; display:block; left: 0.1ex; top: .7ex; font-size:75%;}
.subsupa sub{ position: relative; display:block; left: 0.1ex; top: 3.7ex; font-size:75%; }

.index {
  font-size:.8em; 
  line-height: 80%;
}

.index {
  font-size:.8em; 
  line-height: 140%;
}

html>body .index {
  font-size: .8em;
  line-height: 80%;
}


span.supsub { 
   margin: 0;
   padding: 0;
   width: -moz-min-content;
   width: min-content;
   vertical-align: text-bottom;
   display: inline-block;
   font-size: 75%;
   text-align: left;
   position: relative;
   bottom: -0.3ex;
   line-height: 80%;
}

span.lower { 
    margin: 0;
    display:block;
}

/* allows sub and superscripts above and below charaters */

span.mainlimits {
position: relative;
	  padding-left: 1px;
	  font-size: 110%;
	  text-align: center;
}

span.suplimits {
position: absolute;
	  top: -1em;
	  left: 0px;
	  width: 100%;
	  font-size: 60%;
/* color: red; */
	  text-align: center;
}



span.nw {
    white-space:nowrap;
}

ul.plain {
    list-style-type: none;
}   

ul.hanging {
     list-style-type: none;
     margin: 0;
     padding-left: 2em;
}

ul.hanging li {
    text-indent: -2em;
}

ul.subhang {
     list-style-type: disc;
     padding-left: 1em;
}

ul.subhang li {
     text-indent: 0em;
}

ol.connected { 
     margin-top: 0px;
     margin-bottom: 0px;
}

td.lbrak {
    border: 1px solid black;
    border-right: none;
}

td.rbrak {
    border: 1px solid black;
    border-left: none;
}

td.enum {
    text-align:right;
    vertical-align:top;
    width:2.5em;
}

span.obar {
    border-top:1px solid black;
}

.oline {
    text-decoration:overline;   
}

span.sc {
    font-variant:small-caps;
}

table th {
    font-weight:normal;
}

span.note {
    color:#808080;
}

dl.hangindent {
    padding: 0em .1em 0em .1em;
} 

.hangindent dt { 
    float: left; 
    clear: left; 
    width: 2em; 
    text-align: right; 
    font-weight: normal ;
} 

.hangindent dd { 
    margin: 0 0 0 2.5em; 
    padding: 0 0 0.5em 0; 
}

dl.hangindentdense {
    padding: 0em .1em 0em .1em
} 

.hangindentdense dt { 
    float: left; 
    clear: left; 
    width: 3em; 
    text-align: right; 
    font-weight: normal 
} 

.hangindentdense dd { 
    margin: 0 0 0 4em; 
    padding: 0 0 0 0; 
}


dl.hang {
    padding: 0em .1em 0em 0em
}

.hang dt { 
    float: left; 
    clear: left; 
    width: 4em; 
    text-align: left; 
    font-weight: normal }

.hang dd { 
    margin: 0 0 0 4.5em; 
    padding: 0 0 0.5em 0; 
}

dl.hang_4em {
    padding: 0em .1em 0em 0em
}

.hang_4em dt {
    float: left;
    clear: left;
    width: 4em;
    text-align: left;
    font-weight: normal }

.hang_4em dd {
    margin: 0 0 0 4em;
    padding: 0 0 0.5em 0;
}


dl.hang_6em {
    padding: 0em .1em 0em 0em
}

.hang_6em dt {
    float: left;
    clear: left;
    width: 6em;
    text-align: left;
    font-weight: normal }

.hang_6em dd {
    margin: 0 0 0 6em;
    padding: 0 0 0.5em 0;
}

dd.secondary {
margin-top: .75ex;
text-indent: -2em;
padding-left: 2em;
}

.todo_note {
  color: red;
}

table.smalltable {
font-size: 9pt;
line-height: 1.2em;
}

dl.hang_3em {
    padding: 0em .1em 0em 0em
}

.hang_3em dt {
    float: left;
    clear: left;
    width: 3em;
    text-align: left;
    font-weight: normal }

.hang_3em dd {
    margin: 0 0 0 3em;
    padding: 0 0 0.5em 0;
}


dl.hang_3em {
    padding: 0em .1em 0em 0em
}

dl.hang_2em {
    padding: 0em .1em 0em 0em
}

.hang_2em dt {
    float: left;
    clear: left;
    width: 2em;
    text-align: left;
    font-weight: normal }

.hang_2em dd {
    margin: 0 0 0 2em;
    padding: 0 0 0.5em 0;
}

dl.runon {
margin: 0px;
display: inline-block;
text-indent: -40px;
padding-left: 40px;
}

.runon dt {
display: inline;
font-weight: bold;
}

.runon dd {
display: inline;
padding-left: .5em;
margin-left: 0em;
}



/* testing for extended math */

span.mmath {
font-family: "Cambria Math","Asana Math",cmsy10, 'Script MT', cursive;
}



h5.runon {
display: run-in;
margin-right:.5em;
}

div.runon {
font-weight: bold;
display: run-in;
margin-right:.5em;
}


table.fraction { text-align: center; vertical-align: middle;
    margin-top:0.5em; margin-bottom:0.5em; line-height: 2em; }
table.fraction td {
text-align: center;
border-spacing: 0px;
padding: 0px;
}
table.fraction td.denominator { border-top:solid 1px black;line-height:1.4em; }
table.fraction td.numerator {line-height:1em;}

table.inner-rules {
  border-collapse: collapse;
}
table.inner-rules td,
table.inner-rules th {
  border-top: 1px solid black;
  border-left: 1px solid black;
  text-align: center;
  padding-left: 4px;
  padding-right: 4px;
}
table.inner-rules tr.first-row td, 
table.inner-rules tr.first-row th {
  border-top: none;
}
table.inner-rules th.first-col,
table.inner-rules td.first-col {
  border-left: none;
}

table.display {
  border-collapse: collapse;	   
}
table.display tr {
  vertical-align: baseline;
}
table.display td.label {
  width: 4em;
  text-align: right;
}


/* first used in location-mereology */
span.label {
  display:block;  
/* margin-left: 2em;   float:right; */
}

.bold {
  font-weight: bold;
}

.rotate {
/* Safari */
-webkit-transform: rotate(-90deg);
/* Firefox */
-moz-transform: rotate(-90deg);
/* IE */
-ms-transform: rotate(-90deg);
/* Opera */
-o-transform: rotate(-90deg);
/* Internet Explorer */
filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3);
}

.normalth th {
font-weight: 600;
text-align: center;
padding-left: 5px;
padding-right: 5px;
}

.centercell th {
text-align: center;
}
.centercell td {
text-align: center;
}

tr.top td {border-top: thin solid black;}
tr.top th {border-top: thin solid black;}

dl.sepdl dt {
margin-left: 20pt;
}
dl.sepdl dd {
margin-left: 20pt;
}

table.operator {
border-collapse: collapse;
line-height: 100%;
}

table.operator td {
border: 1px solid black;
padding: 5px;
vertical-align: top;
}

table.operator th {
padding: 5px;
}

ul.academictools {
list-style-type: none;
padding: 0px;
margin-left: 1em;
}

ul.academictools li {
background-repeat: no-repeat;
background-position: 0px 0px;
padding-left: 20px;
}

li.sepman {
background-image: url(../../symbols/sepman-icon.jpg);
}

li.inpho {
background-image: url(../../symbols/inpho.png);
}

li.philpapers {
background-image: url(../../symbols/pp.gif);
}


/*********************************/
/* NOT FOUND */
/* (probably not in use) */
/*********************************/

span.sublimits {
position: absolute;
	  bottom: -1em;
	  left: 0px;
	  width: 100%;
	  font-size: 60%;
/* color: red; */
	  text-align: center;
}

/* counter playing */

ol.prime {
counter-reset: list;
}
ol.prime li {
list-style: none;
text-indent: -2.5em;
}
ol.prime li:before {
display: inline-block;
content:  counter(list, lower-roman) "'.";
counter-increment: list;
text-align: right;
padding-right: .5em;
width: 2em;
}

/* paul is trying this for parenthesized lower roman */

ol.lowromparens {
counter-reset: list;
}
ol.lowromparens li {
list-style: none;
text-indent: -2.0em;
}
ol.lowromparens li:before {
display: inline-block;
content: "(" counter(list, lower-roman) ")";
counter-increment: list;
text-align: right;
padding-right: .5em;
width: 2em;
}

ol.lowromparensprime {
counter-reset: list;
}
ol.lowromparensprime li {
list-style: none;
text-indent: -2.5em;
}
ol.lowromparensprime li:before {
display: inline-block;
content:  "(" counter(list, lower-roman) "'" ")";
counter-increment: list;
text-align: right;
padding-right: .5em;
width: 2em;
}

/** paul is not using handlabel for questions because when one dl is 
    embedded in another, too much vertical separation results. 
    2013 Dec 18 this has been fixed, so now using in questions entry.**/

.handlabel {
    margin: 0 0 0 0;
    padding: 0em .1em 0em .1em
}
.handlabel dt {
    float: left;
    clear: left;
    width: 3em;
    text-align: right;
    font-weight: normal
}
.handlabel dd {
    margin: 0 0 0 3.5em;
    padding: 0 0 0 0;
}


dl.handsublabel {
    margin: 0 0 0 0;
    padding: 0em .1em 0em .1em
}
.handsublabel dt {
    float: left;
    clear: left;
    width: 2em;
    text-align: right;
    font-weight: normal
}
.handsublabel dd {
    margin: 0 0 0 2.5em;
    padding: 0 0 0 0;
}


span.tabRel {
display: inline-block;
margin-right: 1em;
}

span.tab2em {
display: inline-block;
text-align: left;
width:2em;
}

.plain {
font-style: normal;
}