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#218d8f26
  • activityBar.activeBorder#218d8f
  • activityBar.background#e4e5e5
  • activityBar.border#c6c9c9
  • activityBar.dropBorder#57717233
  • activityBar.foreground#218d8f
  • activityBar.inactiveForeground#8e9999
  • activityBarBadge.background#218d8f
  • activityBarBadge.foreground#e4e5e5
  • activityBarTop.activeBorder#218d8f
  • activityBarTop.dropBorder#57717233
  • activityBarTop.foreground#218d8f
  • activityBarTop.inactiveForeground#9fa0a0
  • badge.background#218d8f
  • badge.foreground#e4e5e5
  • breadcrumb.background#edeeee
  • breadcrumbPicker.background#fafafa
  • button.background#218d8f80
  • button.border#00000026
  • button.foreground#000000
  • button.hoverBackground#218d8f99
  • button.secondaryBackground#dbdddd
  • button.secondaryForeground#000000
  • button.secondaryHoverBackground#d3d5d5
  • button.separator#0000004d
  • charts.blue#1f89cf
  • charts.foreground#000000
  • charts.green#2aa54d
  • charts.lines#000000
  • charts.orange#c97a2a
  • charts.purple#ae6cbe
  • charts.red#d24545
  • charts.yellow#b48806
  • checkbox.foreground#000000
  • commandCenter.activeBackground#f2f3f361
  • commandCenter.activeForeground#0000008f
  • commandCenter.background#edeeee
  • commandCenter.border#c6c9c9
  • commandCenter.foreground#577172
  • contrastActiveBorder#00000000
  • contrastBorder#00000000
  • debugConsole.errorForeground#d24545
  • debugConsole.infoForeground#1f89cf
  • debugConsole.warningForeground#c97a2a
  • debugExceptionWidget.background#f2f3f3
  • debugExceptionWidget.border#c6c9c9
  • debugIcon.breakpointCurrentStackframeForeground#d24545
  • debugIcon.breakpointDisabledForeground#d2454580
  • debugIcon.breakpointForeground#d24545
  • debugIcon.continueForeground#1f89cf
  • debugIcon.disconnectForeground#d24545
  • debugIcon.pauseForeground#d24545
  • debugIcon.restartForeground#2aa54d
  • debugIcon.startForeground#2aa54d
  • debugIcon.stepBackForeground#1f89cf
  • debugIcon.stepIntoForeground#1f89cf
  • debugIcon.stepOutForeground#1f89cf
  • debugIcon.stepOverForeground#1f89cf
  • debugIcon.stopForeground#d24545
  • debugToolBar.background#dbe4e4
  • descriptionForeground#000000cc
  • diffEditor.border#c6c9c9
  • diffEditor.diagonalFill#fafafa
  • diffEditor.insertedLineBackground#1ab5461a
  • diffEditor.insertedTextBackground#1ab5461a
  • diffEditor.insertedTextBorder#00000000
  • diffEditor.move.border#b488064d
  • diffEditor.moveActive.border#b48806b3
  • diffEditor.removedLineBackground#e334341a
  • diffEditor.removedTextBackground#e334341a
  • diffEditor.removedTextBorder#00000000
  • diffEditor.unchangedCodeBackground#e1e2e2
  • diffEditor.unchangedRegionBackground#e1e2e2
  • diffEditor.unchangedRegionShadow#00000033
  • diffEditorGutter.insertedLineBackground#00000000
  • diffEditorGutter.removedLineBackground#00000000
  • diffEditorOverview.insertedForeground#2aa54d26
  • diffEditorOverview.removedForeground#d2454530
  • disabledForeground#0000004d
  • dropdown.background#f2f3f3
  • dropdown.border#b9bcbc
  • dropdown.foreground#000000
  • dropdown.listBackground#f2f3f3
  • editor.background#edeeee
  • editor.findMatchBackground#218d8f30
  • editor.findMatchBorder#218d8f61
  • editor.findMatchHighlightBackground#218d8f3d
  • editor.findMatchHighlightBorder#218d8f5c
  • editor.foldBackground#0000000d
  • editor.foldPlaceholderForeground#577172
  • editor.foreground#000000
  • editor.hoverHighlightBackground#218d8f4d
  • editor.inactiveSelectionBackground#218d8f4d
  • editor.lineHighlightBackground#218d8f0f
  • editor.lineHighlightBorder#218d8f26
  • editor.linkedEditingBackground#078ee733
  • editor.rangeHighlightBackground#218d8f3d
  • editor.selectionBackground#218d8f4d
  • editor.selectionForeground#000000
  • editor.selectionHighlightBackground#218d8f14
  • editor.selectionHighlightBorder#218d8f4d
  • editor.wordHighlightBackground#218d8f1f
  • editor.wordHighlightBorder#218d8f3d
  • editor.wordHighlightStrongBackground#218d8f3d
  • editorBracketHighlight.foreground1#b48806
  • editorBracketHighlight.foreground2#ae6cbe
  • editorBracketHighlight.foreground3#1f89cf
  • editorBracketHighlight.foreground4#7c68ef
  • editorBracketHighlight.foreground5#23716d
  • editorBracketHighlight.foreground6#39a9b4
  • editorBracketHighlight.unexpectedBracket.foreground#d24545
  • editorBracketMatch.background#218d8f4d
  • editorBracketMatch.border#218d8f73
  • editorCodeLens.foreground#00000080
  • editorCursor.background#218d8f
  • editorCursor.foreground#b48806
  • editorError.border#00000000
  • editorError.foreground#d24545
  • editorGhostText.border#00000000
  • editorGhostText.foreground#00000070
  • editorGroup.border#c6c9c9
  • editorGroup.dropBackground#218d8f14
  • editorGroupHeader.border#00000000
  • editorGroupHeader.noTabsBackground#edeeee
  • editorGroupHeader.tabsBackground#e4e5e5
  • editorGroupHeader.tabsBorder#c6c9c9
  • editorGutter.addedBackground#2aa54dcc
  • editorGutter.background#edeeee
  • editorGutter.commentRangeForeground#f2f3f3
  • editorGutter.deletedBackground#d24545cc
  • editorGutter.modifiedBackground#1f89cfcc
  • editorHoverWidget.background#f2f3f3
  • editorHoverWidget.border#c6c9c9
  • editorIndentGuide.activeBackground1#577172cc
  • editorIndentGuide.background1#57717233
  • editorInfo.border#00000000
  • editorInlayHint.background#0000001a
  • editorInlayHint.foreground#000000b3
  • editorInlayHint.parameterBackground#0000001a
  • editorInlayHint.parameterForeground#000000b3
  • editorInlayHint.typeBackground#0000001a
  • editorInlayHint.typeForeground#000000b3
  • editorLineNumber.activeForeground#393d3d
  • editorLineNumber.foreground#a8b1b1
  • editorLink.activeForeground#000000
  • editorMarkerNavigation.background#e4e5e5
  • editorMarkerNavigationError.background#d245458f
  • editorMarkerNavigationInfo.background#1f89cf8f
  • editorMarkerNavigationWarning.background#c97a2a8f
  • editorOverviewRuler.addedForeground#2aa54d80
  • editorOverviewRuler.border#c6c9c9
  • editorOverviewRuler.deletedForeground#d2454580
  • editorOverviewRuler.errorForeground#d24545
  • editorOverviewRuler.incomingContentForeground#2aa54d80
  • editorOverviewRuler.infoForeground#1f89cf80
  • editorOverviewRuler.modifiedForeground#1f89cf80
  • editorOverviewRuler.selectionHighlightForeground#218d8f80
  • editorOverviewRuler.warningForeground#c97a2a
  • editorRuler.foreground#57717233
  • editorStickyScroll.shadow#00000033
  • editorStickyScrollHover.background#f5f5f5
  • editorSuggestWidget.background#f2f3f3
  • editorSuggestWidget.border#c6c9c9
  • editorSuggestWidget.foreground#000000
  • editorSuggestWidget.highlightForeground#b48806
  • editorSuggestWidget.selectedBackground#e0e2e2
  • editorSuggestWidget.selectedIconForeground#000000
  • editorUnnecessaryCode.border#00000000
  • editorUnnecessaryCode.opacity#000000aa
  • editorWarning.border#00000000
  • editorWarning.foreground#b48806
  • editorWhitespace.foreground#57717260
  • editorWidget.background#f2f3f3
  • editorWidget.border#d3d5d5
  • editorWidget.resizeBorder#218d8f50
  • errorForeground#d24545
  • errorLens.errorForeground#d24545fc
  • errorLens.hintForeground#1f89cffc
  • errorLens.infoForeground#1f89cffc
  • errorLens.warningForeground#c97a2afc
  • extensionButton.background#218d8f80
  • extensionButton.foreground#000000
  • extensionButton.hoverBackground#218d8f99
  • extensionButton.prominentBackground#218d8f9d
  • extensionButton.prominentForeground#000000
  • extensionButton.prominentHoverBackground#218d8f
  • focusBorder#b9bcbc
  • foreground#000000
  • gitDecoration.conflictingResourceForeground#218d8f
  • gitDecoration.deletedResourceForeground#d24545
  • gitDecoration.ignoredResourceForeground#577172
  • gitDecoration.modifiedResourceForeground#1f89cf
  • gitDecoration.untrackedResourceForeground#2aa54d
  • icon.foreground#000000ab
  • inlineChat.background#fafafa
  • inlineChat.border#d3d5d5
  • inlineChatInput.background#f2f3f3
  • inlineChatInput.border#d3d5d5
  • inlineChatInput.focusBorder#b9bcbc
  • inlineEdit.gutterIndicator.background#00000080
  • inlineEdit.gutterIndicator.primaryBackground#f8c328b3
  • inlineEdit.gutterIndicator.primaryBorder#f8c32800
  • inlineEdit.gutterIndicator.primaryForeground#000000
  • inlineEdit.gutterIndicator.secondaryBackground#42d1d3b3
  • inlineEdit.gutterIndicator.secondaryBorder#42d1d300
  • inlineEdit.gutterIndicator.secondaryForeground#000000
  • inlineEdit.gutterIndicator.successfulBackground#5fd681b3
  • inlineEdit.gutterIndicator.successfulBorder#5fd68100
  • inlineEdit.gutterIndicator.successfulForeground#000000
  • inlineEdit.modifiedBackground#2aa54d26
  • inlineEdit.modifiedBorder#2aa54dcc
  • inlineEdit.modifiedChangedLineBackground#2aa54d14
  • inlineEdit.modifiedChangedTextBackground#00000000
  • inlineEdit.originalBackground#d2454526
  • inlineEdit.originalBorder#d24545cc
  • inlineEdit.originalChangedLineBackground#d24545cc
  • inlineEdit.originalChangedTextBackground#00000000
  • inlineEdit.tabWillAcceptModifiedBorder#2aa54d
  • inlineEdit.tabWillAcceptOriginalBorder#d24545
  • input.background#f2f3f3
  • input.border#b9bcbc
  • input.foreground#000000
  • input.placeholderForeground#9ea4a4
  • inputOption.activeBackground#9ea4a4
  • inputOption.activeBorder#00000000
  • inputOption.activeForeground#000000
  • inputOption.hoverBackground#d3d5d5
  • inputValidation.errorBackground#f2f3f3
  • inputValidation.errorBorder#b48806
  • inputValidation.infoBackground#f2f3f3
  • inputValidation.infoBorder#218d8f
  • inputValidation.warningBackground#f2f3f3
  • inputValidation.warningBorder#b48806
  • keybindingLabel.background#f2f3f3
  • keybindingLabel.border#577172
  • keybindingLabel.bottomBorder#577172
  • keybindingLabel.foreground#000000
  • list.activeSelectionBackground#57717233
  • list.activeSelectionForeground#000000
  • list.dropBackground#218d8f15
  • list.errorForeground#d24545
  • list.focusBackground#218d8f40
  • list.focusForeground#000000
  • list.highlightForeground#b48806
  • list.hoverBackground#5771721a
  • list.hoverForeground#000000
  • list.inactiveSelectionBackground#5771721f
  • list.inactiveSelectionForeground#000000
  • list.warningForeground#c97a2a
  • menu.background#f2f3f3
  • menu.border#c6c9c9
  • menu.foreground#000000
  • menu.selectionForeground#000000
  • menu.separatorBackground#c6c9c965
  • menubar.selectionBackground#f2f3f3
  • menubar.selectionForeground#000000
  • merge.border#c6c9c9
  • merge.commonContentBackground#b4880630
  • merge.commonHeaderBackground#b4880680
  • merge.currentContentBackground#2aa54d30
  • merge.currentHeaderBackground#2aa54d80
  • merge.incomingContentBackground#1f89cf30
  • merge.incomingHeaderBackground#1f89cf80
  • minimap.background#edeeee
  • minimap.errorHighlight#d24545
  • minimap.findMatchHighlight#218d8f
  • minimap.selectionHighlight#218d8f
  • minimap.selectionOccurrenceHighlight#218d8f
  • minimap.warningHighlight#c97a2a
  • minimapGutter.addedBackground#2aa54d
  • minimapGutter.deletedBackground#d24545
  • minimapGutter.modifiedBackground#1f89cf
  • multiDiffEditor.border#c6c9c9
  • multiDiffEditor.headerBackground#e0e2e2
  • notificationCenterHeader.background#f2f3f3
  • notificationCenterHeader.foreground#000000
  • notificationLink.foreground#b48806
  • notifications.background#f2f3f3
  • notifications.border#c6c9c9
  • notifications.foreground#000000
  • notificationsErrorIcon.foreground#d24545
  • notificationsInfoIcon.foreground#1f89cf
  • notificationsWarningIcon.foreground#c97a2a
  • panel.background#e8e9e9
  • panel.border#c6c9c9
  • panel.dropBorder#57717280
  • panelInput.border#d3d5d5
  • panelSection.border#c6c9c9
  • panelSectionHeader.background#dbdddd
  • panelSectionHeader.border#c6c9c9
  • panelSectionHeader.foreground#000000
  • panelTitle.activeBorder#218d8f
  • panelTitle.activeForeground#218d8f
  • panelTitle.inactiveForeground#577172
  • peekView.border#c6c9c9
  • peekViewEditor.background#f7f8f8
  • peekViewEditor.matchHighlightBackground#f2f3f340
  • peekViewEditor.matchHighlightBorder#00000000
  • peekViewEditorGutter.background#f7f8f8
  • peekViewEditorStickyScroll.background#f5f5f5
  • peekViewResult.background#f4f4f4
  • peekViewResult.fileForeground#000000
  • peekViewResult.lineForeground#000000
  • peekViewResult.matchHighlightBackground#218d8f80
  • peekViewResult.selectionBackground#218d8f33
  • peekViewResult.selectionForeground#000000
  • peekViewTitle.background#fafafa
  • peekViewTitleDescription.foreground#000000
  • peekViewTitleLabel.foreground#000000
  • pickerGroup.border#c6c9c9
  • pickerGroup.foreground#000000
  • profileBadge.background#218d8f
  • profileBadge.foreground#edeeee
  • progressBar.background#b48806
  • quickInput.background#f5f5f5
  • quickInput.foreground#000000
  • quickInputList.focusBackground#57717233
  • quickInputList.focusForeground#000000
  • quickInputList.focusIconForeground#000000
  • quickInputTitle.background#e4e5e5
  • sash.hoverBorder#218d8f50
  • scmGraph.foreground1#1f89cf
  • scmGraph.foreground2#ae6cbe
  • scmGraph.foreground3#81a622
  • scmGraph.foreground4#23716d
  • scmGraph.foreground5#39a9b4
  • scmGraph.historyItemBaseRefColor#7c68ef
  • scmGraph.historyItemHoverAdditionsForeground#2aa54d
  • scmGraph.historyItemHoverDefaultLabelBackground#000000
  • scmGraph.historyItemHoverDefaultLabelForeground#000000
  • scmGraph.historyItemHoverDeletionsForeground#d24545
  • scmGraph.historyItemHoverLabelForeground#000000
  • scmGraph.historyItemRefColor#b48806
  • scmGraph.historyItemRemoteRefColor#1f89cf
  • scrollbar.shadow#00000033
  • scrollbarSlider.activeBackground#0000004d
  • scrollbarSlider.background#00000026
  • scrollbarSlider.hoverBackground#00000033
  • selection.background#218d8f61
  • settings.headerForeground#000000
  • settings.modifiedItemIndicator#218d8f
  • settings.settingsHeaderHoverForeground#000000
  • sideBar.background#e4e5e5
  • sideBar.border#c6c9c9
  • sideBar.foreground#000000cc
  • sideBarSectionHeader.background#e4e5e5
  • sideBarSectionHeader.border#c6c9c9
  • sideBarSectionHeader.foreground#000000
  • sideBarStickyScroll.background#dfe0e0
  • sideBarStickyScroll.shadow#00000033
  • sideBarTitle.foreground#577172
  • statusBar.background#edeeee
  • statusBar.border#c6c9c9
  • statusBar.debuggingBackground#c9dada
  • statusBar.debuggingForeground#0e1c1c
  • statusBar.foreground#00000080
  • statusBar.noFolderBackground#e4e5e5
  • statusBar.noFolderBorder#c6c9c9
  • statusBar.noFolderForeground#000000cc
  • statusBarItem.activeBackground#f2f3f3
  • statusBarItem.compactHoverBackground#218d8fcc
  • statusBarItem.errorBackground#d24545
  • statusBarItem.errorForeground#edeeee
  • statusBarItem.errorHoverBackground#dc6e6e
  • statusBarItem.errorHoverForeground#edeeee
  • statusBarItem.hoverBackground#b6d1d1
  • statusBarItem.hoverForeground#000000
  • statusBarItem.offlineBackground#ae6cbe
  • statusBarItem.offlineForeground#edeeee
  • statusBarItem.offlineHoverBackground#c18fce
  • statusBarItem.offlineHoverForeground#edeeee
  • statusBarItem.prominentBackground#edeeee
  • statusBarItem.prominentForeground#edeeee
  • statusBarItem.prominentHoverBackground#ffffff
  • statusBarItem.prominentHoverForeground#edeeee
  • statusBarItem.remoteBackground#23716d
  • statusBarItem.remoteForeground#edeeee
  • statusBarItem.remoteHoverBackground#2f9893
  • statusBarItem.remoteHoverForeground#edeeee
  • statusBarItem.warningBackground#c97a2a
  • statusBarItem.warningForeground#edeeee
  • statusBarItem.warningHoverBackground#da934c
  • statusBarItem.warningHoverForeground#edeeee
  • tab.activeBackground#edeeee
  • tab.activeBorder#edeeee
  • tab.activeBorderTop#218d8f
  • tab.activeForeground#000000
  • tab.border#c6c9c9
  • tab.hoverBackground#edeeee
  • tab.inactiveBackground#e4e5e5
  • tab.inactiveForeground#577172
  • tab.lastPinnedBorder#c6c9c9
  • tab.unfocusedActiveBorder#edeeee
  • tab.unfocusedActiveForeground#218d8f
  • tab.unfocusedHoverBackground#edeeee
  • tab.unfocusedInactiveForeground#577172
  • terminal.ansiBlack#edeeee
  • terminal.ansiBlue#1f89cf
  • terminal.ansiBrightBlack#b4b7b7
  • terminal.ansiBrightBlue#008fee
  • terminal.ansiBrightCyan#0d8781
  • terminal.ansiBrightGreen#0bc440
  • terminal.ansiBrightMagenta#c14cde
  • terminal.ansiBrightRed#f52222
  • terminal.ansiBrightWhite#333333
  • terminal.ansiBrightYellow#ba8b00
  • terminal.ansiCyan#23716d
  • terminal.ansiGreen#2aa54d
  • terminal.ansiMagenta#ae6cbe
  • terminal.ansiRed#d24545
  • terminal.ansiWhite#000000
  • terminal.ansiYellow#b48806
  • terminal.background#e8e9e9
  • terminal.foreground#000000
  • terminal.selectionForeground#000000
  • terminalCursor.background#edeeee
  • terminalCursor.foreground#b48806
  • terminalStickyScrollHover.background#f5f5f5
  • textBlockQuote.background#1f89cf33
  • textBlockQuote.border#1f89cfb9
  • textCodeBlock.background#1f89cf33
  • textLink.activeForeground#218d8f
  • textLink.foreground#218d8f
  • textPreformat.background#d6ba83
  • textPreformat.foreground#201801
  • textSeparator.foreground#218d8f
  • titleBar.activeBackground#cacccc
  • titleBar.activeForeground#00000099
  • titleBar.border#c6c9c9
  • titleBar.inactiveBackground#cacccc
  • titleBar.inactiveForeground#00000099
  • toolbar.activeBackground#57717280
  • toolbar.hoverBackground#5771724d
  • tree.indentGuidesStroke#57717270
  • walkThrough.embeddedEditorBackground#edeeee
  • welcomePage.progress.background#f2f3f3
  • welcomePage.progress.foreground#218d8f
  • 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#577172italic
string#2aa54d
constant.numeric#c97a2a
comment.line#577172italic
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#577172italic
comment.line.fold.krl, meta.fold.krl, keyword.control.fold.krl#737852italic
keyword.control.krl#7c68efbold
keyword.function.movement.krl#1f89cfbold
storage.type.krl, storage.type.interrupt.krl, storage.type.trigger.krl#b48806italic
variable.language.system.krl#d24545
constant.numeric.krl, constant.numeric.hex.krl, constant.numeric.binary.krl#c97a2a
string.quoted.double.krl#2aa54d
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...