annotate s6/themes/blank.css @ 10:4627ec7c3d1b

他言語との起動時間の比較を追加
author e165727 <e165727@ie.u-ryukyu.ac.jp>
date Wed, 08 Jan 2020 10:10:13 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 body {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 a:link,
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 a:visited {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 color: #000000;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 .slide {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 color: #000000;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 .slide h1 {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 font-size: 200%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 color: black;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 text-align: center;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 .slide h1.fullscreen {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 position: absolute;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 top: 40%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 width: 100%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 .slide h1.hidden {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 display: none;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 .slide hX {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 font-size: 250%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 color: white;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 text-align: center;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 font-weight: bold;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 .slide hX.fullscreen {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 position: absolute;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 top: 40%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 width: 100%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 .slide hX.hidden {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 display: none;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 .slide h2 {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 font-size: 220%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 background-color: #808db5;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 color: white;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 padding: 5px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 .slide h3 {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 font-size: 180%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 .slide name {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 font-size: 180%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 background-color: #ffcc00;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 .slide name.fullscreen {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 position: absolute;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 top: 40%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 width: 100%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 .slide .stepcurrent {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 color: #dd0000;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 .slide .step {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 color: #c0c0c0;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 div.highlight {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 background-color: #ffffa9;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 display: inline-block;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 _display: inline;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 div > ul {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 list-style-type: square;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 font-size: 160%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 div > ol {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 font-size: 160%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 li {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 margin-top: 15px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 margin-bottom: 15px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 p,
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 dt,
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 dd,
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 td {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 font-size: 150%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 th {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 font-size: 90%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 p.emphasize {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 font-size: 180%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 pre {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 font-size: 100%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 .code {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 background-color: #ffffa9;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 padding: 5px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 .small_code {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 font-size: 90%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 padding: 2px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 .smaller_code {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 font-size: 80%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 padding: 2px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 code {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 font-size: 100%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 background-color: #ffffa9;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 padding: 5px;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 .footnote a:first-of-type {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 text-decoration: none;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 p.footnote {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 font-size: 88%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 .help p,
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 .help td {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 font-size: 88%;
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 /********
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 * example gradient background using css3
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 */
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 .slide {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 background-image: -webkit-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 background-image: -moz-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 }
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 .slide.cover,
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 .slide.title {
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 background-image: -webkit-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 background-image: -moz-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
4627ec7c3d1b 他言語との起動時間の比較を追加
e165727 <e165727@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 }