devilbox/docs/_static/css/devilbox.css

50 lines
1.1 KiB
CSS
Raw Normal View History

2018-07-03 13:47:58 +00:00
/************************************************************
* MENU
***********************************************************/
2018-03-10 21:27:14 +00:00
/* overwrite logo dimensions */
.wy-side-nav-search>a img.logo,
.wy-side-nav-search .wy-dropdown>a img.logo {
width: 128px;
}
/* overwrite top-left serach div */
.wy-side-nav-search {
background-color: #343131;
}
2018-06-03 17:32:38 +00:00
2018-07-03 13:47:58 +00:00
/* sidebar category headlines */
.wy-menu-vertical header, .wy-menu-vertical p.caption {
margin-top: 25px;
margin-bottom: 15px;
padding: 0 1.518em;
padding-top:10px;
border-top: 1px solid #9b9b9b;
font-size: 100%;
}
/************************************************************
* Code blocks
***********************************************************/
2018-06-03 17:32:38 +00:00
/* Disable annoying scrollbar in code-blocks */
2018-06-03 17:16:22 +00:00
.codeblock,
pre.literal-block,
.rst-content .literal-block,
.rst-content pre.literal-block,
2018-06-03 17:32:38 +00:00
.rst-content div[class^='highlight'],
2018-06-03 17:16:22 +00:00
div[class^='highlight'] {
2018-06-03 17:32:38 +00:00
overflow: hidden !important;
}
/* bg color for code windows */
.highlight {
background-color: #ffffff !important;
2018-06-03 17:16:22 +00:00
}
2018-06-03 17:32:38 +00:00
2018-03-10 21:54:48 +00:00
/*
div.rtd-pro.rtd-pro-footer {
display: none;
}
*/