gnat-gps-common 6.1.1-1 / usr / share / gps / gps.css

This file is indexed.

/usr/share/gps/gps.css is in gnat-gps-common 6.1.1-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
/*
 * Custom styling for GPS.
 */

/* You can override the default theme colors. Most gtk+ themes are
 * carefully setup so that they do not hard-code colors, but use a number
 * of predefined named colors and shades of them. For instance:
 */
/*
   @define-color base_color black;
   @define-color bg_color #fff;
   @define-color theme_bg_color green;
   @define-color theme_tooltip_bg_color yellow;
*/

* {
  
   /* Reduce the size of the scroll arrows in notebooks */
   -GtkWidget-scroll-arrow-hlength: 8;
   -GtkWidget-scroll-arrow-vlength: 8;
}
.gps-local-toolbar {  /* local toolbar in the panes/views */
}

.readonly {
   /* for read-only editors */
   /* background-color: rgb(200,200,200); */
}

.mdi tab GtkLabel, .mdifocused tab GtkLabel { 
   color:   @theme_fg_color;
   opacity: 1.0;
}

/* Uncomment this if you want to have the same behavior as in previous
 * GPS releases: the active tab of the active notebook gets a blue background
 * to make it quicker to find where keyboard input goes */
/*
.notebook.mdifocused tab:active,
.notebook.mdifocused tab.left:active,
.notebook.mdifocused tab.right:active {
   background-image: none;
   background-color: rgba(0,0,255,0.2);
}
*/

/* Let's condense things in the local toolbars of the views */
.gps-local-toolbar {
   background: shade(@theme_base_color, 0.9);
   padding: 0px;
}

.gps-editor-status-bar {
   background: shade(@theme_base_color, 0.93);
}

.gps-switches-editor GtkScrolledWindow {
   background: @theme_base_color;
}

.gps-local-toolbar * {
   margin: 0px;
   padding: 0px;
}

/* Search and filter fields */
GtkEntry.search {
  border-radius: 3px;
  border-color: transparent;
  border-width: 1px;
  box-shadow: none;
  padding-left: 2px;
}

.completion-list {
   /* The list of possible completions, in a completion entry */
}
@define-color middle-gray #888888;
@define-color completion-border-color shade (@theme_base_color, 0.7);
@define-color completion-selected-color mix(@theme_base_color, @middle-gray, 0.5);
@define-color completion-background-color shade(@theme_base_color, 1.10);
@define-color completion-notes-color mix(shade(@theme_base_color, 1.40), @middle-gray, 0.2);
@define-color completions-notes-text-color mix(@theme_fg_color, @middle-gray, 0.2);

#completion-frame {
    border-style:solid;
    border-width:1px;
    border-color: @completion-border-color;
    background-color: @completion-background-color;
    margin: 5px;
    padding: 5px;
}

.window-rounded {
    border-radius: 4px;
}

#completion-scroll {
    margin: 5px;
    padding: 5px;
}

#completion-view {
    background-color: @completion-background-color;
}

#completion-view:selected {
    background-color: @completion-selected-color;
    border-radius: 5px;
    color:@theme_fg_color;
}

#notes-window {
    padding:20px;
    margin:20px;
}

#notes-frame {
    border-color: @completion-border-color;
    background-color: @completion-notes-color;
    padding: 5px;
}

#notes-frame * {
    background-color: @completion-notes-color;
    color: @completions-notes-text-color;
    text-shadow: none;
}

/*
 * Tooltips
 */
/*
@define-color theme_tooltip_bg_color #ffffee;
@define-color theme_tooltip_fg_color black;
*/

/*
 * Editors
 * Control the color of links displayed in the status bar of editors
 */
/*
-GtkWidget-link-color: @link_color;
-GtkWidget-visited-link-color: @link_color;
*/

/* Use the following to change the color of the selection
GtkTextView:selected { background : pink ; color : black }
*/

/**
 * An example on how to redefine left and right keys so that they navigate
 * up and down in the tree views (instead of just left and right between
 * columns). The best here is to use the default up and down keys though.
 * See also the treemove.py plug-in.
 */

/*
@binding-set gtk-gps-tree-view {
   bind "Right" { "move-cursor" (display-lines, 1) };
   bind "Left" { "move-cursor" (display-lines, -1) };
}
GtkTreeView { gtk-key-bindings: gtk-gps-tree-view; }
*/

APT Browse - Built by Thomas Orozco.