some restyle

This commit is contained in:
Aleksey Chichenkov 2018-10-10 14:00:35 +03:00
parent 27e785d1da
commit 905b0f7cb5
20 changed files with 218 additions and 224 deletions

View file

@ -1,49 +0,0 @@
.mainpage {
margin-bottom: 10px;
}
div.mainpage > div.desc {
font-size: 15px;
}
div.desc p {
margin: 0;
padding: 0;
}
div.part > div.desc {
font-size: 15px;
box-sizing: border-box;
padding: 5px;
/*padding-bottom: 0px;*/
}
div.part > pre {
margin: 0px;
margin-left: 10px;
margin-top: 5px;
margin-bottom: 5px;
}
div.mainpage > div.part {
background: #f3f3f3;
}
div.mainpage ul, h3, h4, h5 {
margin: 0;
}
div.mainpage h5{
font-size: initial;
font-weight: initial;
letter-spacing: initial;
}
div.mainpage li {
list-style: none;
}
div.mainpage ul {
box-sizing: border-box;
padding-left: 25px;
}