isabelle: src/Tools/VSCode/extension/media/vscode.css@dedd9d13c79c (annotated)

75126 da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	1	:root {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	2	--container-paddding: 20px;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	3	--input-padding-vertical: 6px;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	4	--input-padding-horizontal: 4px;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	5	--input-margin-vertical: 4px;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	6	--input-margin-horizontal: 0;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	7	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	8
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	9	body {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	10	padding: 0 var(--container-paddding);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	11	color: var(--vscode-foreground);
81045 07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	12	font-size: var(--vscode-editor-font-size);
07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	13	font-weight: var(--vscode-editor-font-weight);
07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	14	font-family: var(--vscode-editor-font-family);
75126 da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	15	background-color: var(--vscode-editor-background);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	16	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	17
81045 07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	18	pre {
07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	19	font-family: var(--vscode-editor-font-family);
07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	20	}
07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	21
75126 da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	22	ol,
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	23	ul {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	24	padding-left: var(--container-paddding);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	25	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	26
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	27	body > *,
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	28	form > * {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	29	margin-block-start: var(--input-margin-vertical);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	30	margin-block-end: var(--input-margin-vertical);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	31	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	32
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	33	*:focus {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	34	outline-color: var(--vscode-focusBorder) !important;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	35	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	36
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	37	a {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	38	color: var(--vscode-textLink-foreground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	39	text-decoration: none;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	40	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	41
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	42	a:hover,
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	43	a:active {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	44	color: var(--vscode-textLink-activeForeground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	45	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	46
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	47	code {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	48	font-size: var(--vscode-editor-font-size);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	49	font-family: var(--vscode-editor-font-family);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	50	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	51
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	52	button {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	53	border: none;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	54	padding: var(--input-padding-vertical) var(--input-padding-horizontal);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	55	width: 20%;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	56	text-align: center;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	57	outline: 1px solid transparent;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	58	outline-offset: 2px !important;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	59	color: var(--vscode-button-foreground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	60	background: var(--vscode-button-background);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	61	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	62
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	63	button:hover {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	64	cursor: pointer;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	65	background: var(--vscode-button-hoverBackground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	66	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	67
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	68	button:focus {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	69	outline-color: var(--vscode-focusBorder);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	70	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	71
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	72	button.secondary {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	73	color: var(--vscode-button-secondaryForeground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	74	background: var(--vscode-button-secondaryBackground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	75	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	76
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	77	button.secondary:hover {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	78	background: var(--vscode-button-secondaryHoverBackground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	79	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	80
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	81	input:not([type='checkbox']),
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	82	textarea {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	83	display: block;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	84	width: 100%;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	85	border: none;
81045 07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	86	font-family: var(--vscode-editor-font-family);
75126 da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	87	padding: var(--input-padding-vertical) var(--input-padding-horizontal);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	88	color: var(--vscode-input-foreground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	89	outline-color: var(--vscode-input-border);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	90	background-color: var(--vscode-input-background);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	91	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	92
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	93	input::placeholder,
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	94	textarea::placeholder {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	95	color: var(--vscode-input-placeholderForeground);
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	96	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	97
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	98	#controls {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	99	display: flex;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	100	flex-direction: row;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	101	justify-content: flex-end;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	102	align-items: center;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	103	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	104
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	105	#controls > *{
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	106	margin-left: 5px;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	107	margin-top: 5px;
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	108	}
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	109
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	110	/* line break for pre */
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	111	pre {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	112	white-space: pre-wrap; /* Since CSS 2.1 */
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	113	white-space: -moz-pre-wrap;/* Mozilla, since 1999 */
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	114	white-space: -pre-wrap; /* Opera 4-6 */
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	115	white-space: -o-pre-wrap; /* Opera 7 */
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); wenzelm parents: diff changeset	116	word-wrap: break-word; /* Internet Explorer 5.5+ */
81045 07d25a1830df vscode: IsabelleDejaVuSansMono for state and output panel; Thomas Lindae <thomas.lindae@in.tum.de> parents: 75126 diff changeset	117	}

author	paulson <lp15@cam.ac.uk>
	Fri, 08 Aug 2025 16:46:03 +0100
changeset 82969	dedd9d13c79c
parent 81045	07d25a1830df
permissions	-rw-r--r--