r390

Author: liyishuai

common/css/sf.css

@@ -117,11 +117,11 @@ ul#menu a.hover li  {
 .booktitleinheader {
     color: #000000;
     text-transform: uppercase;
-    margin: 5px auto; 
     font-weight: 300;
     letter-spacing: 1px;
     font-size: 125%;
     margin-left: 0px;
+    margin-bottom: 22px;
  }
 
 /* Chapter titles */
@@ -432,55 +432,52 @@ tr.infrulemiddle hr {
 
 .id { display: inline; }
 
-.id[type="constructor"] { 
+.id[title="constructor"] {
     color: #697f2f;
 }
 
-.id[type="var"] { 
+.id[title="var"],
+.id[title="variable"] {
     color: rgb(40%,0%,40%);
 }
 
-.id[type="variable"] { 
-    color: rgb(40%,0%,40%);
-}
-
-.id[type="definition"] { 
+.id[title="definition"] {
     color: rgb(0%,40%,0%);
 }
 
-.id[type="abbreviation"] { 
+.id[title="abbreviation"] {
     color: rgb(0%,40%,0%);
 }
 
-.id[type="lemma"] { 
+.id[title="lemma"] {
     color: rgb(0%,40%,0%);
 }
 
-.id[type="instance"] { 
+.id[title="instance"] {
     color: rgb(0%,40%,0%);
 }
 
-.id[type="projection"] { 
+.id[title="projection"] {
     color: rgb(0%,40%,0%);
 }
 
-.id[type="method"] { 
+.id[title="method"] {
     color: rgb(0%,40%,0%);
 }
 
-.id[type="inductive"] { 
+.id[title="inductive"] {
     color: #034764;
 }
 
-.id[type="record"] { 
+.id[title="record"] {
     color: rgb(0%,0%,80%);
 }
 
-.id[type="class"] { 
+.id[title="class"] {
     color: rgb(0%,0%,80%);
 }
 
-.id[type="keyword"] { 
+.id[title="keyword"] {
     color : #697f2f;
     /*     color: black; */
 }
@@ -506,16 +503,23 @@ tr.infrulemiddle hr {
        background-color: rgb(60%,60%,100%); */
 }
 
+#toc h2.ui-accordion-header {
+    padding: .5em .5em .5em .7em;
+}
+
 #toc h2 .select { background-image: url('media/image/arrow_down.jpg'); }
 div#sec1.hide { display: none; }
 
 #toc ul {
     padding-top: 8px;
-    margin-bottom: -8px;
     font-size: 14px;
     padding-left: 0;
 }
 
+#toc ul ul {
+    margin-bottom: -8px;
+}
+
 #toc li {
     font-weight: 600;
     list-style-type: none;
@@ -613,7 +617,7 @@ html .ui-button.ui-state-disabled:focus {
 }
 
 .ui-accordion .ui-accordion-content {
-	padding: 0 2.2em 2em .75em !important;
+	padding: 0.5em 2.5em 1.8em .9em !important;
 	border-top: 0;
     overflow: auto;
 }

lf-current/.coqdeps.d

@@ -32,6 +32,8 @@ Extraction.vo Extraction.glob Extraction.v.beautified: Extraction.v ImpCEvalFun.
 Extraction.vio: Extraction.v ImpCEvalFun.vio Imp.vio ImpParser.vio Maps.vio
 Auto.vo Auto.glob Auto.v.beautified: Auto.v Maps.vo Imp.vo
 Auto.vio: Auto.v Maps.vio Imp.vio
+AltAuto.vo AltAuto.glob AltAuto.v.beautified: AltAuto.v IndProp.vo
+AltAuto.vio: AltAuto.v IndProp.vio
 Postscript.vo Postscript.glob Postscript.v.beautified: Postscript.v
 Postscript.vio: Postscript.v
 Bib.vo Bib.glob Bib.v.beautified: Bib.v
@@ -70,6 +72,8 @@ ExtractionTest.vo ExtractionTest.glob ExtractionTest.v.beautified: ExtractionTes
 ExtractionTest.vio: ExtractionTest.v Extraction.vio
 AutoTest.vo AutoTest.glob AutoTest.v.beautified: AutoTest.v Auto.vo
 AutoTest.vio: AutoTest.v Auto.vio
+AltAutoTest.vo AltAutoTest.glob AltAutoTest.v.beautified: AltAutoTest.v AltAuto.vo
+AltAutoTest.vio: AltAutoTest.v AltAuto.vio
 PostscriptTest.vo PostscriptTest.glob PostscriptTest.v.beautified: PostscriptTest.v Postscript.vo
 PostscriptTest.vio: PostscriptTest.v Postscript.vio
 BibTest.vo BibTest.glob BibTest.v.beautified: BibTest.v Bib.vo