Skip to content

Commit e194376

Browse files
committed
website
1 parent 07fd223 commit e194376

13 files changed

+210
-87
lines changed

docs/index.html

Lines changed: 204 additions & 87 deletions
Large diffs are not rendered by default.

docs/static/css/index.css

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -83,6 +83,12 @@ body {
8383
/*color: #4286f4;*/
8484
}
8585

86+
.subcaption {
87+
font-size: 0.8em;
88+
line-height: 1.4em;
89+
text-align: justify;
90+
}
91+
8692
.publication-video {
8793
position: relative;
8894
width: 100%;
Loading
Loading
Loading
Loading
Loading
Loading
Loading
147 KB
Loading
4.18 MB
Binary file not shown.
-208 KB
Binary file not shown.

docs/static/videos/PGO.mp4

514 KB
Binary file not shown.

0 commit comments

Comments
 (0)