mirror of
				https://codeberg.org/forgejo/forgejo.git
				synced 2025-10-25 03:22:36 +00:00 
			
		
		
		
	## Changes - no more hardcoded `border-radius`es (apart from `0`) - no more value inconsistencies - no more guessing what pixel value you should use - two new variables: - `--border-radius-medium` (for elements where the normal border radius does not suffice) - `--border-radius-circle` (for displaying circles) --------- Co-authored-by: silverwind <me@silverwind.io>
		
			
				
	
	
		
			48 lines
		
	
	
	
		
			1.3 KiB
		
	
	
	
		
			CSS
		
	
	
	
	
	
			
		
		
	
	
			48 lines
		
	
	
	
		
			1.3 KiB
		
	
	
	
		
			CSS
		
	
	
	
	
	
| .monaco-editor-container,
 | |
| .editor-loading.is-loading {
 | |
|   width: 100%;
 | |
|   min-height: 200px;
 | |
|   height: 90vh;
 | |
| }
 | |
| 
 | |
| .edit.githook .monaco-editor-container {
 | |
|   border: 1px solid var(--color-secondary);
 | |
|   height: 70vh;
 | |
| }
 | |
| 
 | |
| /* overwrite conflicting styles from fomantic */
 | |
| .monaco-editor-container .inputarea {
 | |
|   min-height: 0 !important;
 | |
|   margin: 0 !important;
 | |
|   padding: 0 !important;
 | |
|   resize: none !important;
 | |
|   border: none !important;
 | |
|   color: transparent !important;
 | |
|   background-color: transparent !important;
 | |
| }
 | |
| 
 | |
| /* these seem unthemeable */
 | |
| .monaco-scrollable-element > .scrollbar > .slider {
 | |
|   background: var(--color-primary) !important;
 | |
| }
 | |
| .monaco-scrollable-element > .scrollbar > .slider:hover {
 | |
|   background: var(--color-primary-dark-1) !important;
 | |
| }
 | |
| .monaco-scrollable-element > .scrollbar > .slider:active {
 | |
|   background: var(--color-primary-dark-2) !important;
 | |
| }
 | |
| 
 | |
| /* fomantic styles destroy this element only visible on IOS, restore it */
 | |
| .monaco-editor .iPadShowKeyboard {
 | |
|   border: none !important;
 | |
|   width: 58px !important;
 | |
|   min-width: 0 !important;
 | |
|   height: 36px !important;
 | |
|   min-height: 0 !important;
 | |
|   margin: 0 !important;
 | |
|   padding: 0 !important;
 | |
|   position: absolute !important;
 | |
|   resize: none !important;
 | |
|   overflow: hidden !important;
 | |
|   border-radius: var(--border-radius-medium) !important;
 | |
| }
 |