Squashed 'third_party/eigen/' changes from 61d72f6..cf794d3


Change-Id: I9b814151b01f49af6337a8605d0c42a3a1ed4c72
git-subtree-dir: third_party/eigen
git-subtree-split: cf794d3b741a6278df169e58461f8529f43bce5d
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css
index efaeb46..225f5d3 100644
--- a/doc/eigendoxy.css
+++ b/doc/eigendoxy.css
@@ -45,7 +45,7 @@
 
 /* Common style for all Eigen's tables */
 
-table.example, table.manual, table.manual-vl {
+table.example, table.manual, table.manual-vl, table.manual-hl {
     max-width:100%;
     border-collapse: collapse;
     border-style: solid;
@@ -58,7 +58,7 @@
     -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
 }
 
-table.example th, table.manual th, table.manual-vl th {
+table.example th, table.manual th, table.manual-vl th, table.manual-hl th {
   padding: 0.5em 0.5em 0.5em 0.5em;
   text-align: left;
   padding-right: 1em;
@@ -70,7 +70,7 @@
   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#FFFFFF', endColorstr='#F4F4E5');
 }
 
-table.example td, table.manual td, table.manual-vl td {
+table.example td, table.manual td, table.manual-vl td, table.manual-hl td {
   vertical-align:top;
   border-width: 1px;
   border-color: #cccccc;
@@ -108,15 +108,15 @@
 
 /* standard class for the manual */
 
-table.manual, table.manual-vl {
+table.manual, table.manual-vl, table.manual-hl {
     padding: 0.2em 0em 0.5em 0em;
 }
 
-table.manual th, table.manual-vl th {
+table.manual th, table.manual-vl th, table.manual-hl th {
   margin: 0em 0em 0.3em 0em;
 }
 
-table.manual td, table.manual-vl td {
+table.manual td, table.manual-vl td, table.manual-hl td {
   padding: 0.3em 0.5em 0.3em 0.5em;
   vertical-align:top;
   border-width: 1px;
@@ -136,6 +136,16 @@
   border-style: solid solid solid solid;
 }
 
+table.manual-hl td {
+  border-color: #cccccc;
+  border-width: 1px;
+  border-style: solid none solid none;
+}
+
+table td.code {
+  font-family: monospace;
+}
+
 h2 {
   margin-top:2em;
   border-style: none none solid none;
@@ -155,6 +165,8 @@
   bottom:0;
   border-radius:0px;
   border-style: solid none none none;
+  max-height:50%;
+  overflow-y: scroll;
 }
 
 div.toc h3 {
@@ -166,6 +178,11 @@
   margin: 0.2em 0 0.4em 0.5em;
 }
 
+span.cpp11,span.cpp14,span.cpp17 {
+  color: #119911;
+  font-weight: bold;
+}
+
 /**** old Eigen's styles ****/
 
 
@@ -177,8 +194,8 @@
 
 
 /* Whenever doxygen meets a '\n' or a '<BR/>', it will put 
- * the text containing the characted into a <p class="starttd">.
- * This little hack togehter with table.tutorial_code td.note
+ * the text containing the character into a <p class="starttd">.
+ * This little hack together with table.tutorial_code td.note
  * aims at fixing this issue. */
 table.tutorial_code td.note p.starttd {
   margin: 0px;
@@ -200,12 +217,7 @@
   width:  20em;
 }
 
-.bigwarning {
-  font-size:2em;
-  font-weight:bold;
-  margin:1em;
-  padding:1em;
-  color:red;
-  border:solid;
-}
-
+/* needed for huge screens */
+.ui-resizable-e {
+  background-repeat: repeat-y;
+}
\ No newline at end of file