HG_REPOSITORIES/LPP/INSTRUMENTATION/SocExplorer Files · ressources/Styles/SocExplorer.css

New Plugin Manager and interface to remove all the previous crap!...

New Plugin Manager and interface to remove all the previous crap! Let's use Qt plugin API and make it much simpler.

jeandet - - Load All Authors

File last commit:

r79:3440ba47d0f1 default


                r118:de85e8465e67

tip 1.0

Download file

             SocExplorer.css
        
                    17 lines
            
             | 300 B
            
                | text/css
            
             |
                LassoCssLexer
            
             / ressources / Styles / SocExplorer.css
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      QGroupBox {

          border: 1px solid gray;

          border-radius: 9px;

          margin-top: 0.5em;

      }

      QGroupBox::title {

          subcontrol-origin: margin;

          left: 10px;

          padding: 0 3px 0 3px;

      }

      QWidget#CollapsablePeripheralWidget {

          border: 2px solid gray;

          border-radius: 6px;

          margin-top: 0.5em;

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				QGroupBox {
				border: 1px solid gray;
				border-radius: 9px;
				margin-top: 0.5em;
				}

				QGroupBox::title {
				subcontrol-origin: margin;
				left: 10px;
				padding: 0 3px 0 3px;
				}

				QWidget#CollapsablePeripheralWidget {
				border: 2px solid gray;
				border-radius: 6px;
				margin-top: 0.5em;
				}