mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Merge branch 'gh-pages' of https://github.com/Samsung/jerryscript into gh-pages
This commit is contained in:
commit
f8c37a292f
@ -87,6 +87,7 @@ body{ height: 100%; margin: 0;}
|
||||
.page-link {
|
||||
padding: 5px 10px;
|
||||
vertical-align: middle;
|
||||
color: #2388DB;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user