html/css/custom.css

0001 /* fix anchors */
0002 h2 a, h3 a, h4 a, h5 a {
0003     position: absolute;
0004     margin-top: -120px;
0005 }
0006
0007 /* do not display title page */
0008 .maketitle {
0009     display: none;
0010 }
0011
0012 /* fix minted sections */
0013 .ec-lmr-6:before {
0014     content: '';
0015     clear: right;
0016     display: block;
0017 }
0018 .ec-lmr-6 {
0019     margin-right: 8px;
0020 }
0021 .ec-lmr-5:before {
0022     content: '';
0023     clear: right;
0024     display: block;
0025 }
0026 .ec-lmr-5 {
0027     margin-right: 8px;
0028 }
0029 .fancyvrb {
0030     font-size: 80%;
0031 }
0032 .fancyvrb span span {
0033     display: inline-block;
0034 }
0035
0036 /* improve lstlisting */
0037 div.lstlisting {
0038     white-space: normal;
0039 }
0040 .lstlisting span {
0041     display: inline-block;
0042 }
0043
0044 /* customize sidebar and toolbar */
0045 .sidebar {
0046     position:fixed;
0047     width:18em;
0048     top:120px;
0049     left:100%;
0050     margin-left:-20em;
0051 }
0052 .sidebar .sectionToc, .sidebar .subsectionToc {
0053     display:block;
0054     margin-top:-1em;
0055     margin-bottom:0px;
0056 }
0057 .sidebar .sectionTOCS br {
0058     display:none;
0059 }
0060 .sidebar .toolbar {
0061     font-size:2em;
0062     padding: 5px;
0063     margin-left: 20px;
0064     background-color:#fed;
0065 }
0066 /* hide sidebar for screens to small */
0067 @media only screen and (max-width: 1480px) {
0068     .sidebar {
0069         display: none;
0070     }
0071 }
0072
0073 #license-text {
0074     display: inline-block;
0075     position: relative;
0076     left: 10px;
0077     top: -5px;
0078     max-width: 350px;
0079 }
0080 @media only screen and (max-width: 481px) {
0081     #license-text {
0082         top: 10px;
0083         left: 0;
0084     }
0085 }