| 
					
				 | 
			
			
				@@ -442,7 +442,7 @@ property on the headline itself.") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     { font-size: 10px; font-weight: bold; white-space: nowrap; } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   .org-info-js_search-highlight 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     { background-color: #ffff00; color: #000000; font-weight: bold; } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-  .org-svg { width: 90%; } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+  .org-svg { } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 </style>" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   "The default style specification for exported HTML files. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 You can use `org-html-head' and `org-html-head-extra' to add to 
			 |