2014-05-16 23:02:47 +02:00
body {
margin-top : 75px ; /* 100px is double the height of the navbar - I made it a big larger for some more space - keep it at 50px at least if you want to use the fixed top nav */
}
footer {
margin : 50px 0 ;
2015-09-03 00:37:42 +02:00
}
table {
background-color : # e0e0ff
}
tbody td , th {
border : 1px solid black ;
padding : 3px 7px 2px 7px ;
}
thead td , th {
border : 1px solid black ;
padding : 3px 7px 2px 7px ;
font-weight : bold ;
}
tbody tr : nth-child ( odd ) {
background-color : # d0d0ff
}
2016-08-22 18:21:06 +02:00
2018-09-04 20:22:26 +02:00
pre code {
/* Preserve whitespace. Wrap text only at line breaks. */
/* Avoids auto-wrapping the code lines. */
white-space : pre
}
2016-08-22 18:21:06 +02:00
/* Hover over links on headers */
. header-link {
position : absolute ;
left : -0 . 5em ;
opacity : 0 ;
transition : opacity 0 . 2s ease-in-out 0 . 1s ;
}
h2 : hover . header-link ,
h3 : hover . header-link ,
h4 : hover . header-link ,
h5 : hover . header-link ,
h6 : hover . header-link {
opacity : 1 ;
}
2017-07-09 18:29:57 +02:00
/* Fix spacing between menu items */
. navbar-default . dropdown-menu > li > a {
padding-top : 6px ;
padding-bottom : 6px ;
}