Skip to main content
Coding Theme

KUKA KRL Extension

Publisher: LiskinLabsThemes in package: 67

Professional language support for KUKA Robot Language (KRL) in VS Code

Color themes

VS Code preview

Full workbench mockup using this variant's colors and tokenColors.

Loading...

colors

Workbench UI color keys from the theme JSON colors map.

  • activityBar.activeBackground#2397e526
  • activityBar.activeBorder#2397e5
  • activityBar.background#ececec
  • activityBar.border#cfcfcf
  • activityBar.dropBorder#7197b033
  • activityBar.foreground#2397e5
  • activityBar.inactiveForeground#99a4ae
  • activityBarBadge.background#2397e5
  • activityBarBadge.foreground#ececec
  • activityBarTop.activeBorder#2397e5
  • activityBarTop.dropBorder#7197b033
  • activityBarTop.foreground#2397e5
  • activityBarTop.inactiveForeground#a9afb4
  • badge.background#2397e5
  • badge.foreground#ececec
  • breadcrumb.background#f5f5f5
  • breadcrumbPicker.background#ffffff
  • button.background#2397e580
  • button.border#00000026
  • button.foreground#010508
  • button.hoverBackground#2397e599
  • button.secondaryBackground#e3e3e3
  • button.secondaryForeground#0f212d
  • button.secondaryHoverBackground#dcdcdc
  • button.separator#0000004d
  • charts.blue#037ed1
  • charts.foreground#0f212d
  • charts.green#03810d
  • charts.lines#0f212d
  • charts.orange#c0571f
  • charts.purple#002e74
  • charts.red#f7775a
  • charts.yellow#d0a00f
  • checkbox.foreground#0f212d
  • commandCenter.activeBackground#fafafa61
  • commandCenter.activeForeground#0000008f
  • commandCenter.background#f5f5f5
  • commandCenter.border#cfcfcf
  • commandCenter.foreground#7197b0
  • contrastActiveBorder#00000000
  • contrastBorder#00000000
  • debugConsole.errorForeground#f7775a
  • debugConsole.infoForeground#037ed1
  • debugConsole.warningForeground#c0571f
  • debugExceptionWidget.background#fafafa
  • debugExceptionWidget.border#cfcfcf
  • debugIcon.breakpointCurrentStackframeForeground#f7775a
  • debugIcon.breakpointDisabledForeground#f7775a80
  • debugIcon.breakpointForeground#f7775a
  • debugIcon.continueForeground#037ed1
  • debugIcon.disconnectForeground#f7775a
  • debugIcon.pauseForeground#f7775a
  • debugIcon.restartForeground#03810d
  • debugIcon.startForeground#03810d
  • debugIcon.stepBackForeground#037ed1
  • debugIcon.stepIntoForeground#037ed1
  • debugIcon.stepOutForeground#037ed1
  • debugIcon.stepOverForeground#037ed1
  • debugIcon.stopForeground#f7775a
  • debugToolBar.background#e5ebf4
  • descriptionForeground#0f212dcc
  • diffEditor.border#cfcfcf
  • diffEditor.diagonalFill#ffffff
  • diffEditor.insertedLineBackground#00840a1a
  • diffEditor.insertedTextBackground#00840a1a
  • diffEditor.insertedTextBorder#00000000
  • diffEditor.move.border#d0a00f4d
  • diffEditor.moveActive.border#d0a00fb3
  • diffEditor.removedLineBackground#ff72521a
  • diffEditor.removedTextBackground#ff72521a
  • diffEditor.removedTextBorder#00000000
  • diffEditor.unchangedCodeBackground#e9e9e9
  • diffEditor.unchangedRegionBackground#e9e9e9
  • diffEditor.unchangedRegionShadow#00000033
  • diffEditorGutter.insertedLineBackground#00000000
  • diffEditorGutter.removedLineBackground#00000000
  • diffEditorOverview.insertedForeground#03810d26
  • diffEditorOverview.removedForeground#f7775a30
  • disabledForeground#0f212d4d
  • dropdown.background#fafafa
  • dropdown.border#c2c2c2
  • dropdown.foreground#0f212d
  • dropdown.listBackground#fafafa
  • editor.background#f5f5f5
  • editor.findMatchBackground#2397e530
  • editor.findMatchBorder#2397e561
  • editor.findMatchHighlightBackground#2397e53d
  • editor.findMatchHighlightBorder#2397e55c
  • editor.foldBackground#0000000d
  • editor.foldPlaceholderForeground#7197b0
  • editor.foreground#0f212d
  • editor.hoverHighlightBackground#2397e54d
  • editor.inactiveSelectionBackground#2397e54d
  • editor.lineHighlightBackground#2397e50f
  • editor.lineHighlightBorder#2397e526
  • editor.linkedEditingBackground#007fd433
  • editor.rangeHighlightBackground#2397e53d
  • editor.selectionBackground#2397e54d
  • editor.selectionForeground#0f212d
  • editor.selectionHighlightBackground#2397e514
  • editor.selectionHighlightBorder#2397e54d
  • editor.wordHighlightBackground#2397e51f
  • editor.wordHighlightBorder#2397e53d
  • editor.wordHighlightStrongBackground#2397e53d
  • editorBracketHighlight.foreground1#d0a00f
  • editorBracketHighlight.foreground2#002e74
  • editorBracketHighlight.foreground3#037ed1
  • editorBracketHighlight.foreground4#7537d7
  • editorBracketHighlight.foreground5#009c8f
  • editorBracketHighlight.foreground6#1da90d
  • editorBracketHighlight.unexpectedBracket.foreground#f7775a
  • editorBracketMatch.background#2397e54d
  • editorBracketMatch.border#2397e573
  • editorCodeLens.foreground#00000080
  • editorCursor.background#2397e5
  • editorCursor.foreground#d0a00f
  • editorError.border#00000000
  • editorError.foreground#f7775a
  • editorGhostText.border#00000000
  • editorGhostText.foreground#0f212d70
  • editorGroup.border#cfcfcf
  • editorGroup.dropBackground#2397e514
  • editorGroupHeader.border#00000000
  • editorGroupHeader.noTabsBackground#f5f5f5
  • editorGroupHeader.tabsBackground#ececec
  • editorGroupHeader.tabsBorder#cfcfcf
  • editorGutter.addedBackground#03810dcc
  • editorGutter.background#f5f5f5
  • editorGutter.commentRangeForeground#fafafa
  • editorGutter.deletedBackground#f7775acc
  • editorGutter.modifiedBackground#037ed1cc
  • editorHoverWidget.background#fafafa
  • editorHoverWidget.border#cfcfcf
  • editorIndentGuide.activeBackground1#7197b0cc
  • editorIndentGuide.background1#7197b033
  • editorInfo.border#00000000
  • editorInlayHint.background#0000001a
  • editorInlayHint.foreground#000000b3
  • editorInlayHint.parameterBackground#0000001a
  • editorInlayHint.parameterForeground#000000b3
  • editorInlayHint.typeBackground#0000001a
  • editorInlayHint.typeForeground#000000b3
  • editorLineNumber.activeForeground#434343
  • editorLineNumber.foreground#b2bac2
  • editorLink.activeForeground#0f212d
  • editorMarkerNavigation.background#ececec
  • editorMarkerNavigationError.background#f7775a8f
  • editorMarkerNavigationInfo.background#037ed18f
  • editorMarkerNavigationWarning.background#c0571f8f
  • editorOverviewRuler.addedForeground#03810d80
  • editorOverviewRuler.border#cfcfcf
  • editorOverviewRuler.deletedForeground#f7775a80
  • editorOverviewRuler.errorForeground#f7775a
  • editorOverviewRuler.incomingContentForeground#03810d80
  • editorOverviewRuler.infoForeground#037ed180
  • editorOverviewRuler.modifiedForeground#037ed180
  • editorOverviewRuler.selectionHighlightForeground#2397e580
  • editorOverviewRuler.warningForeground#c0571f
  • editorRuler.foreground#7197b033
  • editorStickyScroll.shadow#00000033
  • editorStickyScrollHover.background#fdfdfd
  • editorSuggestWidget.background#fafafa
  • editorSuggestWidget.border#cfcfcf
  • editorSuggestWidget.foreground#000000
  • editorSuggestWidget.highlightForeground#d0a00f
  • editorSuggestWidget.selectedBackground#e8e8e8
  • editorSuggestWidget.selectedIconForeground#0f212d
  • editorUnnecessaryCode.border#00000000
  • editorUnnecessaryCode.opacity#000000aa
  • editorWarning.border#00000000
  • editorWarning.foreground#d0a00f
  • editorWhitespace.foreground#7197b060
  • editorWidget.background#fafafa
  • editorWidget.border#dcdcdc
  • editorWidget.resizeBorder#2397e550
  • errorForeground#f7775a
  • errorLens.errorForeground#f7775afc
  • errorLens.hintForeground#037ed1fc
  • errorLens.infoForeground#037ed1fc
  • errorLens.warningForeground#c0571ffc
  • extensionButton.background#2397e580
  • extensionButton.foreground#010508
  • extensionButton.hoverBackground#2397e599
  • extensionButton.prominentBackground#2397e59d
  • extensionButton.prominentForeground#0f212d
  • extensionButton.prominentHoverBackground#2397e5
  • focusBorder#c2c2c2
  • foreground#000000
  • gitDecoration.conflictingResourceForeground#2397e5
  • gitDecoration.deletedResourceForeground#f7775a
  • gitDecoration.ignoredResourceForeground#7197b0
  • gitDecoration.modifiedResourceForeground#037ed1
  • gitDecoration.untrackedResourceForeground#03810d
  • icon.foreground#000000ab
  • inlineChat.background#ffffff
  • inlineChat.border#dcdcdc
  • inlineChatInput.background#fafafa
  • inlineChatInput.border#dcdcdc
  • inlineChatInput.focusBorder#c2c2c2
  • inlineEdit.gutterIndicator.background#00000080
  • inlineEdit.gutterIndicator.primaryBackground#f3cb52b3
  • inlineEdit.gutterIndicator.primaryBorder#f3cb5200
  • inlineEdit.gutterIndicator.primaryForeground#000000
  • inlineEdit.gutterIndicator.secondaryBackground#7ec2f0b3
  • inlineEdit.gutterIndicator.secondaryBorder#7ec2f000
  • inlineEdit.gutterIndicator.secondaryForeground#000000
  • inlineEdit.gutterIndicator.successfulBackground#05e517b3
  • inlineEdit.gutterIndicator.successfulBorder#05e51700
  • inlineEdit.gutterIndicator.successfulForeground#000000
  • inlineEdit.modifiedBackground#03810d26
  • inlineEdit.modifiedBorder#03810dcc
  • inlineEdit.modifiedChangedLineBackground#03810d14
  • inlineEdit.modifiedChangedTextBackground#00000000
  • inlineEdit.originalBackground#f7775a26
  • inlineEdit.originalBorder#f7775acc
  • inlineEdit.originalChangedLineBackground#f7775acc
  • inlineEdit.originalChangedTextBackground#00000000
  • inlineEdit.tabWillAcceptModifiedBorder#03810d
  • inlineEdit.tabWillAcceptOriginalBorder#f7775a
  • input.background#fafafa
  • input.border#c2c2c2
  • input.foreground#0f212d
  • input.placeholderForeground#a9a9a9
  • inputOption.activeBackground#a9a9a9
  • inputOption.activeBorder#00000000
  • inputOption.activeForeground#0f212d
  • inputOption.hoverBackground#dcdcdc
  • inputValidation.errorBackground#fafafa
  • inputValidation.errorBorder#d0a00f
  • inputValidation.infoBackground#fafafa
  • inputValidation.infoBorder#2397e5
  • inputValidation.warningBackground#fafafa
  • inputValidation.warningBorder#d0a00f
  • keybindingLabel.background#fafafa
  • keybindingLabel.border#7197b0
  • keybindingLabel.bottomBorder#7197b0
  • keybindingLabel.foreground#000000
  • list.activeSelectionBackground#7197b033
  • list.activeSelectionForeground#0f212d
  • list.dropBackground#2397e515
  • list.errorForeground#f7775a
  • list.focusBackground#2397e540
  • list.focusForeground#000000
  • list.highlightForeground#d0a00f
  • list.hoverBackground#7197b01a
  • list.hoverForeground#000000
  • list.inactiveSelectionBackground#7197b01f
  • list.inactiveSelectionForeground#0f212d
  • list.warningForeground#c0571f
  • menu.background#fafafa
  • menu.border#cfcfcf
  • menu.foreground#000000
  • menu.selectionForeground#000000
  • menu.separatorBackground#cfcfcf65
  • menubar.selectionBackground#fafafa
  • menubar.selectionForeground#000000
  • merge.border#cfcfcf
  • merge.commonContentBackground#d0a00f30
  • merge.commonHeaderBackground#d0a00f80
  • merge.currentContentBackground#03810d30
  • merge.currentHeaderBackground#03810d80
  • merge.incomingContentBackground#037ed130
  • merge.incomingHeaderBackground#037ed180
  • minimap.background#f5f5f5
  • minimap.errorHighlight#f7775a
  • minimap.findMatchHighlight#2397e5
  • minimap.selectionHighlight#2397e5
  • minimap.selectionOccurrenceHighlight#2397e5
  • minimap.warningHighlight#c0571f
  • minimapGutter.addedBackground#03810d
  • minimapGutter.deletedBackground#f7775a
  • minimapGutter.modifiedBackground#037ed1
  • multiDiffEditor.border#cfcfcf
  • multiDiffEditor.headerBackground#e8e8e8
  • notificationCenterHeader.background#fafafa
  • notificationCenterHeader.foreground#0f212d
  • notificationLink.foreground#d0a00f
  • notifications.background#fafafa
  • notifications.border#cfcfcf
  • notifications.foreground#000000
  • notificationsErrorIcon.foreground#f7775a
  • notificationsInfoIcon.foreground#037ed1
  • notificationsWarningIcon.foreground#c0571f
  • panel.background#f0f0f0
  • panel.border#cfcfcf
  • panel.dropBorder#7197b080
  • panelInput.border#dcdcdc
  • panelSection.border#cfcfcf
  • panelSectionHeader.background#e3e3e3
  • panelSectionHeader.border#cfcfcf
  • panelSectionHeader.foreground#0f212d
  • panelTitle.activeBorder#2397e5
  • panelTitle.activeForeground#2397e5
  • panelTitle.inactiveForeground#7197b0
  • peekView.border#cfcfcf
  • peekViewEditor.background#ffffff
  • peekViewEditor.matchHighlightBackground#fafafa40
  • peekViewEditor.matchHighlightBorder#00000000
  • peekViewEditorGutter.background#ffffff
  • peekViewEditorStickyScroll.background#fdfdfd
  • peekViewResult.background#fbfbfb
  • peekViewResult.fileForeground#0f212d
  • peekViewResult.lineForeground#000000
  • peekViewResult.matchHighlightBackground#2397e580
  • peekViewResult.selectionBackground#2397e533
  • peekViewResult.selectionForeground#0f212d
  • peekViewTitle.background#ffffff
  • peekViewTitleDescription.foreground#0f212d
  • peekViewTitleLabel.foreground#0f212d
  • pickerGroup.border#cfcfcf
  • pickerGroup.foreground#0f212d
  • profileBadge.background#2397e5
  • profileBadge.foreground#f5f5f5
  • progressBar.background#d0a00f
  • quickInput.background#fdfdfd
  • quickInput.foreground#000000
  • quickInputList.focusBackground#7197b033
  • quickInputList.focusForeground#000000
  • quickInputList.focusIconForeground#0f212d
  • quickInputTitle.background#ececec
  • sash.hoverBorder#2397e550
  • scmGraph.foreground1#037ed1
  • scmGraph.foreground2#002e74
  • scmGraph.foreground3#75b138
  • scmGraph.foreground4#009c8f
  • scmGraph.foreground5#1da90d
  • scmGraph.historyItemBaseRefColor#7537d7
  • scmGraph.historyItemHoverAdditionsForeground#03810d
  • scmGraph.historyItemHoverDefaultLabelBackground#000000
  • scmGraph.historyItemHoverDefaultLabelForeground#1e2d37
  • scmGraph.historyItemHoverDeletionsForeground#f7775a
  • scmGraph.historyItemHoverLabelForeground#1e2d37
  • scmGraph.historyItemRefColor#d0a00f
  • scmGraph.historyItemRemoteRefColor#037ed1
  • scrollbar.shadow#00000033
  • scrollbarSlider.activeBackground#0f212d4d
  • scrollbarSlider.background#0f212d26
  • scrollbarSlider.hoverBackground#0f212d33
  • selection.background#2397e561
  • settings.headerForeground#0f212d
  • settings.modifiedItemIndicator#2397e5
  • settings.settingsHeaderHoverForeground#0f212d
  • sideBar.background#ececec
  • sideBar.border#cfcfcf
  • sideBar.foreground#000000cc
  • sideBarSectionHeader.background#ececec
  • sideBarSectionHeader.border#cfcfcf
  • sideBarSectionHeader.foreground#0f212d
  • sideBarStickyScroll.background#e7e7e7
  • sideBarStickyScroll.shadow#00000033
  • sideBarTitle.foreground#7197b0
  • statusBar.background#f5f5f5
  • statusBar.border#cfcfcf
  • statusBar.debuggingBackground#d4e1f2
  • statusBar.debuggingForeground#143853
  • statusBar.foreground#00000080
  • statusBar.noFolderBackground#ececec
  • statusBar.noFolderBorder#cfcfcf
  • statusBar.noFolderForeground#000000cc
  • statusBarItem.activeBackground#fafafa
  • statusBarItem.compactHoverBackground#2397e5cc
  • statusBarItem.errorBackground#f7775a
  • statusBarItem.errorForeground#f5f5f5
  • statusBarItem.errorHoverBackground#f99f8b
  • statusBarItem.errorHoverForeground#f5f5f5
  • statusBarItem.hoverBackground#c4d8f1
  • statusBarItem.hoverForeground#0f212d
  • statusBarItem.offlineBackground#002e74
  • statusBarItem.offlineForeground#f5f5f5
  • statusBarItem.offlineHoverBackground#0042a7
  • statusBarItem.offlineHoverForeground#f5f5f5
  • statusBarItem.prominentBackground#f5f5f5
  • statusBarItem.prominentForeground#f5f5f5
  • statusBarItem.prominentHoverBackground#ffffff
  • statusBarItem.prominentHoverForeground#f5f5f5
  • statusBarItem.remoteBackground#009c8f
  • statusBarItem.remoteForeground#f5f5f5
  • statusBarItem.remoteHoverBackground#00cfbe
  • statusBarItem.remoteHoverForeground#f5f5f5
  • statusBarItem.warningBackground#c0571f
  • statusBarItem.warningForeground#f5f5f5
  • statusBarItem.warningHoverBackground#de6f34
  • statusBarItem.warningHoverForeground#f5f5f5
  • tab.activeBackground#f5f5f5
  • tab.activeBorder#f5f5f5
  • tab.activeBorderTop#2397e5
  • tab.activeForeground#0f212d
  • tab.border#cfcfcf
  • tab.hoverBackground#f5f5f5
  • tab.inactiveBackground#ececec
  • tab.inactiveForeground#7197b0
  • tab.lastPinnedBorder#cfcfcf
  • tab.unfocusedActiveBorder#f5f5f5
  • tab.unfocusedActiveForeground#2397e5
  • tab.unfocusedHoverBackground#f5f5f5
  • tab.unfocusedInactiveForeground#7197b0
  • terminal.ansiBlack#f5f5f5
  • terminal.ansiBlue#037ed1
  • terminal.ansiBrightBlack#bdbdbd
  • terminal.ansiBrightBlue#007fd4
  • terminal.ansiBrightCyan#009c8f
  • terminal.ansiBrightGreen#00840a
  • terminal.ansiBrightMagenta#002e74
  • terminal.ansiBrightRed#ff7252
  • terminal.ansiBrightWhite#295979
  • terminal.ansiBrightYellow#dfa800
  • terminal.ansiCyan#009c8f
  • terminal.ansiGreen#03810d
  • terminal.ansiMagenta#002e74
  • terminal.ansiRed#f7775a
  • terminal.ansiWhite#0f212d
  • terminal.ansiYellow#d0a00f
  • terminal.background#f0f0f0
  • terminal.foreground#0f212d
  • terminal.selectionForeground#0f212d
  • terminalCursor.background#f5f5f5
  • terminalCursor.foreground#d0a00f
  • terminalStickyScrollHover.background#fdfdfd
  • textBlockQuote.background#037ed133
  • textBlockQuote.border#037ed1b9
  • textCodeBlock.background#037ed133
  • textLink.activeForeground#2397e5
  • textLink.foreground#2397e5
  • textPreformat.background#e8c98c
  • textPreformat.foreground#413205
  • textSeparator.foreground#2397e5
  • titleBar.activeBackground#d3d3d3
  • titleBar.activeForeground#0f212d99
  • titleBar.border#cfcfcf
  • titleBar.inactiveBackground#d3d3d3
  • titleBar.inactiveForeground#0f212d99
  • toolbar.activeBackground#7197b080
  • toolbar.hoverBackground#7197b04d
  • tree.indentGuidesStroke#7197b070
  • walkThrough.embeddedEditorBackground#f5f5f5
  • welcomePage.progress.background#fafafa
  • welcomePage.progress.foreground#2397e5
  • welcomePage.tileBackground#0000001a
  • welcomePage.tileBorder#00000033
  • welcomePage.tileHoverBackground#00000033
  • widget.shadow#0000000d

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scopeforegroundfontStyle
comment, punctuation.definition.comment#7197b0italic
string#03810d
constant.numeric#c0571f
comment.line#7197b0italic
comment.line, comment.line.semicolon.krl, comment.line.ampersand.krl, comment.line.bug.krl, comment.line.fixme.krl, comment.line.hack.krl, comment.line.note.krl, comment.line.todo.krl#7197b0italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl#8e9a80italic
keyword.control.krl#7537d7bold
keyword.function.movement.krl#037ed1bold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl#d0a00fitalic
variable.language.system.krl#f7775a
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl#c0571f
string.quoted.double.krl#03810d
variable.function.krl
constant.language.enum.krl, variable.other.enummember.krl
support.function.builtin.krl
keyword.operator.krl, keyword.operator.comparison.krl, keyword.operator.arithmetic.krl, keyword.operator.bitwise.krl, keyword.operator.logical.krl

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

Loading...