Documentation update

Updated JerryScript Internals documentation form section High-Level design to section Virtual Machine.

JerryScript-DCO-1.0-Signed-off-by: István Kádár ikadar@inf.u-szeged.hu
This commit is contained in:
Istvan Kadar
2016-05-18 10:25:16 +02:00
committed by László Langó
parent 56167ea54a
commit c69dc7a156
16 changed files with 272 additions and 503 deletions
+13 -9
View File
@@ -50,7 +50,7 @@
.CSSTableGenerator td{
vertical-align:middle;
background-color:#e5e5e5;
background-color:#ffffff;
border:1px solid #000000;
border-width:0px 1px 1px 0px;
@@ -68,11 +68,13 @@
border-width:0px 0px 0px 0px;
}
.CSSTableGenerator tr:first-child td{
background:-o-linear-gradient(bottom, #cccccc 5%, #cccccc 100%); background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #cccccc), color-stop(1, #cccccc) );
background:-moz-linear-gradient( center top, #cccccc 5%, #cccccc 100% );
filter:progid:DXImageTransform.Microsoft.gradient(startColorstr="#cccccc", endColorstr="#cccccc"); background: -o-linear-gradient(top,#cccccc,cccccc);
background:-o-linear-gradient(bottom, #8fb1df 5%, #8fb1df 100%);
background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #8fb1df), color-stop(1, #8fb1df) );
background:-moz-linear-gradient( center top, #8fb1df 5%, #8fb1df 100% );
filter:progid:DXImageTransform.Microsoft.gradient(startColorstr="#8fb1df", endColorstr="#8fb1df");
background: -o-linear-gradient(top,#8fb1df,cccccc);
background-color:#cccccc;
background-color:#8fb1df;
border:0px solid #000000;
text-align:center;
border-width:0px 0px 1px 1px;
@@ -82,11 +84,13 @@
color:#000000;
}
.CSSTableGenerator tr:first-child:hover td{
background:-o-linear-gradient(bottom, #cccccc 5%, #cccccc 100%); background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #cccccc), color-stop(1, #cccccc) );
background:-moz-linear-gradient( center top, #cccccc 5%, #cccccc 100% );
filter:progid:DXImageTransform.Microsoft.gradient(startColorstr="#cccccc", endColorstr="#cccccc"); background: -o-linear-gradient(top,#cccccc,cccccc);
background:-o-linear-gradient(bottom, #8fb1df 5%, #8fb1df 100%);
background:-webkit-gradient( linear, left top, left bottom, color-stop(0.05, #8fb1df), color-stop(1, #8fb1df) );
background:-moz-linear-gradient( center top, #8fb1df 5%, #8fb1df 100% );
filter:progid:DXImageTransform.Microsoft.gradient(startColorstr="#8fb1df", endColorstr="#8fb1df");
background: -o-linear-gradient(top,#8fb1df,cccccc);
background-color:#cccccc;
background-color:#8fb1df;
}
.CSSTableGenerator tr:first-child td:first-child{
border-width:0px 0px 1px 0px;