Merge branch 'master' into ros-book

This commit is contained in:
Oleg Kalachev
2020-10-06 02:30:23 +03:00
parent bb9d8edb78
commit d15eb7785e
105 changed files with 11452 additions and 101 deletions

View File

@@ -65,3 +65,15 @@ footer img {
.type_table tr td {
padding: 14px 20px;
}
table.versions td {
text-align: center;
background: white;
.circle {
width: 0.8em;
height: 0.8em;
border-radius: 50%;
display: inline-block;
margin-right: 0.5em;
}