--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/styles/iris.common Tue May 12 19:14:58 1998 +0200
@@ -0,0 +1,140 @@
+; View defaultStyle:#iris
+;
+; silicon graphics style
+; (somwehat like motif, but with smooth edges and bells&whistles)
+;
+; $Header: /cvs/stx/stx/libview/styles/iris.common,v 1.1 1998-05-12 17:14:57 cg Exp $
+
+is3D true
+
+borderWidth 0
+viewBackground =viewGrey
+
+
+popup.shadow true
+popup.level 2
+popup.borderWidth 1
+
+text.font Font family:'courier' size:12
+text.lightColor =viewGrey
+
+#if Display hasColors
+textSelection.foregroundColor Color black
+textSelection.backgroundColor Color green
+#endif
+
+textCursor.foregroundColor Color white
+#if Display hasColors
+textCursor.backgroundColor Color red
+#else
+textCursor.backgroundColor Color black
+#endif
+
+#if (Display hasColors and:[Display depth > 4])
+transcript.foregroundColor =veryLightGray
+transcript.backgroundColor Color red:0 green:0 blue:25
+transcript.cursorForegroundColor =transcript.backgroundColor
+transcript.cursorBackgroundColor Color green
+#else
+transcript.foregroundColor Color white
+transcript.backgroundColor Color black
+transcript.cursorForegroundColor =transcript.backgroundColor
+transcript.cursorBackgroundColor =transcript.foregroundColor
+#endif
+
+#if Display hasColors
+; editField.backgroundColor Color red:100 green:75 blue:75
+; editField.backgroundColor (Color scaledRed:16rB9B9 scaledGreen:16r8E8E scaledBlue:16r8E8E) exactOrNearestOn:(Screen current)
+editField.backgroundColor (Color scaledRed:16rB9B9 scaledGreen:16r8E8E scaledBlue:16r8E8E) exactOrNearestOn:(Screen current)
+editField.selectionBackgroundColor Color white
+editField.selectionForegroundColor Color black
+#endif
+
+#if (Font family:'screen' face:'bold' style:'roman' size:16) existsOn:Display
+editField.font Font family:'screen' face:'bold' style:'roman' size:16
+#else
+editField.font Font family:'courier' face:'medium' style:'roman' size:12
+#endif
+
+variableFont Font family:'helvetica' face:'medium' style:'roman' size:12
+selection.font =variableFont
+label.font =variableFont
+
+#if Display hasColors
+toggle.showLamp true
+toggle.lampColor Color yellow
+checkToggle.checkColor Color red
+checkToggle.bitmapFile 'CheckOnColor.xpm'
+checkToggle.labelOverMargin true
+radioButton.showLamp false
+#endif
+
+scroller.level -1
+scroller.thumbLevel 3
+scroller.thumbColor =viewGrey
+#if Display hasGreyscales
+scroller.thumbEnteredColor =veryLightGray
+#endif
+scroller.thumbEdgeStyle #soft
+scroller.NTallyMarks 3
+scroller.tallyLevel 1
+scroller.ghostColor =mediumGray
+scroller.ghostLevel -1
+#if Display hasGreyscales not
+scroller.viewBackground Color white
+#endif
+scroller.middleButtonJump true
+
+slider.NTallyMarks 1
+slider.tallyLevel 1
+
+button.edgeStyle #soft
+button.activeLevel -1
+button.passiveLevel 3
+button.disabledForegroundColor =darkGray
+#if Display hasGreyscales
+button.enteredBackgroundColor =veryLightGray
+button.activeBackgroundColor nil
+button.activeForegroundColor Color black
+#else
+button.enteredBackgroundColor Color white
+button.activeForegroundColor Color white
+button.activeBackgroundColor Color black
+#endif
+
+#if OperatingSystem getOSType = 'irix'
+menu.font Font family:'helvetica' face:'bold' style:'oblique' size:10
+#else
+menu.font Font family:'helvetica' face:'bold' style:'roman' size:12
+#endif
+
+menu.hilightBackgroundColor Color white
+menu.hilightForegroundColor Color black
+menu.hilightLevel 1
+; menuShowAccelerators false
+#if Display hasColors
+menu.checkColor Color red
+#endif
+
+pullDownMenu.font =menu.font
+pullDownMenu.level 0
+pullDownMenu.hilightLevel 2
+pullDownMenu.edgeStyle #soft
+
+variablePanel.handleColor =darkGray
+#if Display hasGreyscales
+variablePanel.handleEnteredColor =veryLightGray
+#endif
+
+activeHelp.backgroundColor Color yellow lightened
+activeHelp.borderWidth 2
+
+#if Display hasGrayscales not
+html.anchorUnderline true
+html.anchorForegroundColor Color black
+html.backgroundColor Color white
+html.activeAnchorForegroundColor Color black
+html.activeAnchorBackgroundColor =html.backgroundColor
+html.visitedAnchorForegroundColor Color black
+html.exampleAnchorForegroundColor Color black
+#endif