2015-05-19 15:13:13 +00:00
|
|
|
@import 'bootstrap.less';
|
|
|
|
|
|
|
|
@header-bg: #094d75;
|
|
|
|
@icon-font-path: "fonts/";
|
|
|
|
|
2015-05-19 15:30:16 +00:00
|
|
|
html {
|
|
|
|
overflow-y: scroll;
|
|
|
|
}
|
|
|
|
|
2015-05-19 15:13:13 +00:00
|
|
|
.navbar {
|
|
|
|
border-radius: 0;
|
|
|
|
margin-bottom: 0;
|
|
|
|
background-color: darken(@header-bg, 10%);
|
|
|
|
}
|
|
|
|
|
|
|
|
.jumbotron {
|
|
|
|
#gradient > .vertical(@header-bg; darken(@header-bg, 2%); 50%; 50%);
|
|
|
|
background-size: 100% 4px;
|
|
|
|
background-color: @header-bg;
|
|
|
|
background-repeat: repeat-y;
|
|
|
|
color: white;
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar {
|
|
|
|
margin-left: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Keep content not too wide for better readability.
|
2015-10-18 00:35:51 +00:00
|
|
|
.navbar-content, .content {
|
|
|
|
.make-md-column-offset(1);
|
|
|
|
.make-md-column(10);
|
|
|
|
.make-lg-column-offset(2);
|
|
|
|
.make-lg-column(8);
|
2015-05-19 15:13:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.footer {
|
|
|
|
padding-top: 20px;
|
|
|
|
padding-bottom: 20px;
|
|
|
|
border-top: 1px solid @gray-lighter;
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
2015-05-20 01:20:27 +00:00
|
|
|
// Indent descriptions of classes, functions and macros.
|
|
|
|
.class dd, .function dd, .macro dd {
|
|
|
|
margin-left: 20px;
|
2015-05-19 15:13:13 +00:00
|
|
|
}
|
|
|
|
|
2015-05-20 01:20:27 +00:00
|
|
|
// Remove Bootstrap padding for Sphinx containers.
|
|
|
|
.breathe-sectiondef.container {
|
|
|
|
padding: 0;
|
2015-05-19 15:13:13 +00:00
|
|
|
}
|
2015-05-20 00:58:04 +00:00
|
|
|
|
2015-05-20 01:20:27 +00:00
|
|
|
// Remove Bootstrap padding for Sphinx code elements in API signatures.
|
2015-05-20 00:58:04 +00:00
|
|
|
.descclassname, .descname {
|
|
|
|
padding: 0;
|
|
|
|
}
|
2015-05-20 01:20:27 +00:00
|
|
|
|
2021-06-18 19:51:48 +00:00
|
|
|
// Override center alignment in tables.
|
|
|
|
td {
|
|
|
|
text-align: left;
|
|
|
|
}
|
|
|
|
|
2015-05-20 01:20:27 +00:00
|
|
|
p.rubric {
|
|
|
|
margin-top: 10px;
|
|
|
|
}
|
2015-12-17 15:59:09 +00:00
|
|
|
|
|
|
|
.github-btn {
|
|
|
|
border: 0;
|
|
|
|
overflow: hidden;
|
|
|
|
}
|