siwat/ISE-ComProg-After-Midterm
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add Source Code Linter Pipeline

Browse source
This commit is contained in:
Siwat Sirichai 2020-10-29 16:38:56 +07:00
parent 0d0e7140c4
commit d252f6ef50
313 changed files with 36277 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

126
screwdriver-3.5.6/box/snippets/css/hammer_A0.css Normal file
View file

@ -0,0 +1,126 @@
body {
font-family: Georgia, "Times New Roman", Times, serif;
font-size: 12px;
background-color: #CCFF99;
color: #000080;
border-top: 4px solid #993366;
border-right: 4px none #993366;
border-bottom: 4px solid #993366;
border-left: 4px none #993366;
}
/* Headings */
h1 {
font-size: 145%
}
td {
font-family: "Times New Roman", Times, serif;
font-size: 17px;
}
th {
font-family: "Times New Roman", Times, serif;
font-size: 14px;
}
form {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
}
input {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
}
textarea {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
border: thick double;
}
select {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
}
ul {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
list-style-type: circle;
list-style-position: outside;
}
li {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
}
ol {
font-family: "Times New Roman", Times, serif;
font-size: 12px;
list-style-type: upper-alpha;
list-style-position: outside;
}
.storia {
font-family: "Times New Roman", Times, serif;
font-size: 16px;
color: #007F00;
font-style: Normal;
}
/* Table colors */
.TableHeadingColor {
background: #CCCCFF
} /* Dark mauve */
.TableSubHeadingColor {
background: #EEEEFF
} /* Light mauve */
.TableRowColor {
background: #FFFFFF
} /* White */
/* Font used in left-hand frame lists */
.FrameTitleFont {
font-size: 110%;
font-family: Helvetica, Arial, sans-serif
}
.FrameHeadingFont {
font-size: 110%;
font-family: Helvetica, Arial, sans-serif
}
.FrameItemFont {
font-size: 110%;
font-family: Helvetica, Arial, sans-serif
}
/* Navigation bar fonts and colors */
.NavBarCell1 {
background-color: #EEEEFF;
} /* Light mauve */
.NavBarCell1Rev {
background-color: #00008B;
} /* Dark Blue */
.NavBarFont1 {
font-family: Arial, Helvetica, sans-serif;
color: #000000;
}
.NavBarFont1Rev {
font-family: Arial, Helvetica, sans-serif;
color: #FFFFFF;
}
.NavBarCell2 {
font-family: Arial, Helvetica, sans-serif;
background-color: #FFFFFF;
}
.NavBarCell3 {
font-family: Arial, Helvetica, sans-serif;
background-color: #FFFFFF;
}