Replaced redhatmono with a woff2

RedHatMono.woff2

RedHatMonoVF.ttf

redhatmono.css

@@ -1,4 +1,4 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            1  
                                            @font-face {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            2  
                                                font-family: "RH Mono";
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        3 -
                                            src: url("RedHatMonoVF.ttf") format("truetype");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        3 +
                                            src: url("RedHatMono.woff2") format("woff2");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            4  
                                            }