Update documentation

TRAVIS_JOB_NUMBER=4087.2
TRAVIS_COMMIT_RANGE=4a2943510ce0...fac5604d6374
This commit is contained in:
Travis CI (pmd-bot)
2019-08-10 20:25:08 +00:00
parent a0064a37b9
commit 376e2e952e
129 changed files with 2479 additions and 109 deletions

View File

@@ -19,4 +19,36 @@
top: 50px; /* height of the nav bar */
bottom: 0px;
width: 100%;
}
}
details {
border-radius: 3px;
background: #EEE;
margin-left: 10px;
}
details p {
padding: 5px 10px 5px;
background: white;
}
details summary {
font-size: 11pt;
vertical-align: top;
background: #d2d2d2;
color: black;
border-radius: 3px;
padding: 5px 10px;
outline: none;
cursor: pointer;
display: list-item;
}
details summary::after {
content: "...";
}
details[open] summary {
background-color: #347DBE;
color: white;
}