chore: adjust font sizes fa517043
Steve · 2026-06-09 15:52 1 file(s) · +5 −4
apps/kepler/static/styles.css +5 −4
177 177 

            

            
            

                178
                178
                 
                
    .blob-code .line-num { min-width: 2.5rem; padding: 0 0.4rem 0 0.25rem; }

            

            
            

                179
                179
                 
                
    .blob-code .line-code { padding-left: 0.75rem; }

            

            
            

                180
                
                -
                
    .diff-hunk td.diff-num { min-width: 1.75rem; padding: 0 0.2rem 0 0.25rem; }

            

            
            

                181
                
                -
                
    td.diff-marker { padding: 0 0.2rem 0 0.4rem; }

            

            
            

                182
                
                -
                
    .diff-hunk pre, .blob-code pre { font-size: 12px; }

            

            
            

                183
                
                -
                
    .blob-code .line-num a { font-size: 12px; }

            

            
            

                
                180
                +
                
    .diff-hunk td.diff-num { min-width: 1.75rem; padding: 0 0.2rem 0 0.25rem; font-size: 13px; }

            

            
            

                
                181
                +
                
    td.diff-marker { padding: 0 0.2rem 0 0.4rem; font-size: 13px; }

            

            
            

                
                182
                +
                
    .diff-hunk pre, .blob-code pre { font-size: 13px; }

            

            
            

                
                183
                +
                
    .blob-code .line-num a { font-size: 13px; }

            

            
            

                
                184
                +
                
    .blob-code .line-code pre { font-size: 13px; }

            

            
            

                184
                185
                 
                

            

            
            

                185
                186
                 
                
    h1 { font-size: 16px; }

            

            
            

                186
                187
                 
                
}