| 
									
										
										
										
											2015-05-19 08:13:13 -07:00
										 |  |  | @import 'bootstrap.less'; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | @header-bg: #094d75; | 
					
						
							|  |  |  | @icon-font-path: "fonts/"; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-05-19 08:30:16 -07:00
										 |  |  | html { | 
					
						
							|  |  |  |   overflow-y: scroll; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-05-19 08:13:13 -07: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-17 17:35:51 -07: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 08:13:13 -07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | .footer { | 
					
						
							|  |  |  |   padding-top: 20px; | 
					
						
							|  |  |  |   padding-bottom: 20px; | 
					
						
							|  |  |  |   border-top: 1px solid @gray-lighter; | 
					
						
							|  |  |  |   text-align: center; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-05-19 18:20:27 -07:00
										 |  |  | // Indent descriptions of classes, functions and macros. | 
					
						
							|  |  |  | .class dd, .function dd, .macro dd { | 
					
						
							|  |  |  |   margin-left: 20px; | 
					
						
							| 
									
										
										
										
											2015-05-19 08:13:13 -07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-05-19 18:20:27 -07:00
										 |  |  | // Remove Bootstrap padding for Sphinx containers. | 
					
						
							|  |  |  | .breathe-sectiondef.container { | 
					
						
							|  |  |  |   padding: 0; | 
					
						
							| 
									
										
										
										
											2015-05-19 08:13:13 -07:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2015-05-19 17:58:04 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-05-19 18:20:27 -07:00
										 |  |  | // Remove Bootstrap padding for Sphinx code elements in API signatures. | 
					
						
							| 
									
										
										
										
											2015-05-19 17:58:04 -07:00
										 |  |  | .descclassname, .descname { | 
					
						
							|  |  |  |   padding: 0; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2015-05-19 18:20:27 -07:00
										 |  |  | 
 | 
					
						
							|  |  |  | p.rubric { | 
					
						
							|  |  |  |   margin-top: 10px; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2015-12-17 07:59:09 -08:00
										 |  |  | 
 | 
					
						
							|  |  |  | .github-btn { | 
					
						
							|  |  |  |   border: 0; | 
					
						
							|  |  |  |   overflow: hidden; | 
					
						
							|  |  |  | } |